Kakarot: 連接Starknet和以太坊生態的創新型zkEVM

項目簡介

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. 在Starknet上實現EVM功能,使開發者能直接在Starknet部署Solidity智能合約,用戶可使用熟悉的工具與dApps交互。

2. 與Madara整合,啓用L3 zkEVMs。團隊可部署zkEVM應用鏈,利用有效性證明在Starknet結算。這種L3結構可降低gas成本、提高TPS,並實現安全性與去中心化的解耦。

3. 與Madara結合實現type 1 zkEVM。這需要用Cairo編寫以太坊共識規則,並從Pedersen MPT切換到Keccak MPT。這一高級用例取決於以太坊的未來發展。

團隊介紹

Kakarot核心團隊誕生於裏斯本的一次黑客馬拉松。目前在Starknet基金會和Onlydust的支持下,已有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和以太坊生態,降低開發門檻,同時保持以太坊的安全性並降低成本。未來還將實現更多可組合性,如與Celestia或EigenDA等模塊化組合。

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

Kakarot項目仍處於早期階段,測試網即將發布。盡管面臨挑戰,但其創新性和生態定位仍值得關注。