StarkNt使开罗1.0开源成为社区控制的第一步

StarkNet优先考虑可扩展性，而不是可组合性和透明度。但它现在正在努力使其技术开源。

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

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

StarkWare将开源开罗描述为其寻求向其社区和开发人员移交更多控制权和知识产权的“里程碑式举措”。Cairo 是一种编程语言，专门用于利用 zk-Rollups 和有效性证明的强大功能。

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

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

“我们将继续开源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最近还于11月17日在以太坊上部署了新的StarkNet代币(STRK)，除了在网络上支付费用外，该代币还将用于质押和投票目的。