Kakarot zkEVM：基於Cairo的以太坊虛擬機

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

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

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

發展路線

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

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

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

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

2. Kakarot x Madara：L3 zkEVMs

   整合Kakarot和Madara，實現L3 zkEVMs，甚至更高層級。團隊可以部署zkEVM應用鏈，利用有效性證明在Starknet上結算交易。這種方式可以解耦安全性和去中心化，同時降低成本並提高性能。

3. Kakarot x Madara：type 1 zkEVM

   通過在Madara x Kakarot全節點中用Cairo編寫以太坊共識規則，並從Pedersen MPT切換到Keccak MPT，Kakarot有望成爲type 1 zkEVM客戶端，能夠證明L1區塊。

團隊背景

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上的Cairo編寫EVM，能夠很好地連接Starknet和以太坊生態。它降低了開發門檻，使以太坊生態項目能夠在Starknet上構建，同時保持以太坊的安全性並降低成本。

然而，Kakarot的發展與Starknet生態緊密相連。如果Starknet發展不順，Kakarot也將受到影響。相比其他zkEVM項目，Kakarot團隊規模較小，預算和品牌知名度也較低，這也是其目前沒有部署爲通用zkEVM L2的原因之一。

盡管如此，Kakarot獲得了Vitalik Buterin和StarkWare的支持，這在資金和精神上都是重要的加持。項目仍處於早期階段，測試網即將發布，值得持續關注其發展。