Kakarot zkEVM: 为Starknet生态带来EVM兼容性

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。这一目标在短短6个月内就实现了。测试网预计于2023年夏末发布。

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

阶段一: Kakarot zkEVM on Starknet

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

阶段二: Kakarot x Madara - L3 zkEVMs

Kakarot和Madara将整合,启用L3 zkEVMs及更高层级。团队可以部署zkEVM应用链,利用有效性证明在Starknet上结算交易。这种方式能够解耦安全性和去中心化,同时大幅降低gas成本、提高TPS。

阶段三: Kakarot x Madara - Type 1 zkEVM

如果能够用Cairo编写以太坊共识规则并从Pedersen MPT切换到Keccak MPT,Kakarot将成为能够证明L1区块的Type 1 zkEVM客户端。这取决于以太坊路线图,特别是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。

总结与展望

作为Starknet上的EVM实现,Kakarot在连接Starknet和以太坊生态方面具有独特优势。它降低了开发门槛,让以太坊生态项目更容易在Starknet上构建,同时保持安全性并降低成本。

未来Kakarot将提供更多可组合性,可与Celestia等模块化组件结合。其发展与Starknet生态紧密相连,相互促进。获得Vitalik和StarkWare支持也是一大优势。

然而相比其他zkEVM项目,Kakarot团队规模和资源相对有限。目前项目仍处于早期阶段,测试网即将发布,值得持续关注其发展。