Kakarot：創新的基於Cairo的zkEVM解決方案

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

作爲zkEVM的一種,Kakarot能夠生成可驗證的交易和區塊。由於構建在CairoVM之上,Kakarot上執行的每筆交易都是可驗證的。Kakarot zkEVM允許開發者部署EVM應用,同時用戶可以使用常用工具與這些應用交互。此外,Kakarot還將提供與Starknet協議的互操作性,爲DeFi和GameFi等領域的協議提供組合性。

發展路線

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

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

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

   作爲Starknet L2內置的EVM,開發者可直接在Starknet上部署Solidity(或其他EVM兼容語言)智能合約,並使用熟悉的工具如Foundry、Hardhat等。用戶體驗將與Polygon、Scroll或以太坊L1完全相同。

2. Kakarot x Madara:L3 zkEVMs

   Kakarot和Madara將整合,支持L3 zkEVMs及更高層級。團隊可部署zkEVM應用鏈,利用有效性證明在Starknet上結算交易。這種L3架構可分離安全性和去中心化,用戶享受以太坊L1安全性的同時降低gas成本。

3. Kakarot x Madara:type 1 zkEVM

   如果能用Cairo編寫以太坊共識規則並從Pedersen MPT切換到Keccak MPT,Kakarot將成爲可證明L1區塊的type 1 zkEVM客戶端。這取決於以太坊未來發展,特別是Verge階段的實施。

核心團隊

Kakarot核心團隊源於裏斯本一次黑客馬拉松活動,約10人一周內構建了zkEVM原型。目前在Starknet基金會和Onlydust支持下,已有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和以太坊生態,降低開發門檻。未來還將實現更多可組合性,如與Celestia等模塊化組合。

作爲Starknet生態重要組成,Kakarot的發展與Starknet息息相關。得到V神和StarkWare支持是其優勢,但團隊規模小、資源有限也是劣勢。

與其他zkEVM相比,Kakarot選擇聚焦Starknet生態而非部署獨立L2。項目仍處早期階段,測試網即將發布,值得持續關注其發展。