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

   在这一阶段,Kakarot zkEVM将作为内置EVM存在于Starknet的L2中。开发者可以直接在Starknet上部署Solidity智能合约,并使用熟悉的工具如Foundry、Hardhat等。用户体验将与在Polygon或以太坊L1上相同。

2. Kakarot x Madara: L3 zkEVMs

   Kakarot将与Madara整合,实现L3 zkEVMs。团队可以部署自己的zkEVM应用链,利用有效性证明在Starknet上结算交易。这种L3解决方案可以在保持以太坊L1安全性的同时,降低去中心化要求,从而大幅降低gas成本并提高性能。

3. Kakarot x Madara: type 1 zkEVM

   通过在Madara x Kakarot全节点中用Cairo编写以太坊共识规则,并从Pedersen MPT切换到Keccak MPT,Kakarot有望成为一个type 1 zkEVM客户端,能够证明L1区块。这一高级用例的实现取决于以太坊的发展路线。

团队构成

Kakarot核心团队源于一次黑客马拉松活动,约10人在一周内构建了一个zkEVM原型。目前在Starknet基金会和Onlydust的支持下,已有超过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的门槛,同时为用户提供熟悉的以太坊体验。

项目优势包括:

1. 与Starknet生态紧密结合,互利共生
2. 获得V神和StarkWare等业内重要人物的支持
3. 模块化设计,可与其他Layer 2解决方案组合

面临的挑战:

1. 团队规模较小,资源有限
2. 项目仍处于早期阶段,需要时间验证
3. 依赖Starknet的发展,存在一定风险

总的来说,Kakarot代表了zkEVM技术的一个创新方向,有望为Starknet生态带来更多可能性。随着测试网即将推出,项目的实际表现值得关注。