Kakarot：創新的Cairo編寫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. Kakarot zkEVM on Starknet：將EVM帶到Starknet
2. Kakarot x Madara：實現L3 zkEVMs
3. Kakarot x Madara：實現type 1 zkEVM

這些階段將逐步擴展Kakarot的功能，從在Starknet上部署EVM應用，到啓用可擴展的L3解決方案，最終可能成爲type 1 zkEVM客戶端。

團隊背景

Kakarot核心團隊誕生於裏斯本的一次密集開發活動中。目前，在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將實現更多可組合性，並可能與Celestia或EigenDA等模塊化組件集成。

Kakarot的發展與Starknet生態緊密相連。Starknet的持續升級將爲Kakarot帶來機遇，而Kakarot也將爲Starknet生態繁榮做出貢獻。

獲得Vitalik Buterin和StarkWare的支持是Kakarot的一大優勢。然而，相比其他zkEVM項目，Kakarot團隊規模較小，預算和品牌知名度也較低，這也是目前未部署爲通用zkEVM L2的原因之一。

Kakarot仍處於早期階段，測試網即將推出。隨着項目的進展，它有潛力成爲連接Starknet和以太坊生態系統的重要基礎設施。