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

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

作为zkEVM，Kakarot能生成可证明的交易和区块。由于建立在CairoVM之上，Kakarot上执行的每笔交易都是可证明的。这使得开发者可以在其上部署EVM应用，终端用户则可使用常用工具链与应用交互。

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

发展路线

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

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

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

   作为Starknet L2内置的EVM，开发者可直接部署Solidity智能合约，使用熟悉工具如Foundry、Hardhat等。用户体验将与Polygon、以太坊L1等相同。

2. Kakarot x Madara：L3 zkEVMs

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

3. Kakarot x Madara：type 1 zkEVM

   如果能用Cairo编写以太坊共识规则，并从Pedersen Merkle Patricia Trie切换到Keccak MPT，Kakarot将成为能证明L1区块的type 1 zkEVM客户端。这取决于以太坊路线图，尤其是Verge阶段的发展。

团队概况

Kakarot核心团队诞生于里斯本的一次黑客马拉松。目前有40多位贡献者参与项目开发。

主要成员包括：

• Elias Tazartes：联合创始人兼CEO，专注区块链工程和全栈开发。
• Clément Walter：联合创始人兼CTO，拥有科学家、工程师和企业家背景。

融资情况

Kakarot完成了pre-seed轮融资，具体金额未公布。投资方包括Starkware、LambDa等。天使投资人有Vitalik Buterin、Ledger联合创始人Nicolas Bacca和ZAMA联合创始人Rand Hindi。

项目评估

Kakarot作为Starknet上的EVM实现，可有效连接Starknet和以太坊生态，降低开发门槛。未来阶段将实现更多可组合性，如与Celestia或EigenDA等模块化组合。

项目与Starknet生态紧密相连，相互促进。得到V神和StarkWare支持是一大优势。但相比其他zkEVM项目，Kakarot团队规模小，预算和知名度较低，这也是其目前未部署为通用zkEVM L2的原因之一。

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