Kakarot zkEVM: 用Cairo語言構建的創新以太坊虛擬機

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。在短短六個月內就實現了這一目標,並計劃於2023年夏末發布測試網。

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

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

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

2. Kakarot x Madara: L3 zkEVMs

   Kakarot將與Madara整合,實現L3 zkEVMs。團隊可以部署自己的zkEVM應用鏈,利用有效性證明在Starknet上結算交易。這種L3解決方案可以在保持以太坊L1安全性的同時,降低去中心化要求,從而大幅降低gas成本並提高性能。

3. Kakarot x Madara: type 1 zkEVM

   通過在Madara x Kakarot全節點中用Cairo編寫以太坊共識規則,並從Pedersen MPT切換到Keccak MPT,Kakarot有望成爲一個type 1 zkEVM客戶端,能夠證明L1區塊。這一高級用例的實現取決於以太坊的發展路線。

團隊構成

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和以太坊生態的重要橋梁。它能降低開發者進入Starknet的門檻,同時爲用戶提供熟悉的以太坊體驗。

項目優勢包括:

1. 與Starknet生態緊密結合,互利共生
2. 獲得V神和StarkWare等業內重要人物的支持
3. 模塊化設計,可與其他Layer解決方案組合

面臨的挑戰:

1. 團隊規模較小,資源有限
2. 項目仍處於早期階段,需要時間驗證
3. 依賴Starknet的發展,存在一定風險

總的來說,Kakarot代表了zkEVM技術的一個創新方向,有望爲Starknet生態帶來更多可能性。隨着測試網即將推出,項目的實際表現值得關注。