Kakarot: 连接Starknet和以太坊生态的创新型zkEVM

项目简介

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。该目标在六个月内就实现了,预计2023年夏末发布测试网。

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

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

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

3. 与Madara结合实现type 1 zkEVM。这需要用Cairo编写以太坊共识规则,并从Pedersen MPT切换到Keccak MPT。这一高级用例取决于以太坊的未来发展。

团队介绍

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

核心成员包括:

• Elias Tazartes:联合创始人兼CEO,专注区块链工程和全栈开发
• Clément Walter:联合创始人兼CTO,科学家和工程师

融资情况

Kakarot已完成pre-seed轮融资,具体金额未公布。投资方包括Starkware、LambDa,以及天使投资人Vitalik Buterin、Ledger联合创始人Nicolas Bacca和ZAMA联合创始人Rand Hindi。

项目评估

Kakarot作为Starknet上的EVM实现,能有效连接Starknet和以太坊生态,降低开发门槛,同时保持以太坊的安全性并降低成本。未来还将实现更多可组合性,如与Celestia或EigenDA等模块化组合。

Kakarot的发展与Starknet生态紧密相连。它得到了Vitalik Buterin和StarkWare的支持,这是一大优势。但与其他zkEVM相比,Kakarot团队规模较小,预算和知名度有限,这也是目前未部署为通用zkEVM L2的原因之一。

Kakarot项目仍处于早期阶段,测试网即将发布。尽管面临挑战,但其创新性和生态定位仍值得关注。