Starknet的杰出贡献者Herodotus和StarkWare最近发布了Cairo验证器。Cairo是一个创新工具，它使开发人员能够在Starknet Layer 2上利用STARK（由StarkWare开发的一种证明机制）进行可验证的计算。这意味着在Layer 3上运行的应用程序可以利用Cairo来确保其安全性。 Cairo的主要目标是解决在Starknet上部署第3层应用程序时可能遇到的一些关键挑战，例如高昂的验证成本和延迟问题。通过Cairo，开发人员可以更有效地在Starknet上扩展第3层应用程序专用区块链。 总的来说，Cairo验证器的推出为Starknet上的第3层应用程序提供了新的可能性，使其能够更安全、更高效地运行。这是Starknet社区的一个重要里程碑，标志着该平台在实现可扩展性和安全性方面迈出了重要的一步。