Kakarot：一个Vitalik Buterin觉得很酷并投资的Zk-EVM

撰文：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。如果能够：
1. 在Madara x Kakarot全节点中用Cairo编写以太坊共识规则，从而使L1共识得以证明。
2. 从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的支持，不仅在精神上并且在资金上同样进行加持。