Kakarot zkEVM：用Cairo语言实现以太坊虚拟机

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

作为zkEVM，Kakarot能够生成可证明的交易和区块。由于构建在CairoVM之上，Kakarot上执行的每笔交易都是可证明的。这使得开发者可以在Kakarot上部署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，使团队能够部署自己的zkEVM应用链。

3. Kakarot x Madara：实现type 1 zkEVM，能够证明以太坊L1区块。

团队背景

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和以太坊生态系统的重要桥梁。它可以降低开发者的入门门槛，同时保持以太坊的安全性和降低成本。

然而，Kakarot的发展也与Starknet的命运紧密相连。Starknet的持续发展对Kakarot至关重要。虽然得到了Vitalik和StarkWare的支持，但与其他zkEVM项目相比，Kakarot团队规模较小，预算和品牌知名度较低，这也是它目前未部署为通用zkEVM L2的原因之一。

Kakarot项目仍处于早期阶段，其测试网即将发布。随着项目的进展，它有潜力为Starknet生态系统带来重要价值，但其成功还取决于多个因素的共同作用。