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

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

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

StarkWare联合创始人兼总裁EliBen-Sasson告诉Cointelegraph，让不同背景的开发人员更容易获得第2层开发是Cairo改造的主要原因：“主要驱动因素是安全性和易用性，进行大修提供了一个极好的机会来删除具有传统语言背景的开发人员的条目。”

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

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

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

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

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

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