Herodotus和StarkWare推出了Cairo Verifier,这是一个新系统,旨在在StarkNet的第2层上验证加密证明,而不是在以太坊主网上进行验证。这一创新使开发人员能够在StarkNet的第2层上使用STARK证明来实现可验证的计算,从而使在第3层上运行的应用程序能够利用它们来提高安全性。Cairo Verifier旨在解决高昂的验证成本和延迟问题等重大挑战,从而促进在StarkNet上部署第3层应用程序。它将STARK的安全性扩展到第3层,预计在未来几周内推出工作原型。这一发展是为了在StarkNet上创建一系列第3层应用特定区块链的努力的一部分,为哈希函数和共识机制等元素提供定制化。