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

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

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

Kakarot zkEVM使开发者能够部署EVM应用，并允许用户使用常用工具与这些应用交互。此外，Kakarot还将提供与Starknet协议的互操作性，为不同领域的协议提供可组合性。

发展路线

该项目始于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基金会和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上构建。未来还计划实现更多可组合性，如与Celestia或EigenDA等模块化组合。

Kakarot的发展与Starknet生态紧密相连。它有望为Starknet生态繁荣做出贡献，但也依赖于Starknet的发展。获得Vitalik和StarkWare的支持是一大优势。

相比其他zkEVM项目，Kakarot团队规模较小，预算和品牌知名度较低，这也是其目前未部署为通用zkEVM L2的原因之一。

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