StarkNet 使 Cairo 1.0 开源，迈向社区控制的第一步

零知识 (ZK)-Rollup 技术公司 StarkWare 已正式开源其新的编程语言编译器 Cairo 1.0，该编译器将于 2 年第一季度在以太坊第二层扩展解决方案 StarkNet 上得到支持。

这个消息公布 StarkWare——StarkNet 背后的公司——在 25 月 2 日的 Twitter 帖子中。 StarkWare 的汇总技术和递归证明提供了将 LXNUMX 上的数百万笔交易压缩为以太坊上的单个交易的潜力，但是该项目因保持对其 IP 的控制而受到批评，尤其是其更加开源的竞争对手 zkSync。

StarkWare 将开源 Cairo 描述为其寻求移交更多控制权和知识产权给它的社区和开发者。 Cairo 是一种专门为利用 zk rollups 和有效性证明的力量而编写的编程语言。

这一天已经到来：初步了解 Cairo 1.0，完全开源
这是朝着开源 StarkNet 堆栈迈出的一大步
您现在可以熟悉新的语法，在本地编译和运行简单的程序。 #斯塔克网支持即将到来https://t.co/0tdZDhopEP
— StarkWare（@StarkWareLtd） 2022 年 11 月 24 日

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

根据 Starkware Exploration Lead 和前以太坊核心开发人员 Abdelhamid Bakhta 的说法，届时 Cairo 1.0 将实现更快的功能开发并允许更多的社区参与。

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

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

一旦投入生产，Cairo 1.0 还将使区块链开发人员能够编写智能合约并将其部署到 StarkNet，根据到 StarkWare 的 Medium 帖子。

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

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

StarkNet 通过使用 Cairo 来加速其解决方案进行了一次赌博，该解决方案本身与以太坊虚拟机 (EVM) 不兼容。然而以太坊软件工具公司 Nethermind 构建了一个名为 Warp 的转译器，可将 Solidity 代码转换为 Cairo 代码。

竞争对手 zkSync 的 EVM 兼容主网正在启动中。

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

“我敢打赌，你不会看到一个完整的 ZK EVM 可以将一百万笔交易放入以太坊的单一证明中。正如我们今天可以轻松做到的那样，并且已经做了几个月和几年。”

Starkware 最近也传来了这个消息部署 17 月 XNUMX 日在以太坊上推出新的 StarkNet 代币 (STRK)，除了在网络上支付费用外，还将用于质押和投票目的。