Kakarot: 採用Cairo語言開發的創新zkEVM項目

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的發展路線分爲三個階段:

階段一:在Starknet上構建EVM環境

Kakarot zkEVM將首先作爲Starknet L2內置的EVM存在,讓開發者能夠直接在Starknet上部署Solidity(或其他EVM兼容語言)智能合約,並使用熟悉的開發工具。用戶可以使用常用錢包與dApp交互,體驗將與在Polygon、Scroll或以太坊L1上相似。

階段二:與Madara整合,實現L3 zkEVM

Kakarot和Madara將整合成統一技術棧,以啓用L3 zkEVM,必要時還可擴展至L4、L5等層級。團隊可以部署自己的zkEVM應用鏈,利用有效性證明在Starknet上結算交易。這種L3結構可以分離安全性和去中心化,用戶可以享受以太坊L1的安全性,同時降低對大量驗證節點的需求。

這種架構可以顯著降低gas成本並提高性能。爲進一步優化,可以將證明驗證和數據可用性(DA)分離。Starknet L2可作爲證明驗證層,而新的DA解決方案如Celestia或EigenDA可用於發布交易數據。

階段三:實現type 1 zkEVM

通過在Madara x Kakarot全節點中用Cairo編寫以太坊共識規則,並從Pedersen Merkle Patricia Trie(MPT)切換到Keccak MPT,Kakarot有望成爲type 1 zkEVM客戶端,能夠驗證L1區塊。這一目標的實現取決於以太坊的發展路線,特別是Verge升級。Verge升級後,keccak可能被poseidon取代成爲以太坊的首選哈希函數,這將有助於zkEVM團隊實現type 1兼容性。

團隊構成

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上構建,同時保持以太坊的安全性並降低成本。

Kakarot的發展與Starknet生態密切相關。隨着Starknet不斷升級改進用戶體驗,Kakarot構建的zkEVM也將爲生態繁榮做出貢獻。然而,Starknet的發展狀況也將直接影響Kakarot的前景。

獲得Vitalik Buterin和StarkWare的支持是Kakarot的一大優勢,這不僅體現在精神上,也包括資金支持。

相比其他zkEVM項目,Kakarot面臨着團隊規模小、預算和知名度較低等挑戰,這也是目前未部署爲通用zkEVM L2的原因之一。

Kakarot項目仍處於早期階段,測試網即將推出,值得持續關注其發展動向。