STAR:Kakarot：第一個模塊化 zkEVM

注：原文來自Kakarot團隊成員EliasTazartes發布文章，MarsBit整理編譯。

TL;DR：Kakarot是第3類zkEVM，構建在CairoVM之上。該項目于2022年10月啟動，目標包括：從構建之初開源，用不到10,000行代碼創建一個zkEVM。我們在短短六個月內就實現了這一目標。我們將在2023年夏末發布測試網。

另，文末提供了一個術語表，用于了解EVM、zkRollups以及zkEVM。

CairoVM的不完整入門

CairoVM是一種支持可證明執行的虛擬機，是Starknet的基礎。Starknet是以太坊生態系統中的通用二層validityrollup。CairoVM允許使用STARK證明Starknet上的每筆交易。這需要開發者在相關編程語言Cairo中構建去中心化應用程序(dApp)。

ORC20協議索引器已完整開源，代碼由20scan團隊開發和提供:7月12日消息，據官方消息，ORC20協議索引器宣布其已完整開源，已成為Ordinals中除BRC20外，提供完整索引及開源代碼的代幣協議。[2023/7/12 10:50:19]

用Cairo背后的團隊LiorGoldberg和ShaharPapini以及MichaelRiabzev的話來說：

?“Cairo，一種實用高效的圖靈完備STARK友好型CPU架構。我們描述了一組多項式方程來證明在此架構上的執行是有效的。給定一個想要證明的陳述，Cairo允許編寫描述該陳述的程序，而不是編寫一組多項式方程。”

ETHShanghai 2023開發者峰會現已開啟預報名，黑客松將于下月同期舉辦:5月29日消息，由 Mask Network 主辦的 ETHShanghai 2023 將于 6 月 25 日到 6 月 30 日期間舉辦，活動將分為線下五天黑客松（25 日 - 29 日）和線下兩天主會場（29 日 - 30 日）兩部分。ETHShanghai 2023 現已開啟預報名，開發者訪問官網即可進行注冊。

本屆開發者峰會將圍繞以太坊開源技術生態展開，關注區塊鏈技術的底層基建、去中心化存儲、鏈上數據處理、Layer 2、零知識證明技術、DID 、開發者工具以及 Web3 和 AI 結合等眾多技術主題方向，從 Web3 數字經濟，去中心化社交的未來與亞洲Web3開發者等多個話題上進行深度探討。據悉，本次 ETHShanghai 2023 的籌辦由社區核心成員 Mask Network 牽頭，成員包括THUBA 清華區塊鏈協會、ChainIDE 和 Moonshot Common登月工坊等。[2023/5/29 9:48:51]

要點：用Cairo編寫的程序是可證明的，這具有改變游戲規則的優勢——用高級語言編寫可證明的程序。因此，希望利用零知識密碼學的可擴展特性的開發者不再需要編寫電路。

NFT基礎設施協議CapsuleNFT推出Ordinary Oranges，比特幣NFT可在以太坊主網訪問:金色財經報道，比特幣NFT借助Ordinary Oranges可在以太坊主網上訪問，跨鏈交互的問題得到解決。Ordinary Oranges是比特幣網絡上256個聰的集合，OrdinalOrange持有者可以隨時選擇在以太坊網絡上“銷毀”NFT。

據悉，Ordinary Oranges由Web3可組合NFT基礎設施協議CapsuleNFT推出，CapsuleNFT可以使NFT對藝術家、游戲玩家、收藏家、加密行業參與者等更具可組合性和實用性，從而實現輕松的可轉移性和最大的創作自由。（Businesswire）[2023/2/15 12:07:18]

那么，用Cairo重寫以太坊虛擬機(EVM)會產生zkEVM嗎？

以太坊符合OFAC合規要求的區塊占比已降至48%:金色財經報道，MEV Watch數據顯示，以太坊符合美國財政部海外資產控制辦公室（OFAC）合規要求的區塊占比已降至48%，觸及三個月低點。然而，這一數字在去年11月21日的兩個月內急劇上升至79%。（Cointelegraph）[2023/2/14 12:05:57]

Cairo的共同發明者ShaharPapini于2022年7月20日發推稱：

這個想法很簡單：EVM是一個成熟的、定義明確的VM架構。142個操作碼、9個預編譯和更新這些操作碼或預編譯的民主過程。如果Cairo構建，是否會“免費”獲得zkEVM，即直接獲得零知識的擴展特性？劇透一下，是的。

從那時起，該想法在Starknet社區中獲得關注。Abdel是Starkwareexploration團隊的負責人，也是以太坊核心開發團隊的一員，他于2022年10月開始實施這一構想。大約在同一時間，Starknet的開源構建者社區在Onlydust的幫助下聚集在一起，啟動了一個類似的并行項目，前者在里斯本的StarknetCC期間吸納了后者。

到2022年底，Kakarot實現了100%的EVM操作碼

在里斯本的一個黑客之家，一周的專注工作，大約十個人構建了一個zkEVM。Kakarot核心團隊誕生。我們意識到這是可行且強大的。一個簡單的zkEVM實現，只需要不到5000行代碼。沒有電路，沒有多項式。只是高層次的、富有表現力的代碼。

在Starknet基金會和Onlydust的幫助下，我們開始了這次冒險。我們的價值觀是開源、開放貢獻和社區驅動的技術戰略。Clément和我領導并協調了這項工作。如今，Kakarot擁有40多個獨特的貢獻者。雖然Kakarot正在為構建生產級zkEVM而努力，但我們的價值觀是不會改變的：永遠開源并對外部貢獻開放

截至2023年5月，Kakarot已實現100%字節碼等效，并實現了9個EVM預編譯中的8個。根據Vitalik的分類，它將達到9個從而滿足類型2.5的定義。因此，使用Solidity或任何其他EVM支持的語言編寫的dApp可以部署到Kakarot上，而無需對現有代碼進行任何修改。

下一步規劃？將EVM引入Starknet并構建zkEVM-Rollup-as-a-Service產品。

當我們分析市場時，我們注意到與其他zkEVM相比，Kakarot處于劣勢——一個不到10人的團隊，預算和品牌知名度不足。部署為通用zkEVML2似乎有風險。那么，還有哪些其他策略看起來合理？將EVM兼容性引入Starknet并利用分形擴展。

我們堅信Cairo將在未來幾年被證明是零知識工程的最佳組件。我們還相信EVM仍將是開發者最常見的抽象層。這就是我們將EVM兼容性引入Starknet的原因。很快，團隊將能夠通過Kakarot在Starknet上部署他們的SoliditydApp。

此外，我們認為應用鏈將比人們預期的更快出現。OP堆棧獲得的吸引力就是一個很好的例子。通過利用Kakarot的模塊化特性，我們能夠構建一個zkRollup-as-a-service工具。

一句話：幫助特定應用程序將zkEVM作為L3部署在Starknet之上。EVM環境、低gas和快速執行。加密安全。

要先睹為快，請查看基于Substrate的Starknet排序器Madara。Madara+Kakarot=基于Substrate和CairoVM的zkEVML3

Tags：STAARKSTARKSTARmobileradiostationStarSharksSTARK幣Star Chain

酷幣交易所