以太坊 (ETH) 的关键编程语言 Cairo 获得重大升级

• StarkWare 发布 Cairo 1.0，这是其编程语言的首次升级

• 面向 L2 程序员的高级开发人员体验

zk-STARKs（零知识可扩展透明知识论证）已发展成为以太坊（ETH）区块链的主流基于 zk 的 L2 解决方案。

StarkWare 发布 Cairo 1.0，这是其编程语言的首次升级

根据 StarkWare 团队分享的官方声明，其编程语言 Cairo 将进行首次重大升级，称为 Cairo 1.0。

时间宣布：开罗 1.0 ????
这是开罗迄今为止最大的进步。

Cairo 1.0 将增强可用性、安全性和便利性。它将支持 StarkNet 的无许可网络要求，并将简化和保护协议https://t.co/HgpR6f1VRm pic.twitter.com/VaCol0cckn

随着 v1.0 的升级，Cairo 成为智能合约和 dApps 开发人员更强大、更简单、更可用的编程语言。

Cairo 的核心是 Sierra（安全中间表示），这是一个中间层，旨在确保每个 Cairo 程序都可以得到安全验证。

这种设计让整个网络在抗攻击方面更加可靠。

面向 L2 程序员的高级开发人员体验

此外，激活 Cairo 1.0 后，其用户（开发人员）将享受其所有智能合约和应用程序的以太坊级安全性。

这两项成就都不会使网络牺牲成本效益和去中心化。

根据 L2Beat 跟踪器，StarkWare 的 StarkEx 技术是 L2 领域最关键的技术之一：TVL 的 10 个最大协议中有 3 个（dYdX、Immutable X 和 Sorare）建立在它之上。