撰文:Yinan
简介
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 月开始,有几个目标:从第一天开始开源,最雄心勃勃的是,用不到 10,000 行代码创建一个 zkEVM。在短短六个月内就实现了这一目标。并且将在 2023 年夏末发布测试网。
Kakarot zkEVM的路线图分为三个阶段:
-
阶段一: Kakarot zkEVM on Starknet — 将EVM带到Starknet
Kakarot zkEVM将首先作为一个内建的EVM存在于Starknet的L2中,使开发者能够在Starknet上直接部署他们的Solidity(或任何EVM兼容语言)智能合约,并使用他们熟悉的工具(如Foundry, Hardhat, Wagmi等)。他们的终端用户将能够使用他们熟悉的工具链(如Metamask, Wallet connect等)与他们的dApps进行交互。总的来说,开发者和用户在Kakarot上的体验将与Polygon、Scroll或以太坊L1的体验完全相同
-
阶段二: Kakarot x Madara — L3 zkEVMs
Kakarot和Madara将被整合成一个统一的堆栈,以便启用L3 zkEVMs,并在有意义的情况下启用L4,L5等。团队将能够部署他们的zkEVM应用链,并利用有效性证明在Starknet上结算交易。计算在链下或在更高层进行,链上验证。这些依赖有效性证明的L3(如Kakarot)具有一个有趣且被低估的属性:能够解耦安全性和去中心化。用户可以在不需要相同级别的去中心化(即数千个验证器)的情况下,从以太坊L1的安全性中受益。然而,对于rollups来说,去中心化是有益的,因为它带来了活性和抗审查性,这两个非常重要的属性。这可以通过将顺序器设定在数百而不是数千来实现。由于在另一层进行计算,L2的气体成本比L2低很多,而性能(TPS)则更高。请注意,L2已经比L1便宜得多。rollups的可扩展性堆叠并乘以。为了进一步降低气体成本,可以将证明验证和数据可用性(DA)分开。Starknet L2可以仅作为一个证明验证层,而新的数据可用性解决方案,如Celestia或EigenDA,可以用于发布交易数据。用户将有选择加入任一选项,具体取决于他们的安全需求。在Starknet上发布证明和交易数据是更安全的选项,而使用DA解决方案发布交易数据则是更经济的选择
-
阶段三: Kakarot x Madara — type 1 zkEVM
Kakarot和Madara也可以结合起来实现type 1 zkEVM。如果能够:
- 在Madara x Kakarot全节点中用Cairo编写以太坊共识规则,从而使L1共识得以证明。
- 从Pedersen Merkle Patricia Trie (MPT)切换到Keccak MPT。
那么,Kakarot就会成为一个type 1 zkEVM客户端,能够证明L1区块。这是一个更高级的用例,取决于以太坊的路线图,尤其是Verge。在Verge之后,keccak可能会被poseidon替代,作为以太坊的首选哈希函数。这将帮助zkEVM团队成为type 1,因为zkEVM的主要兼容性阻碍是存储布局,即以可证明且合理的成本实现Keccak MPT。
团队:
在里斯本的一个黑客之家,一周的专注工作,大约十个人构建了一个 zkEVM,至此,Kakarot核心团队诞生。
在 Starknet 基金会和 Onlydust 的帮助下,如今,Kakarot 拥有 40 多个独特的贡献者。
Elias Tazartes:Kakarot的co-founder及ceo,专门从事区块链工程(Dapp、Ethereum、Algorand)和全栈开发(Svelte/React、NodeJS、Rust、Python)的自由开发人员。
Clément Walter:科学家、工程师、企业家、杂工,对一切都充满好奇,这是Clément 对自己的简介。同时他是Kakarot的co-founder及首席技术官
融资:
目前Kakarot进行了pre-seed round融资,具体融资金额尚未公布,参与投资的团队及人员有:Starkware、LambDa。天使投资人包括 Vitalik 、Ledger的联合创始人 Nicolas Bacca 和 ZAMA 的联合创始人兼首席执行官 Rand Hindi。
总结:
目前来看,不兼容EVM的公链生态发展都处于缓慢阶段,公链生态目前多数都是围绕以太坊生态圈展开,Kakarot作为在Starknet上用Cairo编写的以太坊虚拟机(EVM),能够很好的链接Starknet生态以及以太坊生态,在不兼容EVM的Starknet上使得以太坊生态能够很好的在Starknet上构建,并且降低开发人员开发的准入门槛,接入以太坊安全性同时降低成本。到Kakarot的第二第三阶段,能够实现更多的可组合性,模块化组合例如Celestia或EigenDA等模块。
作为Starknet上编写的ZK-EVM,和Starknet生态的联系就像唇齿关系,一荣俱荣,目前Starknet也在不停的迭代升级中,提高用户的使用体验,而依托Kakarot构建的ZK-EVM,能很好的为项目生态繁荣作出贡献,相反,要是Starknet发展的并不如意,而Kakarot也会反受影响。
Kakarot还有一点优势还在于得到了V神还有StarkWare的支持,不仅在精神上并且在资金上同样进行加持。
而以其它的ZK-EVM相比,Kakarot 又处于劣势—- 一个不到 10 人的团队,预算和品牌要小得多。这也是Kakarot没部署为通用 zkEVM L2 的一个原因。
目前Kakarot还处于早期,测试网将于近期发布,请保持关注。