StarkNet将Cairo 10开源，向社区控制迈出第一步

零知识(ZK)Rollup技术公司StarkWare正式开源了其新的编程语言编译器Cairo 10，该编译器很快将在2023年第一季度被以太坊第二层扩容解决方案StarkNet支持。

这一消息是StarkNet背后的公司StarkWare在11月25日的推特帖子中宣布的。StarkWare的rollup技术和递归证明提供了将L2上数以百万计的交易压缩为以太坊上的单笔交易的潜力，然而该项目一直因保持对其IP的控制而受到批评，尤其是受到其更专注于开源的竞争对手zkSync的批评。

StarkWare将开源Cairo描述为其寻求将更多控制权和知识产权移交给社区和开发者的“里程碑式的行动”。Cairo是一种专门为利用zk rollup和有效性证明的强大功能而编写的编程语言。

StarkWare表示，开发人员现在可以通过编译和执行简单的应用程序来试验Cairo 10，直到2023年第一季度StarkNet完全支持它为止。

Starkware Exploration Lead、前以太坊核心开发者Abdelhamid Bakhta表示，届时Cairo 10将实现更快的功能开发，并允许更多的社区参与。

“我们将继续开源StarkNet技术栈，从Cairo 10开始。我们这样做是为了实现StarkNet的愿景，即成为任何人都可以使用而且社区可以对其进行不断改进的公共产品，”他说。

“在实际层面上，这最大限度地提高了我们代码和编码过程的透明度。它还增强了社区发现bug和改进编译器的能力。随着技术栈的每个方面都开源，这种社区参与感会越来越强。”

根据StarkWare的Medium文章，一旦投入生产，Cairo 10还将使区块链开发者能够编写和部署智能合约到StarkNet。

StarkWare补充说，由于Cairo 10使每个计算都“可证明”，StarkNet的抗审查属性将得到加强，它也将更好地应对拒绝服务攻击。

StarkWare的STARK技术栈为许多Web3项目提供支持，包括去中心化交易所(DEX)平台dYdX(尽管它正在转移到Cosmos上它自己的链)、NFT平台Immutable X和区块链互操作性协议Celer Network。

StarkNet通过使用Cairo来加速其解决方案，这是一场冒险，该解决方案与以太坊虚拟机(EVM)并不原生兼容。然而，以太坊软件工具公司Nethermind构建了一个名为Warp的转译器，可将Solidity代码转换为Cairo代码。

竞争对手zkSync的WVM兼容主网正在推出过程中。

尽管走了一条更艰难的道路，但StarkWare创始人Eli BenSasson最近告诉Cointelegraph，使用像Cairo这样的定制编程语言，而不是Solidity，是充分利用ZK rollup提供的以太坊扩展的唯一可行方法：

“我愿意打赌，你不会看到一个完全成熟的ZK EVM，可以在以太坊的一个证明中放入100万笔交易。就像我们今天可以轻松做到的那样，而且几个月和几年来一直在这样做。”

11月17日，Starkware还在以太坊上部署了新的StarkNet代币(STRK)，除了在网络上支付费用外，该代币还将用于质押和投票目的。