Kakarot：用Cairo編寫的Starknet上的EVM

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

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

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

發展路線

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

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

階段一: 在Starknet上實現EVM功能

Kakarot zkEVM將首先作爲Starknet L2中的內置EVM存在。這將使開發者能夠在Starknet上直接部署Solidity（或其他EVM兼容語言）智能合約，並使用熟悉的工具進行開發。用戶可以使用常用工具鏈與這些dApps交互。在Kakarot上的體驗將與在Polygon、Scroll或以太坊L1上的體驗相似。

階段二: 實現L3 zkEVMs

Kakarot將與Madara整合，啓用L3 zkEVMs，並在需要時支持L4、L5等更高層級。團隊將能夠部署zkEVM應用鏈，並利用有效性證明在Starknet上結算交易。這種架構可以在保持以太坊L1安全性的同時，降低去中心化成本。

通過將計算轉移到更高層，可以大幅降低gas成本並提高性能。用戶可以選擇在Starknet上發布證明和交易數據以獲得更高安全性，或使用其他數據可用性解決方案以降低成本。

階段三: 實現type 1 zkEVM

通過進一步整合Kakarot和Madara，可以實現type 1 zkEVM。這需要用Cairo編寫以太坊共識規則，並從Pedersen Merkle Patricia Trie切換到Keccak MPT。實現這一目標還取決於以太坊的發展路線，特別是Verge升級後可能採用的哈希函數變更。

團隊構成

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上的EVM實現，有望成爲連接Starknet和以太坊生態的重要橋梁。它可以降低開發門檻，讓以太坊生態項目更容易在Starknet上構建，同時保持高安全性和低成本。

Kakarot的發展與Starknet生態緊密相連。隨着Starknet不斷升級改進用戶體驗，Kakarot有望爲Starknet生態繁榮做出重要貢獻。然而，Kakarot的成功也在一定程度上依賴於Starknet的發展。

相比其他zkEVM項目，Kakarot的團隊規模較小，預算和品牌知名度也較低。這也是Kakarot目前未部署爲通用zkEVM L2的原因之一。

總的來說，Kakarot仍處於早期階段，其測試網即將發布。該項目的未來發展值得持續關注。