Kakarot: 基於Cairo的以太坊虛擬機

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

作爲zkEVM的一種實現,Kakarot能夠生成可證明的交易和區塊。由於建立在CairoVM之上,Kakarot上執行的每筆交易都是可證明的。總體而言,Kakarot zkEVM利用Cairo語言和ZK-STARK證明系統提供可證明計算能力,使開發者能在其上部署EVM應用,並允許用戶使用常用工具與這些應用交互。

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

發展路線

該項目始於2022年10月,主要目標是開源並用不到1萬行代碼創建一個zkEVM。這一目標在短短6個月內就實現了,並計劃於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,必要時還可擴展到L4、L5等。團隊可以部署zkEVM應用鏈,利用有效性證明在Starknet上結算交易。這種方式可以降低gas成本,提高性能,同時保持安全性。

3. Kakarot x Madara:type 1 zkEVM

   如果能實現以下兩點,Kakarot將成爲type 1 zkEVM客戶端,能夠證明L1區塊:

   • 用Cairo編寫以太坊共識規則
   • 從Pedersen MPT切換到Keccak MPT

   這是一個更高級的用例,取決於以太坊的發展路線,尤其是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上用Cairo編寫的EVM實現,能有效連接Starknet和以太坊生態。它降低了開發門檻,使以太坊生態項目能在Starknet上構建,同時保持安全性並降低成本。未來階段將實現更多可組合性,如與Celestia或EigenDA等模塊化組合。

Kakarot的發展與Starknet生態緊密相連。它得到了Vitalik Buterin和StarkWare的支持,這是一大優勢。然而,相比其他zkEVM項目,Kakarot團隊規模較小,預算和品牌知名度較低,這也是其目前未部署爲通用zkEVM L2的原因之一。

Kakarot目前處於早期階段,測試網即將發布。雖然面臨挑戰,但其獨特定位和強大支持使其在zkEVM領域具有潛力。隨着項目的發展,值得持續關注其進展。