Kakarot zkEVM：基于Cairo的以太坊虚拟机

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

   作为Starknet L2中的内置EVM，开发者可以直接部署Solidity（或任何EVM兼容语言）智能合约，并使用熟悉的工具。用户体验将与在Polygon、Scroll或以太坊L1上相同。

2. Kakarot x Madara：L3 zkEVMs

   整合Kakarot和Madara，实现L3 zkEVMs，甚至更高层级。团队可以部署zkEVM应用链，利用有效性证明在Starknet上结算交易。这种方式可以解耦安全性和去中心化，同时降低成本并提高性能。

3. Kakarot x Madara：type 1 zkEVM

   通过在Madara x Kakarot全节点中用Cairo编写以太坊共识规则，并从Pedersen MPT切换到Keccak MPT，Kakarot有望成为type 1 zkEVM客户端，能够证明L1区块。

团队背景

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的发展与Starknet生态紧密相连。如果Starknet发展不顺，Kakarot也将受到影响。相比其他zkEVM项目，Kakarot团队规模较小，预算和品牌知名度也较低，这也是其目前没有部署为通用zkEVM L2的原因之一。

尽管如此，Kakarot获得了Vitalik Buterin和StarkWare的支持，这在资金和精神上都是重要的加持。项目仍处于早期阶段，测试网即将发布，值得持续关注其发展。