Kakarot: 一个令人兴奋的ZK-EVM项目

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

作为zkEVM,Kakarot可以生成可证明的交易和区块。由于构建在CairoVM之上,Kakarot上执行的每笔交易都是可证明的。这使得开发者能够在Kakarot上部署EVM应用,同时允许用户使用熟悉的工具与这些应用交互。

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

发展路线

该项目始于2022年10月,目标是开源并用不到10,000行代码创建zkEVM。这一目标在短短六个月内就实现了。测试网计划于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甚至更高层级。团队可以部署自己的zkEVM应用链,利用有效性证明在Starknet上结算交易。这种架构可以解耦安全性和去中心化,用户可以获得以太坊L1的安全性,同时享受更低的gas成本和更高的性能。

3. Kakarot x Madara:type 1 zkEVM

   如果能用Cairo编写以太坊共识规则并从Pedersen MPT切换到Keccak MPT,Kakarot将成为type 1 zkEVM客户端,能够证明L1区块。这取决于以太坊的未来发展,尤其是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上的EVM实现,可以很好地连接Starknet和以太坊生态,降低开发门槛。它的发展与Starknet息息相关,可为Starknet生态繁荣做出贡献。

Kakarot得到了Vitalik和StarkWare的支持,这是一大优势。但相比其他zkEVM项目,Kakarot团队规模较小,预算和品牌知名度也较低,这也是其没有部署为通用zkEVM L2的原因之一。

Kakarot目前处于早期阶段,测试网即将推出。作为Starknet生态的重要组成部分,Kakarot的发展值得关注。