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)，除了在網絡上支付費用外，還將用於質押和投票目的。