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生態系統。

2. Kakarot x Madara：實現L3 zkEVMs，使團隊能夠部署自己的zkEVM應用鏈。

3. Kakarot x Madara：實現type 1 zkEVM，能夠證明以太坊L1區塊。

團隊背景

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和以太坊生態系統的重要橋梁。它可以降低開發者的入門門檻，同時保持以太坊的安全性和降低成本。

然而，Kakarot的發展也與Starknet的命運緊密相連。Starknet的持續發展對Kakarot至關重要。雖然得到了Vitalik和StarkWare的支持，但與其他zkEVM項目相比，Kakarot團隊規模較小，預算和品牌知名度較低，這也是它目前未部署爲通用zkEVM L2的原因之一。

Kakarot項目仍處於早期階段，其測試網即將發布。隨着項目的進展，它有潛力爲Starknet生態系統帶來重要價值，但其成功還取決於多個因素的共同作用。