Kakarot：创新的基于Cairo的zkEVM解决方案

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

作为zkEVM的一种,Kakarot能够生成可验证的交易和区块。由于构建在CairoVM之上,Kakarot上执行的每笔交易都是可验证的。Kakarot zkEVM允许开发者部署EVM应用,同时用户可以使用常用工具与这些应用交互。此外,Kakarot还将提供与Starknet协议的互操作性,为DeFi和GameFi等领域的协议提供组合性。

发展路线

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

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

1. Kakarot zkEVM on Starknet:将EVM引入Starknet

   作为Starknet L2内置的EVM,开发者可直接在Starknet上部署Solidity(或其他EVM兼容语言)智能合约,并使用熟悉的工具如Foundry、Hardhat等。用户体验将与Polygon、Scroll或以太坊L1完全相同。

2. Kakarot x Madara:L3 zkEVMs

   Kakarot和Madara将整合,支持L3 zkEVMs及更高层级。团队可部署zkEVM应用链,利用有效性证明在Starknet上结算交易。这种L3架构可分离安全性和去中心化,用户享受以太坊L1安全性的同时降低gas成本。

3. 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。

项目前景

Kakarot作为Starknet上的EVM实现,可以很好地连接Starknet和以太坊生态,降低开发门槛。未来还将实现更多可组合性,如与Celestia等模块化组合。

作为Starknet生态重要组成,Kakarot的发展与Starknet息息相关。得到V神和StarkWare支持是其优势,但团队规模小、资源有限也是劣势。

与其他zkEVM相比,Kakarot选择聚焦Starknet生态而非部署独立L2。项目仍处早期阶段,测试网即将发布,值得持续关注其发展。