Kakarot: 基于Cairo的以太坊虚拟机

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

作为zkEVM的一种实现,Kakarot能够生成可证明的交易和区块。由于建立在CairoVM之上,Kakarot上执行的每笔交易都是可证明的。总体而言,Kakarot zkEVM利用Cairo语言和ZK-STARK证明系统提供可证明计算能力,使开发者能在其上部署EVM应用,并允许用户使用常用工具与这些应用交互。

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

发展路线

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

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

1. Kakarot zkEVM on Starknet:将EVM带到Starknet

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

2. Kakarot x Madara:L3 zkEVMs

   Kakarot和Madara将整合成统一堆栈,以启用L3 zkEVMs,必要时还可扩展到L4、L5等。团队可以部署zkEVM应用链,利用有效性证明在Starknet上结算交易。这种方式可以降低gas成本,提高性能,同时保持安全性。

3. Kakarot x Madara:type 1 zkEVM

   如果能实现以下两点,Kakarot将成为type 1 zkEVM客户端,能够证明L1区块:

   • 用Cairo编写以太坊共识规则
   • 从Pedersen MPT切换到Keccak MPT

   这是一个更高级的用例,取决于以太坊的发展路线,尤其是Verge升级。

团队

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上构建,同时保持安全性并降低成本。未来阶段将实现更多可组合性,如与Celestia或EigenDA等模块化组合。

Kakarot的发展与Starknet生态紧密相连。它得到了Vitalik Buterin和StarkWare的支持,这是一大优势。然而,相比其他zkEVM项目,Kakarot团队规模较小,预算和品牌知名度较低,这也是其目前未部署为通用zkEVM L2的原因之一。

Kakarot目前处于早期阶段,测试网即将发布。虽然面临挑战,但其独特定位和强大支持使其在zkEVM领域具有潜力。随着项目的发展,值得持续关注其进展。