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

   作爲Starknet L2內置的EVM，允許開發者直接部署Solidity智能合約，並使用熟悉的工具。用戶體驗將與Polygon、Scroll或以太坊L1相同。

2. Kakarot x Madara：L3 zkEVMs

   整合Kakarot和Madara，啓用L3 zkEVMs及更高層級。團隊可部署zkEVM應用鏈，利用有效性證明在Starknet上結算交易。這種方式可以在保持安全性的同時提高性能和降低成本。

3. Kakarot x Madara：type 1 zkEVM

   通過在Madara x Kakarot全節點中用Cairo編寫以太坊共識規則，並從Pedersen MPT切換到Keccak MPT，Kakarot有望成爲能夠證明L1區塊的type 1 zkEVM客戶端。

團隊背景

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將實現更多可組合性，可與Celestia或EigenDA等模塊化組件結合。其成功很大程度上依賴於Starknet生態的發展，兩者相輔相成。

Kakarot得到了Vitalik Buterin和StarkWare的支持，這在精神和資金上都是重要加持。然而，相比其他zkEVM項目，Kakarot團隊規模較小，預算和品牌知名度也較低，這也是其目前未部署爲通用zkEVM L2的原因之一。

Kakarot項目仍處於早期階段，測試網即將發布。盡管面臨挑戰，但其獨特定位和強大支持使其值得關注。未來發展將取決於技術實現、生態建設以及與Starknet的協同效應。