StarkWare 是 L1 区块链基于 STARK 扩展解决方案的领先生产商,分享了 Cairo 1.0 的详细信息
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
— StarkWare(@StarkWareLtd) 2022 年 9 月 12 日
随着 v1.0 的升级,Cairo 成为智能合约和 dApps 开发人员更强大、更简单、更可用的编程语言。
Cairo 的核心是 Sierra(安全中间表示),这是一个中间层,旨在确保每个 Cairo 程序都可以得到安全验证。
这种设计让整个网络在抗攻击方面更加可靠。
面向 L2 程序员的高级开发人员体验
此外,激活 Cairo 1.0 后,其用户(开发人员)将享受其所有智能合约和应用程序的以太坊级安全性。
这两项成就都不会使网络牺牲成本效益和去中心化。
根据 L2Beat 跟踪器,StarkWare 的 StarkEx 技术是 L2 领域最关键的技术之一:TVL 的 10 个最大协议中有 XNUMX 个(dYdX、Immutable X 和 Sorare)建立在它之上。
资料来源:https://u.today/cairo-crucial-programming-language-for-ethereum-eth-receives-major-upgrade