Kakarot zkEVM：用Cairo打造的以太坊虚拟机

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

zkEVM的特点是能生成可证明的交易和区块。Kakarot构建在CairoVM之上，因此其上执行的每笔交易都是可证明的。

总体而言，Kakarot zkEVM利用Cairo语言和ZK-STARK证明系统提供可证明的计算能力。它允许开发者部署EVM应用，并让用户使用熟悉的工具与这些应用交互。

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

发展路线

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

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

• 阶段一: 在Starknet上实现Kakarot zkEVM

  Kakarot zkEVM将首先作为Starknet L2内置的EVM存在，让开发者能直接在Starknet上部署Solidity（或其他EVM兼容语言）智能合约，并使用熟悉的工具。用户可以使用常用工具与dApps交互。总体而言，Kakarot上的开发和使用体验将与Polygon、Scroll或以太坊L1完全一致。

• 阶段二: Kakarot与Madara结合 --- L3 zkEVMs

  Kakarot和Madara将整合成统一堆栈，启用L3 zkEVMs，并在必要时支持L4、L5等。团队可以部署zkEVM应用链，利用有效性证明在Starknet上结算交易。计算在链下或更高层进行，链上验证。这些L3具有一个有趣的特性：能够解耦安全性和去中心化。用户可以享受以太坊L1的安全性，而不需要相同级别的去中心化。然而，对rollups而言，去中心化仍然重要，因为它带来活性和抗审查性。这可以通过将排序器设置为数百个而非数千个来实现。由于计算在另一层进行，L3的gas成本比L2更低，性能更高。为进一步降低成本，可以将证明验证和数据可用性（DA）分开。用户可根据安全需求选择不同选项。

• 阶段三: Kakarot与Madara结合 --- type 1 zkEVM

  Kakarot和Madara还可以结合实现type 1 zkEVM。如果能够：

  1. 用Cairo在Madara x Kakarot全节点中编写以太坊共识规则，从而证明L1共识。
  2. 从Pedersen Merkle Patricia Trie (MPT)切换到Keccak MPT。

  那么Kakarot就能成为type 1 zkEVM客户端，可以证明L1区块。这是一个更高级的用例，取决于以太坊的发展路线，特别是Verge阶段。Verge之后，keccak可能被poseidon取代作为以太坊的首选哈希函数。这将有助于zkEVM团队实现type 1，因为zkEVM的主要兼容性障碍是存储布局，即以可证明且合理成本实现Keccak MPT。

团队背景

Kakarot核心团队诞生于里斯本的一次黑客马拉松，约10人在一周内构建了一个zkEVM。

在Starknet基金会和Onlydust的支持下，Kakarot现有40多名独立贡献者。

**Elias Tazartes：**Kakarot联合创始人兼CEO，专注于区块链工程和全栈开发。

**Clément Walter：**Kakarot联合创始人兼CTO，自称为科学家、工程师、企业家和多面手。

融资情况

Kakarot已完成种子轮前融资，具体金额未披露。投资方包括Starkware和LambDa。天使投资人有Vitalik Buterin、Ledger联合创始人Nicolas Bacca和ZAMA联合创始人兼CEO Rand Hindi。

项目展望

目前非EVM兼容公链生态发展较慢，多数公链生态围绕以太坊展开。Kakarot作为Starknet上用Cairo编写的EVM，能很好地连接Starknet和以太坊生态，让以太坊项目在Starknet上构建，降低开发门槛，并享受以太坊安全性和低成本。后续阶段还将实现更多可组合性，如与Celestia或EigenDA等模块化组合。

作为Starknet上的ZK-EVM，Kakarot与Starknet生态密切相关。Starknet持续迭代升级，提升用户体验，而Kakarot构建的ZK-EVM将为生态繁荣做出贡献。但如果Starknet发展不佳，Kakarot也会受到影响。

Kakarot得到了Vitalik Buterin和StarkWare的支持，在精神和资金上都获得了加持，这是一大优势。

然而与其他ZK-EVM相比，Kakarot也面临挑战：团队规模小，预算和品牌知名度较低。这也是Kakarot没有部署为通用zkEVM L2的原因之一。

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