詳解Kakarot：受Vitalik青睞並投資的zkEVM項目

簡介

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。

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

在短短六個月內就實現了這一目標。並且將在 2023 年夏末發布測試網。

團隊：

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

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

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

Clment Walter：科學家、工程師、企業家、雜工，對一切都充滿好奇, 這是 Clment 對自己的簡介。同時他是 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 還處於早期，測試網將於近期發布，保持關注。

原文連結