Kakarot: 一個備受關注的創新型 zkEVM 項目

Kakarot zkEVM 是一個使用 Cairo 語言編寫的以太坊虛擬機（EVM）實現。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：整合 Kakarot 和 Madara，實現 L3 zkEVMs，甚至更高層級的擴展。這將允許團隊部署自己的 zkEVM 應用鏈，利用有效性證明在 Starknet 上結算交易。

3. Kakarot x Madara - Type 1 zkEVM：通過進一步整合 Kakarot 和 Madara，實現 Type 1 zkEVM。這需要在 Madara x Kakarot 全節點中用 Cairo 編寫以太坊共識規則，並從 Pedersen Merkle Patricia Trie 切換到 Keccak MPT。

團隊背景

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 上的 zkEVM 實現，具有以下優勢：

1. 連結 Starknet 和以太坊生態，降低開發門檻。
2. 結合以太坊安全性和低成本優勢。
3. 獲得 Vitalik Buterin 和 StarkWare 的支持。
4. 未來可實現更高級別的可組合性。

然而，Kakarot 也面臨一些挑戰：

1. 團隊規模較小，資源有限。
2. 與其他成熟的 zkEVM 項目相比，品牌知名度較低。
3. 發展與 Starknet 生態密切相關，存在一定依賴性。

Kakarot 項目目前處於早期階段，測試網即將發布。作爲創新型 zkEVM 解決方案，Kakarot 有潛力在 Starknet 生態中發揮重要作用，但其最終成功還需要時間驗證。