Kakarot zkEVM：以Cairo語言編寫的以太坊虛擬機

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

zkEVM的一個主要特點是能生成可證明的交易和區塊。由於Kakarot建立在CairoVM之上，因此在其上執行的每一筆交易都是可證明的。

總體而言，Kakarot zkEVM結合了Cairo語言和ZK-STARK證明系統，提供了可證明的計算能力。它允許開發者在其上部署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 zkEVM作爲內建EVM引入Starknet L2，允許開發者直接在Starknet上部署Solidity智能合約。

第二階段將整合Kakarot和Madara，啓用L3 zkEVMs，甚至可能實現L4、L5等更高層級。這將允許團隊部署自己的zkEVM應用鏈，並利用有效性證明在Starknet上結算交易。

第三階段目標是實現type 1 zkEVM，這需要用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上的EVM實現，有望成爲連接Starknet和以太坊生態的重要橋梁。它可以降低開發門檻，讓以太坊生態項目更容易在Starknet上構建應用。

然而，Kakarot的發展也很大程度上依賴於Starknet生態的整體進展。如果Starknet持續發展壯大，Kakarot將從中受益；反之亦然。

相比其他zkEVM項目，Kakarot的團隊規模和資源相對有限，這也是它目前沒有部署爲通用zkEVM L2的原因之一。

盡管如此，Kakarot得到了Vitalik Buterin和StarkWare的支持，這無疑是一個積極信號。隨着測試網即將推出，Kakarot的未來發展值得期待。項目的成功將取決於技術實現、生態建設以及與Starknet的協同發展。