StarkNet 彻底改革 Cairo 编程语言以推动开发人员采用

以太坊第 2 层扩展平台 StarkNet 对其内部的 Cairo 编码语言进行了大修，以使开发人员可以进行 Web3 开发。

与 Cointelegraph 分享的公告概述了 Cairo 1.0 的升级，该版本被吹捧为模仿流行编程语言 Rust 的特性。此次改革旨在让具有一般编码经验的开发人员开始在 StarkNet 的以太坊第 2 层网络上构建去中心化应用程序。

StarkWare 联合创始人兼总裁 Eli Ben-Sasson 告诉 Cointelegraph，让不同背景的开发人员更容易获得第 2 层开发是 Cairo 改造的主要原因：

“主要驱动因素是安全性和易用性，进行大修提供了一个极好的机会来删除具有传统语言背景的开发人员的条目。”

5 月 XNUMX 日发布的技术规范包含对 Cairo 语言的一系列改进，包括改进的语法和语言结构、整体类型系统、直观的库、优化的代码和通过要求数据类型规范的强类型。

StarkNet 强调 Sierra——代表安全中间表示——是开罗改革的主要补充。 Sierra 充当 Cairo 1.0 和 Cairo 字节码之间的新中间表示层。

正如 Ben-Sasson 解释的那样，Sierra 是确保无许可网络的一个重要方面。升级使还原交易能够包含在 StarkNet 块中，帮助协议避免添加复杂的“加密经济机制”。

Ben-Sasson 表示，Sierra 将允许 StarkNet “继承以太坊的完整抗审查性”，主要防止 Sequencer 拒绝服务攻击。

As 以前由Cointelegraph报道, Ben-Sasson 开创了 zk-斯塔克密码学与其他计算机科学家一起。零知识可扩展透明知识论证是一种加密和验证交易数据以提供安全性、可扩展性和抗量子计算能力的证明系统。

据 StarkNet 称，按总价值锁定，Cairo 是第四大最受欢迎的智能合约语言。它是处理超过 300 亿笔交易、铸造 90 万个不可替代代币并促成价值 790 亿美元的交易在以太坊上结算的应用程序的基础。