Kakarot：创新的Cairo编写zkEVM项目

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

作为zkEVM，Kakarot能够生成可证明的交易和区块。由于建立在CairoVM之上，Kakarot上执行的每笔交易都是可证明的。这使得开发者可以在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的功能，从在Starknet上部署EVM应用，到启用可扩展的L3解决方案，最终可能成为type 1 zkEVM客户端。

团队背景

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上的Cairo编写EVM实现，有望成为连接Starknet和以太坊生态的重要桥梁。它可以降低开发者进入门槛，使以太坊生态项目更容易在Starknet上构建。

随着项目发展到后期阶段，Kakarot将实现更多可组合性，并可能与Celestia或EigenDA等模块化组件集成。

Kakarot的发展与Starknet生态紧密相连。Starknet的持续升级将为Kakarot带来机遇，而Kakarot也将为Starknet生态繁荣做出贡献。

获得Vitalik Buterin和StarkWare的支持是Kakarot的一大优势。然而，相比其他zkEVM项目，Kakarot团队规模较小，预算和品牌知名度也较低，这也是目前未部署为通用zkEVM L2的原因之一。

Kakarot仍处于早期阶段，测试网即将推出。随着项目的进展，它有潜力成为连接Starknet和以太坊生态系统的重要基础设施。