Kakarot: 創新的 zkEVM 解決方案

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

Kakarot zkEVM 的特點在於能生成可證明的交易和區塊。由於建立在 CairoVM 之上，Kakarot 上執行的每筆交易都具有可證明性。這使得開發者可以在其上部署 EVM 應用，同時讓用戶能夠使用熟悉的工具與這些應用交互。

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

發展路線

Kakarot 項目始於 2022 年 10 月，目標是開源並用不到 10,000 行代碼創建 zkEVM。六個月內就實現了這一目標，計劃於 2023 年夏末發布測試網。

Kakarot zkEVM 的路線圖分爲三個階段：

1. Kakarot zkEVM on Starknet：將 EVM 引入 Starknet，允許開發者直接在 Starknet 上部署 Solidity 智能合約。

2. Kakarot x Madara：實現 L3 zkEVMs，團隊可以部署自己的 zkEVM 應用鏈，利用有效性證明在 Starknet 上結算交易。

3. Kakarot x Madara：實現 type 1 zkEVM，通過在 Madara x Kakarot 全節點中用 Cairo 編寫以太坊共識規則，並從 Pedersen MPT 切換到 Keccak MPT。

團隊背景

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 上的 EVM 實現，有潛力連接 Starknet 和以太坊生態系統。它可能降低開發門檻，讓以太坊生態項目更容易在 Starknet 上構建。未來階段有望實現更多可組合性，如與 Celestia 或 EigenDA 等模塊化組合。

Kakarot 的發展與 Starknet 生態緊密相連。Starknet 的持續升級有利於 Kakarot，但 Starknet 發展不順也可能對 Kakarot 造成負面影響。

獲得 Vitalik Buterin 和 StarkWare 的支持是 Kakarot 的優勢之一。然而，與其他 ZK-EVM 項目相比，Kakarot 團隊規模較小，預算和知名度也相對較低，這是其面臨的挑戰。

Kakarot 目前仍處於早期階段，測試網即將發布。項目的未來發展值得持續關注。