Kakarot: 一個令人興奮的ZK-EVM項目

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

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

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

發展路線

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

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

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

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

2. Kakarot x Madara:L3 zkEVMs

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

3. Kakarot x Madara:type 1 zkEVM

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

團隊

Kakarot核心團隊誕生於裏斯本的一次黑客馬拉松,約10人在一周內構建了zkEVM原型。目前,在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息息相關,可爲Starknet生態繁榮做出貢獻。

Kakarot得到了Vitalik和StarkWare的支持,這是一大優勢。但相比其他zkEVM項目,Kakarot團隊規模較小,預算和品牌知名度也較低,這也是其沒有部署爲通用zkEVM L2的原因之一。

Kakarot目前處於早期階段,測試網即將推出。作爲Starknet生態的重要組成部分,Kakarot的發展值得關注。