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等領域的協議帶來可組合性。

發展路線

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

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

• 階段一: 在Starknet上實現Kakarot zkEVM

  Kakarot zkEVM將首先作爲Starknet L2內置的EVM存在，讓開發者能直接在Starknet上部署Solidity（或其他EVM兼容語言）智能合約，並使用熟悉的工具。用戶可以使用常用工具與dApps交互。總體而言，Kakarot上的開發和使用體驗將與Polygon、Scroll或以太坊L1完全一致。

• 階段二: Kakarot與Madara結合 --- L3 zkEVMs

  Kakarot和Madara將整合成統一堆棧，啓用L3 zkEVMs，並在必要時支持L4、L5等。團隊可以部署zkEVM應用鏈，利用有效性證明在Starknet上結算交易。計算在鏈下或更高層進行，鏈上驗證。這些L3具有一個有趣的特性：能夠解耦安全性和去中心化。用戶可以享受以太坊L1的安全性，而不需要相同級別的去中心化。然而，對rollups而言，去中心化仍然重要，因爲它帶來活性和抗審查性。這可以通過將排序器設置爲數百個而非數千個來實現。由於計算在另一層進行，L3的gas成本比L2更低，性能更高。爲進一步降低成本，可以將證明驗證和數據可用性（DA）分開。用戶可根據安全需求選擇不同選項。

• 階段三: Kakarot與Madara結合 --- type 1 zkEVM

  Kakarot和Madara還可以結合實現type 1 zkEVM。如果能夠：

  1. 用Cairo在Madara x Kakarot全節點中編寫以太坊共識規則，從而證明L1共識。
  2. 從Pedersen Merkle Patricia Trie (MPT)切換到Keccak MPT。

  那麼Kakarot就能成爲type 1 zkEVM客戶端，可以證明L1區塊。這是一個更高級的用例，取決於以太坊的發展路線，特別是Verge階段。Verge之後，keccak可能被poseidon取代作爲以太坊的首選哈希函數。這將有助於zkEVM團隊實現type 1，因爲zkEVM的主要兼容性障礙是存儲布局，即以可證明且合理成本實現Keccak MPT。

團隊背景

Kakarot核心團隊誕生於裏斯本的一次黑客馬拉松，約10人在一周內構建了一個zkEVM。

在Starknet基金會和Onlydust的支持下，Kakarot現有40多名獨立貢獻者。

**Elias Tazartes：**Kakarot聯合創始人兼CEO，專注於區塊鏈工程和全棧開發。

**Clément Walter：**Kakarot聯合創始人兼CTO，自稱爲科學家、工程師、企業家和多面手。

融資情況

Kakarot已完成種子輪前融資，具體金額未披露。投資方包括Starkware和LambDa。天使投資人有Vitalik Buterin、Ledger聯合創始人Nicolas Bacca和ZAMA聯合創始人兼CEO Rand Hindi。

項目展望

目前非EVM兼容公鏈生態發展較慢，多數公鏈生態圍繞以太坊展開。Kakarot作爲Starknet上用Cairo編寫的EVM，能很好地連接Starknet和以太坊生態，讓以太坊項目在Starknet上構建，降低開發門檻，並享受以太坊安全性和低成本。後續階段還將實現更多可組合性，如與Celestia或EigenDA等模塊化組合。

作爲Starknet上的ZK-EVM，Kakarot與Starknet生態密切相關。Starknet持續迭代升級，提升用戶體驗，而Kakarot構建的ZK-EVM將爲生態繁榮做出貢獻。但如果Starknet發展不佳，Kakarot也會受到影響。

Kakarot得到了Vitalik Buterin和StarkWare的支持，在精神和資金上都獲得了加持，這是一大優勢。

然而與其他ZK-EVM相比，Kakarot也面臨挑戰：團隊規模小，預算和品牌知名度較低。這也是Kakarot沒有部署爲通用zkEVM L2的原因之一。

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