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

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

zkEVM的特點是能生成可證明的交易和區塊。由於Kakarot建立在CairoVM之上,因此在其上執行的每筆交易都是可證明的。

總的來說,Kakarot zkEVM利用Cairo語言和ZK-STARK證明系統提供可證明的計算能力。它使開發者可以部署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智能合約,並使用熟悉的工具。用戶體驗將與在Polygon、Scroll或以太坊L1上相同。

2. Kakarot x Madara:L3 zkEVMs

   Kakarot和Madara將整合,以啓用L3 zkEVMs,甚至L4、L5等。團隊可以部署zkEVM應用鏈,並利用有效性證明在Starknet上結算交易。這種方式可以解耦安全性和去中心化,同時降低成本、提高性能。

3. Kakarot x Madara:type 1 zkEVM

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

團隊

Kakarot核心團隊誕生於裏斯本的一次黑客馬拉松。目前有40多名貢獻者。

主要成員包括:

• Elias Tazartes:聯合創始人兼CEO,專注於區塊鏈工程和全棧開發
• Clément Walter:聯合創始人兼CTO,科學家、工程師和企業家

融資

Kakarot已完成pre-seed輪融資,具體金額未公布。投資方包括Starkware、LambDa,以及天使投資人Vitalik Buterin、Ledger聯合創始人Nicolas Bacca和ZAMA聯合創始人Rand Hindi。

總結

Kakarot作爲Starknet上的EVM實現,可以很好地連接Starknet和以太坊生態。它降低了開發門檻,讓以太坊生態項目能夠在Starknet上構建,同時保持以太坊的安全性和低成本。

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

Kakarot仍處於早期階段,測試網即將發布。未來的發展值得關注。