Kakarot zkEVM: 爲Starknet生態帶來EVM兼容性

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

作爲zkEVM,Kakarot能夠生成可證明的交易和區塊。由於構建在CairoVM之上,Kakarot上執行的每筆交易都是可證明的。這使得開發者可以在Kakarot上部署EVM應用,同時讓用戶使用熟悉的工具與這些應用交互。

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

發展路線

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

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

階段一: Kakarot zkEVM on Starknet

Kakarot zkEVM將首先作爲內置EVM存在於Starknet的L2中。這使開發者能夠直接在Starknet上部署Solidity智能合約,並使用熟悉的工具開發。用戶體驗將與在Polygon、Scroll或以太坊L1上相同。

階段二: Kakarot x Madara - L3 zkEVMs

Kakarot和Madara將整合,啓用L3 zkEVMs及更高層級。團隊可以部署zkEVM應用鏈,利用有效性證明在Starknet上結算交易。這種方式能夠解耦安全性和去中心化,同時大幅降低gas成本、提高TPS。

階段三: 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。

總結與展望

作爲Starknet上的EVM實現,Kakarot在連接Starknet和以太坊生態方面具有獨特優勢。它降低了開發門檻,讓以太坊生態項目更容易在Starknet上構建,同時保持安全性並降低成本。

未來Kakarot將提供更多可組合性,可與Celestia等模塊化組件結合。其發展與Starknet生態緊密相連,相互促進。獲得Vitalik和StarkWare支持也是一大優勢。

然而相比其他zkEVM項目,Kakarot團隊規模和資源相對有限。目前項目仍處於早期階段,測試網即將發布,值得持續關注其發展。