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的发展路线分为三个阶段:

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

   作为Starknet L2内置的EVM，允许开发者直接部署Solidity智能合约，并使用熟悉的工具。用户体验将与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有望成为能够证明L1区块的type 1 zkEVM客户端。

团队背景

Kakarot核心团队诞生于里斯本的一次黑客马拉松，约10人一周内构建了一个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上用Cairo编写的EVM，有潜力成为连接Starknet和以太坊生态的重要桥梁。它可以降低开发门槛，让以太坊生态项目更容易在Starknet上构建，同时保持安全性并降低成本。

随着项目发展到后续阶段，Kakarot将实现更多可组合性，可与Celestia或EigenDA等模块化组件结合。其成功很大程度上依赖于Starknet生态的发展，两者相辅相成。

Kakarot得到了Vitalik Buterin和StarkWare的支持，这在精神和资金上都是重要加持。然而，相比其他zkEVM项目，Kakarot团队规模较小，预算和品牌知名度也较低，这也是其目前未部署为通用zkEVM L2的原因之一。

Kakarot项目仍处于早期阶段，测试网即将发布。尽管面临挑战，但其独特定位和强大支持使其值得关注。未来发展将取决于技术实现、生态建设以及与Starknet的协同效应。