Kakarot zkEVM：用Cairo编写的以太坊虚拟机

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

zkEVM的特点是能生成可证明的交易和区块。Kakarot构建在CairoVM之上，因此其上执行的每笔交易都是可证明的。总体而言，Kakarot zkEVM利用ZK-STARK证明系统提供可证明的计算能力。它允许开发者部署EVM应用，并让用户使用熟悉的工具与这些应用交互。

此外，Kakarot还将提供与Starknet协议的互操作性，为DeFi和GameFi等领域的协议带来可组合性。

发展路线

该项目始于2022年10月，目标包括从一开始就开源，以及用不到10,000行代码创建zkEVM。这一目标在短短六个月内就实现了。测试网计划于2023年夏末发布。

Kakarot zkEVM的发展路线分为三个阶段:

1. Kakarot zkEVM on Starknet - 将EVM引入Starknet

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

2. Kakarot x Madara - L3 zkEVMs

   Kakarot和Madara将整合，实现L3 zkEVMs，必要时还可扩展至L4、L5等。团队可以部署zkEVM应用链，利用有效性证明在Starknet上结算交易。这种L3架构可以解耦安全性和去中心化，用户享受以太坊L1的安全性，同时降低成本、提高性能。

3. Kakarot x Madara - type 1 zkEVM

   通过在Madara x Kakarot全节点中用Cairo编写以太坊共识规则，并从Pedersen Merkle Patricia Trie (MPT)切换到Keccak MPT，Kakarot有望成为type 1 zkEVM客户端，能够证明L1区块。这一目标的实现取决于以太坊的发展路线，尤其是Verge阶段。

团队背景

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上的EVM实现，有望成为连接Starknet和以太坊生态的重要桥梁。它可以降低开发者门槛，让以太坊生态项目更容易在Starknet上构建，同时保持以太坊的安全性并降低成本。

Kakarot的发展与Starknet生态紧密相连。随着Starknet不断升级改进用户体验，Kakarot有望为生态繁荣做出贡献。然而，Kakarot的成功也在一定程度上依赖于Starknet的发展。

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

作为一个处于早期阶段的项目，Kakarot的发展值得持续关注。即将发布的测试网将是观察其技术实力和生态潜力的重要节点。