Kakarot：Cairo編寫的以太坊虛擬機

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

作爲zkEVM，Kakarot能生成可證明的交易和區塊。由於建立在CairoVM之上，Kakarot上執行的每筆交易都是可證明的。這使得開發者可以在其上部署EVM應用，終端用戶則可使用常用工具鏈與應用交互。

此外，Kakarot還將提供與Starknet協議的互操作性，爲DeFi和GameFi等領域的協議提供可組合性。

發展路線

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

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

1. Kakarot zkEVM on Starknet：將EVM引入Starknet

   作爲Starknet L2內置的EVM，開發者可直接部署Solidity智能合約，使用熟悉工具如Foundry、Hardhat等。用戶體驗將與Polygon、以太坊L1等相同。

2. Kakarot x Madara：L3 zkEVMs

   整合Kakarot和Madara，實現L3 zkEVMs，必要時可擴展至L4、L5等。團隊可部署zkEVM應用鏈，利用有效性證明在Starknet結算交易。這種L3架構可解耦安全性和去中心化，用戶享受以太坊L1安全性的同時，不需要同等級別的去中心化。

3. Kakarot x Madara：type 1 zkEVM

   如果能用Cairo編寫以太坊共識規則，並從Pedersen Merkle Patricia Trie切換到Keccak MPT，Kakarot將成爲能證明L1區塊的type 1 zkEVM客戶端。這取決於以太坊路線圖，尤其是Verge階段的發展。

團隊概況

Kakarot核心團隊誕生於裏斯本的一次黑客馬拉松。目前有40多位貢獻者參與項目開發。

主要成員包括：

• Elias Tazartes：聯合創始人兼CEO，專注區塊鏈工程和全棧開發。
• Clément Walter：聯合創始人兼CTO，擁有科學家、工程師和企業家背景。

融資情況

Kakarot完成了pre-seed輪融資，具體金額未公布。投資方包括Starkware、LambDa等。天使投資人有Vitalik Buterin、Ledger聯合創始人Nicolas Bacca和ZAMA聯合創始人Rand Hindi。

項目評估

Kakarot作爲Starknet上的EVM實現，可有效連接Starknet和以太坊生態，降低開發門檻。未來階段將實現更多可組合性，如與Celestia或EigenDA等模塊化組合。

項目與Starknet生態緊密相連，相互促進。得到V神和StarkWare支持是一大優勢。但相比其他zkEVM項目，Kakarot團隊規模小，預算和知名度較低，這也是其目前未部署爲通用zkEVM L2的原因之一。

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