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
2. Kakarot x Madara: 實現 L3 zkEVMs
3. Kakarot x Madara: 實現 type 1 zkEVM

每個階段都有其特定目標和技術挑戰，旨在逐步提升 Kakarot 的功能和性能。

團隊背景

Kakarot 核心團隊誕生於裏斯本的一次黑客馬拉松活動。在 Starknet 基金會和 Onlydust 的支持下，Kakarot 現已擁有 40 多個獨特的貢獻者。

核心成員包括:

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

融資情況

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

項目展望

Kakarot 作爲 Starknet 上的 zkEVM 實現，有望成爲連接 Starknet 和以太坊生態的重要橋梁。它可以降低開發者的門檻，讓以太坊生態項目更容易在 Starknet 上構建。

然而，Kakarot 的發展也與 Starknet 生態緊密相連。Starknet 的持續發展和用戶體驗改善將爲 Kakarot 提供良好的成長環境。

Kakarot 得到了 Vitalik Buterin 和 StarkWare 的支持，這在精神和資金上都是重要的加持。但與其他 zkEVM 項目相比，Kakarot 團隊規模較小，預算和品牌知名度也相對較低，這是其面臨的挑戰之一。

Kakarot 目前處於早期階段，其測試網即將發布，值得持續關注其後續發展。