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等不同领域的协议带来更高的可组合性。

发展路线

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 zkEVM作为内建EVM引入Starknet L2，允许开发者直接在Starknet上部署Solidity智能合约。

第二阶段将整合Kakarot和Madara，启用L3 zkEVMs，甚至可能实现L4、L5等更高层级。这将允许团队部署自己的zkEVM应用链，并利用有效性证明在Starknet上结算交易。

第三阶段目标是实现type 1 zkEVM，这需要用Cairo编写以太坊共识规则，并从Pedersen Merkle Patricia Trie切换到Keccak MPT。

团队构成

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将从中受益；反之亦然。

相比其他zkEVM项目，Kakarot的团队规模和资源相对有限，这也是它目前没有部署为通用zkEVM L2的原因之一。

尽管如此，Kakarot得到了Vitalik Buterin和StarkWare的支持，这无疑是一个积极信号。随着测试网即将推出，Kakarot的未来发展值得期待。项目的成功将取决于技术实现、生态建设以及与Starknet的协同发展。