Kakarot: 创新的 zkEVM 解决方案

Kakarot zkEVM 是一个使用 Cairo 语言编写的以太坊虚拟机（EVM）实现。Cairo 是与 CairoVM 相关的图灵完备语言，CairoVM 利用多项式和 ZK-STARK 证明系统实现可证明计算。

Kakarot zkEVM 的特点在于能生成可证明的交易和区块。由于建立在 CairoVM 之上，Kakarot 上执行的每笔交易都具有可证明性。这使得开发者可以在其上部署 EVM 应用，同时让用户能够使用熟悉的工具与这些应用交互。

此外，Kakarot 计划提供与 Starknet 协议的互操作性，为 DeFi 和 GameFi 等领域的协议提供可组合性。

发展路线

Kakarot 项目始于 2022 年 10 月，目标是开源并用不到 10,000 行代码创建 zkEVM。六个月内就实现了这一目标，计划于 2023 年夏末发布测试网。

Kakarot zkEVM 的路线图分为三个阶段：

1. Kakarot zkEVM on Starknet：将 EVM 引入 Starknet，允许开发者直接在 Starknet 上部署 Solidity 智能合约。

2. Kakarot x Madara：实现 L3 zkEVMs，团队可以部署自己的 zkEVM 应用链，利用有效性证明在 Starknet 上结算交易。

3. Kakarot x Madara：实现 type 1 zkEVM，通过在 Madara x Kakarot 全节点中用 Cairo 编写以太坊共识规则，并从 Pedersen MPT 切换到 Keccak MPT。

团队背景

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 上构建。未来阶段有望实现更多可组合性，如与 Celestia 或 EigenDA 等模块化组合。

Kakarot 的发展与 Starknet 生态紧密相连。Starknet 的持续升级有利于 Kakarot，但 Starknet 发展不顺也可能对 Kakarot 造成负面影响。

获得 Vitalik Buterin 和 StarkWare 的支持是 Kakarot 的优势之一。然而，与其他 ZK-EVM 项目相比，Kakarot 团队规模较小，预算和知名度也相对较低，这是其面临的挑战。

Kakarot 目前仍处于早期阶段，测试网即将发布。项目的未来发展值得持续关注。