Kakarot: 采用Cairo语言开发的创新zkEVM项目

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的发展路线分为三个阶段:

阶段一:在Starknet上构建EVM环境

Kakarot zkEVM将首先作为Starknet L2内置的EVM存在,让开发者能够直接在Starknet上部署Solidity(或其他EVM兼容语言)智能合约,并使用熟悉的开发工具。用户可以使用常用钱包与dApp交互,体验将与在Polygon、Scroll或以太坊L1上相似。

阶段二:与Madara整合,实现L3 zkEVM

Kakarot和Madara将整合成统一技术栈,以启用L3 zkEVM,必要时还可扩展至L4、L5等层级。团队可以部署自己的zkEVM应用链,利用有效性证明在Starknet上结算交易。这种L3结构可以分离安全性和去中心化,用户可以享受以太坊L1的安全性,同时降低对大量验证节点的需求。

这种架构可以显著降低gas成本并提高性能。为进一步优化,可以将证明验证和数据可用性(DA)分离。Starknet L2可作为证明验证层,而新的DA解决方案如Celestia或EigenDA可用于发布交易数据。

阶段三:实现type 1 zkEVM

通过在Madara x Kakarot全节点中用Cairo编写以太坊共识规则,并从Pedersen Merkle Patricia Trie(MPT)切换到Keccak MPT,Kakarot有望成为type 1 zkEVM客户端,能够验证L1区块。这一目标的实现取决于以太坊的发展路线,特别是Verge升级。Verge升级后,keccak可能被poseidon取代成为以太坊的首选哈希函数,这将有助于zkEVM团队实现type 1兼容性。

团队构成

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上构建,同时保持以太坊的安全性并降低成本。

Kakarot的发展与Starknet生态密切相关。随着Starknet不断升级改进用户体验,Kakarot构建的zkEVM也将为生态繁荣做出贡献。然而,Starknet的发展状况也将直接影响Kakarot的前景。

获得Vitalik Buterin和StarkWare的支持是Kakarot的一大优势,这不仅体现在精神上,也包括资金支持。

相比其他zkEVM项目,Kakarot面临着团队规模小、预算和知名度较低等挑战,这也是目前未部署为通用zkEVM L2的原因之一。

Kakarot项目仍处于早期阶段,测试网即将推出,值得持续关注其发展动向。