Kakarot: 一个创新的Zk-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。在短短半年内就实现了这一目标,并计划在2023年夏末发布测试网。

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

1. 在Starknet上实现EVM功能,允许开发者直接部署Solidity合约。

2. 与Madara整合,启用L3 zkEVMs,实现更高的可扩展性。

3. 结合Madara实现type 1 zkEVM,能够证明L1区块。

团队背景

Kakarot核心团队诞生于里斯本的一次黑客马拉松。目前在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和以太坊生态的重要桥梁。它可以降低开发门槛,让以太坊生态项目更容易在Starknet上构建。

然而,Kakarot的发展也高度依赖Starknet生态的繁荣。相比其他zkEVM项目,Kakarot团队规模较小,资金和知名度也有待提高。

总的来说,Kakarot是一个颇具潜力的创新项目,值得持续关注其未来发展。随着测试网即将发布,我们将能进一步了解该项目的实际表现。