# V神领投的Kakarot EVM 是什么？一文带你揭开神秘面纱

By [加密菩提](https://paragraph.com/@jiamiputi) · 2023-07-04

---

**1、项目信息**

项目名：Kakarot

项目描述：基于 CairoVM 构建的模块化 zkEVM

Kakarot zkEVM 是一个基于 Cairo 语言实现的以太坊虚拟机（EVM），它利用 STARK 证明进行可证明的交易和区块，确保透明度和安全性。

![](https://storage.googleapis.com/papyrus_images/b8ebb758f3b99e7fc54fcc66e9c62dc31051623f338740864635c68c1e905250.png)

CairoVM 通过利用多项式（polynomials）和 ZK-STARK 证明系统实现可证明计算。zkEVM 的特点是能够生成可证明的交易，从而产生可证明的区块。Kakarot 建立在 CairoVM 之上，在 Kakarot 上执行的每一笔交易都是可证明的。

目前，Kakarot zkEVM 作为部署在 Starknet 上的智能合约存在。通过公开以太坊 JSON-RPC 客户端，开发人员可以在 Kakarot 上部署任何 Solidity（或 EVM 代码），就像在以太坊或 Polygon 上一样。然后，他们的最终用户就可以使用常用的工具链（Metamask、钱包连接等）与 dApp 进行交互。

最终，Kakarot 将提供与原生 Starknet 协议的互操作性以及协议之间的可组合性，例如，将 DeFi 中的 TVL 和 GameFi 中的用户群相结合。

![](https://storage.googleapis.com/papyrus_images/cb67e611ddc439e7b363f3c27563af8741d3bdbcd0e4aed1a83157a06d7d3c29.png)

**2、融资信息：**

基于 CairoVM 构建的模块化 zkEVM Kakarot 已完成 Pre-Seed 轮融资，具体融资金额未知，Vitalik Buterin、StarkWare、Node Guardians 联创兼 CEO Sam Benyakoub、LambdaClass、Zama CEO Rand Hindi、Starknet 联创 Fricoben、FuzzingLabs 等参投。

![](https://storage.googleapis.com/papyrus_images/48917600ac56d18e3fdc28ebe12b63a29b0bd372a0fe166f3db2b351646bd219.png)

2022年10月26日Vitalik（V神）作为SPACE主讲人和STARK以及Kakarot举办了ZK-EVM AMA。传送门：[https://twitter.com/StarkWareLtd/status/1585194802593038337?s=20](https://twitter.com/StarkWareLtd/status/1585194802593038337?s=20)

![](https://storage.googleapis.com/papyrus_images/6c1660d26c8753494bb06b74dc6ebe0ec1f52e9c71f0d719daf1202b68d573f9.png)

**3、团队背景：**

Elias Tazartes（CEO & Co-Founder）：首席执行官兼联合创始人，软件工程师、开发过Fullstack，曾就职法国巴黎银行 CIB；

Clement Walter（CTO & Co-Founder）：首席技术官兼联合创始人，全栈工程师和科学家，计算机科学博士，Starksheet创始人，曾在IBM任职人工智能工程师，Sicara首席数据科学家、机器学习工程师；[https://www.linkedin.com/in/clementwalter/details/experience/](https://www.linkedin.com/in/clementwalter/details/experience/)

Danilo Kim（Ecosystem & Co-Founder）：生态系统及联合创始人，其余资料不详；

Abdelhamid Bakhta（Tech Advisor）：技术顾问、以太坊核心开发者，全栈工程师，StarkNet Exploration Lead，EIP-1559 champion；

Mentor Reka（Financial Advisor）：财务顾问、AVNU联合创始人；

Gregory Edison（Core Dev）：核心开发人员，其余资料不详；

Johann Bestowrous（Core Dev）：核心开发人员，其余资料不详；

Miguel Casanovas（Early stage investor）：Kakarot zkEVM 种子轮投资者，ZKSync投资人，StarkWare投资人，LayerZero投资人，EigenLayer投资人， Scroll私人投资者，SUI种子轮投资者，。

![](https://storage.googleapis.com/papyrus_images/d98257341965d634f87f7fdf575ff7008bdda9ce965dd8582585994fb8708b80.png)

![](https://storage.googleapis.com/papyrus_images/2de73a5b66bf8eb524ea65f57aacdb6e73c8b2b0d1208e554487056c011aa008.png)

**4、项目亮点**

以太坊兼容（Ethereum Compatible）：Kakarot zkEVM 与以太坊完全兼容。在 Kakarot 上开发并与 Kakarot dApp 交互的感觉与在以太坊上相同。最终，Kakarot 将提供与原生 Starknet 协议的互操作性以及协议之间的可组合性；

可扩展（Scalable）：通过利用 Validity Rollups、STARK 和 Starkware 的 CairoVM 的可扩展性优势，Kakarot 通过批量可验证交易来扩展以太坊。Kakarot 的目标是成为主要的 zkEVM 应用链提供商；

安全的（Secure）：Kakarot 是 zkRollup 技术堆栈的一部分。它通过有效性证明继承了以太坊 L1 的安全性。为了确保 Kakarot 以太坊虚拟机 (EVM) 的完整性，Kakarot 将接受主要的以太坊测试套件。

![](https://storage.googleapis.com/papyrus_images/3e902363e339ab8b7f3def99c15d45c06f33fe3617ae05b3a46c8677d77abfd7.png)

**5、Kakarot常见问题（FAQ）**

Q：Kakarot什么时候上线主网（MAINT）？

A：Kakarot仍处于早期阶段！截至今天，Kakarot 拥有 85% EVM 操作码等效性、80% 测试覆盖率并且 ERC20 / ERC721 正常工作。

虽然承诺不足、交付过多比相反要好，但我们预计主网 Alpha 版本将在 2023 年第二季度/第三季度推进

Q：Kakarot 是 Starkware 项目吗？

A：Kakarot 是一个开源、社区驱动的项目。Starkware 并未领导该项目。他们不拥有它。尽管如此，Starkware 对 Kakarot（zkEVM 编写的 Cairo）表达了极大的热情和兴趣。Kakarot 是生态系统和社区的重要项目。

  

Q：Kakarot 相当于 Arbitrum 吗？

A：Kakarot 试图提供与标准 EVM（例如 Arbitrum 或 Polygon）相同的价值：能够编写 Solidity 智能合约、部署它们并与它们交互 - 且手续费较低。

此外，它尤其与 zkSync2.0 或 Polygon zkEVM 相比，因为它具有零知识特性。由于 Kakarot 是在开罗编写的，这是一种利用 STARK 的经过验证的通用编程语言。

目前，Kakarot 作为智能合约部署在 Starknet 上。zkEVM 的执行上下文是孤立的并嵌入 Starknet 中。由于 Starknet 是一个有效性汇总，Kakarot 继承了它的零知识特性。

**6、路线图规划**

**第 1 阶段：Starknet 上的 Kakarot zkEVM——将 EVM 带到 Starknet**

Kakarot 将首先作为载入的 EVM 存在于 Starknet L2 中，这将使开发人员能够使用他们熟悉的工具箱（Foundry、Hardhat、Wagmi 等）直接在 Starknet 上部署他们的 Solidity（或任何 EVM 兼容语言）智能合约。

然后，他们的最终用户将能够使用他们常用的工具链（Metamask、Wallet Connect 等）与他们的 DApp 进行交互。

Kakarot 上的开发人员和用户体验将与 Polygon、Scroll 或以太坊 L1 完全相同。

**第 2 阶段：Kakarot x Madara——L3 zkEVM**

Kakarot 和 Madara 将合并到一个统一的堆栈中，以支持 L3 zkEVM，以及 L4、L5 等。团队将能够部署他们的 zkEVM 应用链，并利用有效性证明在 Starknet 上结算交易。

_为什么是 L3？为什么是可证明性？_

可证明性可实现以下功能：链下计算，或 Layer 上计算、链上验证。

利用有效性证明的 L3（如 Kakarot）有一个有趣但被低估的属性：解耦安全性和去中心化的能力。用户能够从以太坊 L1 的安全性中受益，而无需相同级别的去中心化。

由于在另一层进行计算，Gas 成本比 L2 低得多，性能（TPS）也会更高。L2 已经比 L1 便宜得多。Rollup 的扩展性会堆叠和成倍增加。

为了进一步降低 Gas 成本，证明验证和数据可用性（DA）可以分开。Starknet L2 可以仅用作证明验证层，而新的数据可用性解决方案（如 Celestia 或 EigenDA）可用于发布交易数据。

用户可以选择加入任一选项，具体取决于其安全要求。在 Starknet 上发布证明和交易数据是更安全的选择，而使用 DA 解决方案发布交易数据是更具成本效益的选择。

**第 3 阶段：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。

**7、详细资料**

官网（Offical Website）：[https://www.kakarot.org/](https://www.kakarot.org/)

Twitter：[https://twitter.com/KakarotZkEvm/](https://twitter.com/KakarotZkEvm/)

Discord：[https://discord.gg/JN2NPtZm](https://discord.gg/JN2NPtZm)

Github：[https://github.com/kkrt-labs/kakarot](https://github.com/kkrt-labs/kakarot)

---

*Originally published on [加密菩提](https://paragraph.com/@jiamiputi/v-kakarot-evm)*