Kakarot：一個Vitalik Buterin覺得很酷並投資的Zk-EVM

撰文：Yinan

簡介

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

zkEVM的特點是能生成可證明的交易，因此也可以生成可證明的區塊。 Kakarot建立在CairoVM之上，因此在Kakarot上執行的每一筆交易都是可證明的。

總的來說，Kakarot zkEVM使用Cairo語言編寫，並利用ZK-STARK證明系統提供可證明的計算能力。它使得開發者可以在其上部署EVM應用，並使終端用戶可以用他們常用的工具鏈與這些應用進行交互。

最後，Kakarot還將提供與Starknet協議的互操作性，為DeFi和GameFi等不同領域的協議提供了可組合性。

路線圖

該項目於2022 年10 月開始，有幾個目標：從第一天開始開源，最雄心勃勃的是，用不到10,000 行代碼創建一個zkEVM。在短短六個月內就實現了這一目標。並且將在2023 年夏末發布測試網。

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

• 階段一: Kakarot zkEVM on Starknet — 將EVM帶到Starknet

Kakarot zkEVM將首先作為一個內建的EVM存在於Starknet的L2中，使開發者能夠在Starknet上直接部署他們的Solidity（或任何EVM兼容語言）智能合約，並使用他們熟悉的工具（如Foundry, Hardhat, Wagmi等）。他們的終端用戶將能夠使用他們熟悉的工具鏈（如Metamask, Wallet connect等）與他們的dApps進行交互。總的來說，開發者和用戶在Kakarot上的體驗將與Polygon、Scroll或以太坊L1的體驗完全相同

• 階段二: Kakarot x Madara — L3 zkEVMs

Kakarot和Madara將被整合成一個統一的堆棧，以便啟用L3 zkEVMs，並在有意義的情況下啟用L4，L5等。團隊將能夠部署他們的zkEVM應用鏈，並利用有效性證明在Starknet上結算交易。計算在鏈下或在更高層進行，鏈上驗證。這些依賴有效性證明的L3（如Kakarot）具有一個有趣且被低估的屬性：能夠解耦安全性和去中心化。用戶可以在不需要相同級別的去中心化（即數千個驗證器）的情況下，從以太坊L1的安全性中受益。然而，對於rollups來說，去中心化是有益的，因為它帶來了活性和抗審查性，這兩個非常重要的屬性。這可以通過將順序器設定在數百而不是數千來實現。由於在另一層進行計算，L2的氣體成本比L2低很多，而性能（TPS）則更高。請注意，L2已經比L1便宜得多。 rollups的可擴展性堆疊並乘以。為了進一步降低氣體成本，可以將證明驗證和數據可用性（DA）分開。 Starknet L2可以僅作為一個證明驗證層，而新的數據可用性解決方案，如Celestia或EigenDA，可以用於發布交易數據。用戶將有選擇加入任一選項，具體取決於他們的安全需求。在Starknet上發布證明和交易數據是更安全的選項，而使用DA解決方案發布交易數據則是更經濟的選擇

• 階段三: Kakarot x Madara — type 1 zkEVM

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

1. 在Madara x Kakarot全節點中用Cairo編寫以太坊共識規則，從而使L1共識得以證明。
2. 從Pedersen Merkle Patricia Trie (MPT)切換到Keccak MPT。那麼，Kakarot就會成為一個type 1 zkEVM客戶端，能夠證明L1區塊。這是一個更高級的用例，取決於以太坊的路線圖，尤其是Verge。在Verge之後，keccak可能會被poseidon替代，作為以太坊的首選哈希函數。這將幫助zkEVM團隊成為type 1，因為zkEVM的主要兼容性阻礙是存儲佈局，即以可證明且合理的成本實現Keccak MPT。

團隊：

在里斯本的一個黑客之家，一周的專注工作，大約十個人構建了一個zkEVM，至此，Kakarot核心團隊誕生。

在Starknet 基金會和Onlydust 的幫助下，如今，Kakarot 擁有40 多個獨特的貢獻者。

**Elias Tazartes：**Kakarot的co-founder及ceo，專門從事區塊鏈工程（Dapp、Ethereum、Algorand）和全棧開發（Svelte/React、NodeJS、Rust、Python）的自由開發人員。

**Clément Walter：**科學家、工程師、企業家、雜工，對一切都充滿好奇,這是Clément 對自己的簡介。同時他是Kakarot的co-founder及首席技術官

融資：

目前Kakarot進行了pre-seed round融資，具體融資金額尚未公佈，參與投資的團隊及人員有：Starkware、LambDa。 天使投資人包括Vitalik 、Ledger的聯合創始人Nicolas Bacca和ZAMA 的聯合創始人兼首席執行官Rand Hindi。

總結：

目前來看，不兼容EVM的公鏈生態發展都處於緩慢階段，公鏈生態目前多數都是圍繞以太坊生態圈展開，Kakarot作為在Starknet上用Cairo編寫的以太坊虛擬機（EVM），能夠很好的鏈接Starknet生態以及以太坊生態，在不兼容EVM的Starknet上使得以太坊生態能夠很好的在Starknet上構建，並且降低開發人員開發的准入門檻，接入以太坊安全性同時降低成本。到Kakarot的第二第三階段，能夠實現更多的可組合性，模塊化組合例如Celestia或EigenDA等模塊。

作為Starknet上編寫的ZK-EVM，和Starknet生態的聯繫就像唇齒關係，一榮俱榮，目前Starknet也在不停的迭代升級中，提高用戶的使用體驗，而依托Kakarot構建的ZK-EVM，能很好的為項目生態繁榮作出貢獻，相反，要是Starknet發展的並不如意，而Kakarot也會反受影響。

Kakarot還有一點優勢還在於得到了V神還有StarkWare的支持，不僅在精神上並且在資金上同樣進行加持。

而以其它的ZK-EVM相比，Kakarot 又處於劣勢—- 一個不到10 人的團隊，預算和品牌要小得多。這也是Kakarot沒部署為通用zkEVM L2 的一個原因。

目前Kakarot還處於早期，測試網將於近期發布，請保持關注。