Kakarot：創新的Zk-EVM項目

Kakarot zkEVM是一個用Cairo語言編寫的以太坊虛擬機實現。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結算交易。這一階段可實現安全性和去中心化的解耦,同時降低gas成本、提高TPS。

3. 結合Madara實現type 1 zkEVM。如果能用Cairo編寫以太坊共識規則並切換到Keccak MPT,Kakarot將成爲可證明L1區塊的type 1 zkEVM客戶端。

團隊背景

Kakarot核心團隊誕生於裏斯本的一次黑客馬拉松。目前擁有40多名貢獻者,得到了Starknet基金會和Onlydust的支持。

核心成員包括:

• 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生態緊密相連,未來發展相互影響。

項目得到了Vitalik和StarkWare的支持,這是一大優勢。但與其他zkEVM相比,Kakarot團隊規模較小,資金和品牌知名度也較低,這是目前面臨的挑戰。

Kakarot仍處於早期階段,測試網即將發布。隨着項目的進展,它有望爲Starknet和以太坊生態帶來更多可能性。