Kakarot: 一个引起关注的新型zkEVM项目

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

作为一种zkEVM,Kakarot的特点是能够生成可证明的交易和区块。由于构建在CairoVM之上,Kakarot上执行的每笔交易都是可证明的。总的来说,Kakarot zkEVM利用Cairo语言和ZK-STARK证明系统提供了可证明计算能力。它使开发者能够部署EVM应用,并让用户使用熟悉的工具与这些应用交互。

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

发展路线

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

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

1. 在Starknet上实现EVM功能

   首先将Kakarot zkEVM作为Starknet L2内的EVM实现,让开发者能直接在Starknet上部署Solidity智能合约,并使用熟悉的开发工具。用户体验将与在Polygon、Scroll或以太坊L1上相同。

2. 与Madara整合实现L3 zkEVM

   Kakarot和Madara将整合成统一堆栈,启用L3 zkEVM及更高层级。团队可以部署自己的zkEVM应用链,利用有效性证明在Starknet上结算交易。这种L3结构可以降低gas成本,提高性能,同时保持安全性。

3. 实现type 1 zkEVM

   如果能用Cairo编写以太坊共识规则,并从Pedersen MPT切换到Keccak MPT,Kakarot就可以成为type 1 zkEVM客户端,能够证明L1区块。这取决于以太坊的发展路线,特别是Verge阶段的进展。

团队背景

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上构建应用。

与Starknet生态紧密相连是Kakarot的优势,但也意味着其发展受Starknet影响较大。获得Vitalik和StarkWare的支持,在精神和资金上都是重要加持。

相比其他zkEVM项目,Kakarot团队规模较小,预算和知名度也较低,这是其面临的挑战。目前Kakarot还处于早期阶段,测试网即将发布,值得持续关注其发展。