Kakarot: 一个创新的 zkEVM 项目

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

作为 zkEVM，Kakarot 能够生成可证明的交易和区块。由于构建在 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 核心团队诞生于里斯本的一次黑客马拉松，约十人一周内构建了一个 zkEVM。目前，在 Starknet 基金会和 Onlydust 的支持下，Kakarot 拥有 40 多名独特贡献者。

核心成员包括：

• Elias Tazartes：联合创始人兼 CEO，专注于区块链工程和全栈开发。
• Clément Walter：联合创始人兼首席技术官，兼具科学家、工程师和企业家背景。

融资情况

Kakarot 已完成预种子轮融资，具体金额未公开。投资方包括 Starkware 和 LambDa。天使投资人包括以太坊创始人 Vitalik Buterin、Ledger 联合创始人 Nicolas Bacca 和 ZAMA 联合创始人兼 CEO Rand Hindi。

项目前景

Kakarot 作为 Starknet 上的 EVM 实现，有潜力成为连接 Starknet 和以太坊生态的重要桥梁。它降低了开发者进入门槛，同时保持了以太坊的安全性和较低的成本。

然而，Kakarot 的发展与 Starknet 生态息息相关。如果 Starknet 发展顺利，Kakarot 将从中受益；反之亦然。获得 Vitalik Buterin 和 StarkWare 的支持是 Kakarot 的一大优势。

相比其他 zkEVM 项目，Kakarot 团队规模较小，预算和品牌知名度较低，这也是它目前未部署为通用 zkEVM L2 的原因之一。

Kakarot 项目仍处于早期阶段，测试网即将发布。随着项目的进展，它有潜力在 zkEVM 和跨链互操作性领域发挥重要作用。