Kakarot zkEVM：用Cairo編寫的以太坊虛擬機

Kakarot zkEVM是一個使用Cairo語言編寫的以太坊虛擬機（EVM）。Cairo是與CairoVM關聯的圖靈完備語言，CairoVM利用多項式和ZK-STARK證明系統實現可證明計算。

zkEVM的特點是能生成可證明的交易和區塊。Kakarot構建在CairoVM之上，因此其上執行的每筆交易都是可證明的。總體而言，Kakarot zkEVM利用ZK-STARK證明系統提供可證明的計算能力。它允許開發者部署EVM應用，並讓用戶使用熟悉的工具與這些應用交互。

此外，Kakarot還將提供與Starknet協議的互操作性，爲DeFi和GameFi等領域的協議帶來可組合性。

發展路線

該項目始於2022年10月，目標包括從一開始就開源，以及用不到10,000行代碼創建zkEVM。這一目標在短短六個月內就實現了。測試網計劃於2023年夏末發布。

Kakarot zkEVM的發展路線分爲三個階段:

1. Kakarot zkEVM on Starknet - 將EVM引入Starknet

   在這一階段，Kakarot zkEVM將作爲內置EVM存在於Starknet的L2中。開發者可以直接在Starknet上部署Solidity（或任何EVM兼容語言）智能合約，並使用熟悉的工具。用戶體驗將與在Polygon、Scroll或以太坊L1上相同。

2. Kakarot x Madara - L3 zkEVMs

   Kakarot和Madara將整合，實現L3 zkEVMs，必要時還可擴展至L4、L5等。團隊可以部署zkEVM應用鏈，利用有效性證明在Starknet上結算交易。這種L3架構可以解耦安全性和去中心化，用戶享受以太坊L1的安全性，同時降低成本、提高性能。

3. Kakarot x Madara - type 1 zkEVM

   通過在Madara x Kakarot全節點中用Cairo編寫以太坊共識規則，並從Pedersen Merkle Patricia Trie (MPT)切換到Keccak MPT，Kakarot有望成爲type 1 zkEVM客戶端，能夠證明L1區塊。這一目標的實現取決於以太坊的發展路線，尤其是Verge階段。

團隊背景

Kakarot核心團隊源於裏斯本一次黑客馬拉松，約十人在一周內構建了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上的EVM實現，有望成爲連接Starknet和以太坊生態的重要橋梁。它可以降低開發者門檻，讓以太坊生態項目更容易在Starknet上構建，同時保持以太坊的安全性並降低成本。

Kakarot的發展與Starknet生態緊密相連。隨着Starknet不斷升級改進用戶體驗，Kakarot有望爲生態繁榮做出貢獻。然而，Kakarot的成功也在一定程度上依賴於Starknet的發展。

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

作爲一個處於早期階段的項目，Kakarot的發展值得持續關注。即將發布的測試網將是觀察其技術實力和生態潛力的重要節點。