Kakarot: 一个备受关注的创新型 zkEVM 项目

Kakarot zkEVM 是一个使用 Cairo 语言编写的以太坊虚拟机（EVM）实现。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：整合 Kakarot 和 Madara，实现 L3 zkEVMs，甚至更高层级的扩展。这将允许团队部署自己的 zkEVM 应用链，利用有效性证明在 Starknet 上结算交易。

3. Kakarot x Madara - Type 1 zkEVM：通过进一步整合 Kakarot 和 Madara，实现 Type 1 zkEVM。这需要在 Madara x Kakarot 全节点中用 Cairo 编写以太坊共识规则，并从 Pedersen Merkle Patricia Trie 切换到 Keccak MPT。

团队背景

Kakarot 核心团队诞生于里斯本的一次密集开发活动，约十人在一周内构建了一个 zkEVM 原型。目前，在 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 上的 zkEVM 实现，具有以下优势：

1. 链接 Starknet 和以太坊生态，降低开发门槛。
2. 结合以太坊安全性和低成本优势。
3. 获得 Vitalik Buterin 和 StarkWare 的支持。
4. 未来可实现更高级别的可组合性。

然而，Kakarot 也面临一些挑战：

1. 团队规模较小，资源有限。
2. 与其他成熟的 zkEVM 项目相比，品牌知名度较低。
3. 发展与 Starknet 生态密切相关，存在一定依赖性。

Kakarot 项目目前处于早期阶段，测试网即将发布。作为创新型 zkEVM 解决方案，Kakarot 有潜力在 Starknet 生态中发挥重要作用，但其最终成功还需要时间验证。