2022年11月25日

StarkNet优先考虑可伸缩性，而不是可组合性和透明性。但它现在正致力于使其技术开源。新闻零知识(ZK)-Rollup技术公司StarkWare正式开放了其新的编程语言编译器Cairo 1.0，该编译器很快将在2023年第一季度被以太坊第二层扩展解决方案StarkNet支持。这一消息是StarkWare——StarkNet背后的公司——在11月25日的推特上宣布的。StarkWare的汇总技术和递归证明提供了将L2上数以百万计的交易压缩为以太坊上的单个交易的潜力，然而该项目一直因对其IP的控制而受到批评，尤其是受到其更专注于开源的竞争对手zkSync的批评。StarkWare将开罗开源描述为其寻求将更多控制权和知识产权移交给社区和开发者的“里程碑式的一步”。Cairo是一种专门用来利用zk集和有效性证明的强大功能的编程语言。这一天已经到来:第一次看Cairo 1.0，完全开源。这是向StarkNet栈开源迈出的一大步。你现在可以熟悉新的语法，在本地编译和运行简单的程序。#StarkNet支持即将推出https://t.co/0tdZDhopEP StarkWare表示，开发人员现在可以通过编译和执行简单的应用程序来试验Cairo 1.0，直到2023年第一季度StarkNet完全支持它为止。Starkware勘探主管、前以太坊核心开发人员Abdelhamid Bakhta表示，届时Cairo 1.0将实现更快的特性开发，并允许更多的社区参与。 “We’re continuing to open source the StarkNet tech stack, beginning with Cairo 1.0. We’re doing this in order to fulfill StarkNet's vision as a public good that anyone can use, and that the community can constantly improve,” he said. “On a practical level this maximizes transparency about our code, and our coding process. And it strengthens the community’s ability to find bugs and improve the compiler. With each aspect of the tech stack that is open sourced, this sense of community involvement will grow and grow.” Once in production, Cairo 1.0 will also enable blockchain developers to write and deploy smart contracts to StarkNet, according to StarkWare’s Medium post. StarkWare added that because Cairo 1.0 makes every computation “provable,” StarkNet’s censorship resistance properties will be strengthened and it’ll also be better positioned to respond to Denial-of-Service attacks. StarkWare’s STARK tech stack powers a number of Web3 projects including decentralized exchange (DEX) platform dYdX (although this is moving to its own chain on Cosmos), NFT-platform Immutable X and blockchain interoperability protocol Celer Network. StarkNet has taken a gamble by using Cairo to speed up its solution, which is not natively compatible with the Ethereum Virtual Machine (EVM). However Ethereum software tooling firm Nethermind built a transpiler called Warp that converts Solidity code into Cairo code. Competitor zkSync’s EVM-compatible mainnet is in the process of being launched. But despite taking a more difficult path, StarkWare founder Eli Ben-Sasson recently told Cointelegraph that using custom built programming language like Cairo, as opposed to Solidity, was the only viable way to take full advantage of Ethereum scaling afforded by ZK rollups: “I’m willing to bet that you won’t see a full blown ZK EVM that can put a million transactions inside a single proof on Ethereum. As we can easily do today and have been doing for months and years.” The news comes as Starkware also recently deployed the new StarkNet token (STRK) on Ethereum on Nov. 17, which will be used for staking and voting purposes in addition to paying fees on the network.