加密菩提

1、项目信息

项目名：Kakarot

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

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

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

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

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

2、融资信息：

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

2022年10月26日Vitalik（V神）作为SPACE主讲人和STARK以及Kakarot举办了ZK-EVM AMA。

3、团队背景：

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

Clement Walter（CTO & Co-Founder）：首席技术官兼联合创始人，全栈工程师和科学家，计算机科学博士，Starksheet创始人，曾在IBM任职人工智能工程师，Sicara首席数据科学家、机器学习工程师；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种子轮投资者。

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 将接受主要的以太坊测试套件。

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。