Kakarot：用Cairo编写的Starknet上的EVM

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

Kakarot zkEVM的主要特点是能生成可证明的交易和区块。由于建立在CairoVM之上，Kakarot上执行的每笔交易都是可证明的。这使得开发者可以在Kakarot上部署EVM应用，并让用户使用熟悉的工具与这些应用交互。

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

发展路线

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

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

阶段一: 在Starknet上实现EVM功能

Kakarot zkEVM将首先作为Starknet L2中的内置EVM存在。这将使开发者能够在Starknet上直接部署Solidity（或其他EVM兼容语言）智能合约，并使用熟悉的工具进行开发。用户可以使用常用工具链与这些dApps交互。在Kakarot上的体验将与在Polygon、Scroll或以太坊L1上的体验相似。

阶段二: 实现L3 zkEVMs

Kakarot将与Madara整合，启用L3 zkEVMs，并在需要时支持L4、L5等更高层级。团队将能够部署zkEVM应用链，并利用有效性证明在Starknet上结算交易。这种架构可以在保持以太坊L1安全性的同时，降低去中心化成本。

通过将计算转移到更高层，可以大幅降低gas成本并提高性能。用户可以选择在Starknet上发布证明和交易数据以获得更高安全性，或使用其他数据可用性解决方案以降低成本。

阶段三: 实现type 1 zkEVM

通过进一步整合Kakarot和Madara，可以实现type 1 zkEVM。这需要用Cairo编写以太坊共识规则，并从Pedersen Merkle Patricia Trie切换到Keccak MPT。实现这一目标还取决于以太坊的发展路线，特别是Verge升级后可能采用的哈希函数变更。

团队构成

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上构建，同时保持高安全性和低成本。

Kakarot的发展与Starknet生态紧密相连。随着Starknet不断升级改进用户体验，Kakarot有望为Starknet生态繁荣做出重要贡献。然而，Kakarot的成功也在一定程度上依赖于Starknet的发展。

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

总的来说，Kakarot仍处于早期阶段，其测试网即将发布。该项目的未来发展值得持续关注。