Kakarot：创新的Zk-EVM项目

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

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

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

发展路线

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

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

1. 在Starknet上实现EVM功能,让开发者能直接在Starknet部署Solidity智能合约,用户可使用常用工具与dApps交互。

2. 与Madara整合,实现L3 zkEVMs。团队可部署zkEVM应用链,利用有效性证明在Starknet结算交易。这一阶段可实现安全性和去中心化的解耦,同时降低gas成本、提高TPS。

3. 结合Madara实现type 1 zkEVM。如果能用Cairo编写以太坊共识规则并切换到Keccak MPT,Kakarot将成为可证明L1区块的type 1 zkEVM客户端。

团队背景

Kakarot核心团队诞生于里斯本的一次黑客马拉松。目前拥有40多名贡献者,得到了Starknet基金会和Onlydust的支持。

核心成员包括:

• 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生态紧密相连,未来发展相互影响。

项目得到了Vitalik和StarkWare的支持,这是一大优势。但与其他zkEVM相比,Kakarot团队规模较小,资金和品牌知名度也较低,这是目前面临的挑战。

Kakarot仍处于早期阶段,测试网即将发布。随着项目的进展,它有望为Starknet和以太坊生态带来更多可能性。