详解Kakarot：受Vitalik青睐并投资的zkEVM项目

以南说

23-06-12 21:00

阅读本文需 11 分钟

AI 总结

看总结

原文来源：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。

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

在短短六个月内就实现了这一目标。并且将在 2023 年夏末发布测试网。

团队：

在里斯本的一个黑客之家，一周的专注工作，大约十个人构建了一个 zkEVM，至此，Kakarot 核心团队诞生。

在 Starknet 基金会和 Onlydust 的帮助下，如今，Kakarot 拥有 40 多个独特的贡献者。

Elias Tazartes：Kakarot 的 co-founder 及 ceo，专门从事区块链工程（Dapp、Ethereum、Algorand）和全栈开发（Svelte/React、NodeJS、Rust、Python）的自由开发人员。

Clment Walter：科学家、工程师、企业家、杂工，对一切都充满好奇, 这是 Clment 对自己的简介。同时他是 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 的支持，不仅在精神上并且在资金上同样进行加持。