Kakarot: 一個創新的 zkEVM 項目

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

作爲 zkEVM，Kakarot 能夠生成可證明的交易和區塊。由於構建在 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 核心團隊誕生於裏斯本的一次黑客馬拉松，約十人一周內構建了一個 zkEVM。目前，在 Starknet 基金會和 Onlydust 的支持下，Kakarot 擁有 40 多名獨特貢獻者。

核心成員包括：

• Elias Tazartes：聯合創始人兼 CEO，專注於區塊鏈工程和全棧開發。
• Clément Walter：聯合創始人兼首席技術官，兼具科學家、工程師和企業家背景。

融資情況

Kakarot 已完成預種子輪融資，具體金額未公開。投資方包括 Starkware 和 LambDa。天使投資人包括以太坊創始人 Vitalik Buterin、Ledger 聯合創始人 Nicolas Bacca 和 ZAMA 聯合創始人兼 CEO Rand Hindi。

項目前景

Kakarot 作爲 Starknet 上的 EVM 實現，有潛力成爲連接 Starknet 和以太坊生態的重要橋梁。它降低了開發者進入門檻，同時保持了以太坊的安全性和較低的成本。

然而，Kakarot 的發展與 Starknet 生態息息相關。如果 Starknet 發展順利，Kakarot 將從中受益；反之亦然。獲得 Vitalik Buterin 和 StarkWare 的支持是 Kakarot 的一大優勢。

相比其他 zkEVM 項目，Kakarot 團隊規模較小，預算和品牌知名度較低，這也是它目前未部署爲通用 zkEVM L2 的原因之一。

Kakarot 項目仍處於早期階段，測試網即將發布。隨着項目的進展，它有潛力在 zkEVM 和跨鏈互操作性領域發揮重要作用。