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
2. Kakarot x Madara: 实现 L3 zkEVMs
3. Kakarot x Madara: 实现 type 1 zkEVM

每个阶段都有其特定目标和技术挑战，旨在逐步提升 Kakarot 的功能和性能。

团队背景

Kakarot 核心团队诞生于里斯本的一次黑客马拉松活动。在 Starknet 基金会和 Onlydust 的支持下，Kakarot 现已拥有 40 多个独特的贡献者。

核心成员包括:

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

融资情况

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

项目展望

Kakarot 作为 Starknet 上的 zkEVM 实现，有望成为连接 Starknet 和以太坊生态的重要桥梁。它可以降低开发者的门槛，让以太坊生态项目更容易在 Starknet 上构建。

然而，Kakarot 的发展也与 Starknet 生态紧密相连。Starknet 的持续发展和用户体验改善将为 Kakarot 提供良好的成长环境。

Kakarot 得到了 Vitalik Buterin 和 StarkWare 的支持，这在精神和资金上都是重要的加持。但与其他 zkEVM 项目相比，Kakarot 团队规模较小，预算和品牌知名度也相对较低，这是其面临的挑战之一。

Kakarot 目前处于早期阶段，其测试网即将发布，值得持续关注其后续发展。