Kakarot zkEVM: 基於Cairo的以太坊虛擬機

Kakarot zkEVM是一個使用Cairo語言編寫的以太坊虛擬機(EVM)。Cairo是與CairoVM相關的圖靈完備語言，CairoVM利用多項式和ZK-STARK證明系統實現可證明計算。

zkEVM的主要特點是能生成可證明的交易和區塊。Kakarot構建在CairoVM之上，因此在其上執行的每筆交易都是可證明的。

Kakarot zkEVM使開發者能夠部署EVM應用，並允許用戶使用常用工具與這些應用交互。此外，Kakarot還將提供與Starknet協議的互操作性，爲不同領域的協議提供可組合性。

發展路線

該項目始於2022年10月，目標是開源並用不到10,000行代碼創建一個zkEVM。這一目標在六個月內實現，測試網計劃於2023年夏末發布。

Kakarot zkEVM的路線分爲三個階段:

1. Kakarot zkEVM on Starknet：將EVM引入Starknet
2. Kakarot x Madara：實現L3 zkEVMs
3. Kakarot x Madara：實現type 1 zkEVM

團隊背景

Kakarot核心團隊誕生於裏斯本的一次黑客馬拉松。目前，在Starknet基金會和Onlydust的支持下，Kakarot有40多位獨特的貢獻者。

核心成員包括:

• Elias Tazartes：聯合創始人兼CEO，專注於區塊鏈工程和全棧開發
• Clément Walter：聯合創始人兼CTO，多領域專家

融資情況

Kakarot已完成pre-seed輪融資，具體金額未披露。投資方包括Starkware和LambDa。天使投資人包括Vitalik Buterin、Ledger聯合創始人Nicolas Bacca和ZAMA聯合創始人兼CEO Rand Hindi。

項目展望

Kakarot作爲Starknet上的EVM實現，有望連接Starknet和以太坊生態系統。它可以降低開發門檻，讓以太坊項目更容易在Starknet上構建。未來還計劃實現更多可組合性，如與Celestia或EigenDA等模塊化組合。

Kakarot的發展與Starknet生態緊密相連。它有望爲Starknet生態繁榮做出貢獻，但也依賴於Starknet的發展。獲得Vitalik和StarkWare的支持是一大優勢。

相比其他zkEVM項目，Kakarot團隊規模較小，預算和品牌知名度較低，這也是其目前未部署爲通用zkEVM L2的原因之一。

Kakarot仍處於早期階段，測試網即將發布，值得持續關注其發展。