# kakarot By [Untitled](https://paragraph.com/@0x0f303e7485d389e0df4d85477cc385f97bdb308a) · 2023-10-31 --- 简介 -- Kakarot zkEVM是用Cairo编写的以太坊虚拟机（EVM）的实现。Cairo是与CairoVM相关联的图灵完备语言。CairoVM利用多项式和ZK-STARK证明系统实现了可证明的计算。 zkEVM的特点是能生成可证明的交易，因此也可以生成可证明的区块。Kakarot建立在CairoVM之上，因此在Kakarot上执行的每一笔交易都是可证明的。 总的来说，Kakarot zkEVM使用Cairo语言编写，并利用ZK-STARK证明系统提供可证明的计算能力。它使得开发者可以在其上部署EVM应用，并使终端用户可以用他们常用的工具链与这些应用进行交互。 最后，Kakarot还将提供与Starknet协议的互操作性，为DeFi和GameFi等不同领域的协议提供了可组合性。 ![](https://storage.googleapis.com/papyrus_images/cbdba59cf095dafe5cc9b2498767ef71824caf148965d3d2d4485f241eebb2e4.png) 路线图 --- 该项目于 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）的自由开发人员。 \*\*Clément Walter：\*\*科学家、工程师、企业家、杂工，对一切都充满好奇,这是Clément 对自己的简介。同时他是Kakarot的co-founder及首席技术官 * ![](https://storage.googleapis.com/papyrus_images/1c7911f3b06afa61a22700d3abc6cadb8c5f3fe81ea335a3a24c8f978c7c2493.png) 融资： --- 目前**Kakarot**进行了pre-seed round融资，具体融资金额尚未公布，参与投资的团队及人员有：**Starkware、LambDa**天使投资人包括 **Vitalik** 、Ledger的联合创始人 **Nicolas Bacca** 和 ZAMA 的联合创始人兼首席执行官 **Rand Hindi**。 ![](https://storage.googleapis.com/papyrus_images/766f614e3ca0bc9ed500219b0958d562563583b820dd06b3bd40680ce3d588b1.png) 总结： --- 目前来看，不兼容EVM的公链生态发展都处于缓慢阶段，公链生态目前多数都是围绕以太坊生态圈展开，Kakarot作为在Starknet上用Cairo编写的以太坊虚拟机（EVM），能够很好的链接Starknet生态以及以太坊生态，在不兼容EVM的Starknet上使得以太坊生态能够很好的在Starknet上构建，并且降低开发人员开发的准入门槛，接入以太坊安全性同时降低成本。到Kakarot的第二第三阶段，能够实现更多的可组合性，模块化组合例如[Celestia](https://celestia.org/what-is-celestia/)或[EigenDA](https://www.eigenlayer.xyz/learn)等模块。 作为Starknet上编写的ZK-EVM，和Starknet生态的联系就像唇齿关系，一荣俱荣，目前Starknet也在不停的迭代升级中，提高用户的使用体验，而依托Kakarot构建的ZK-EVM，能很好的为项目生态繁荣作出贡献，相反，要是Starknet发展的并不如意，而Kakarot也会反受影响。 Kakarot还有一点优势还在于得到了V神还有StarkWare的支持，不仅在精神上并且在资金上同样进行加持。 ![](https://storage.googleapis.com/papyrus_images/2e5f0c1169b957db55f8c7724f7ccfee3fa4f7f3b08f4a342f794fcebfe8073b.png) 而以其它的ZK-EVM相比，Kakarot 又处于劣势—- 一个不到 10 人的团队，预算和品牌要小得多。这也是Kakarot没部署为通用 zkEVM L2 的一个原因。 目前Kakarot还处于早期，测试网将于近期发布，保持关注。 相关链接： ----- Website:[https://www.kakarot.org/](https://www.kakarot.org/) Telegram:[https://t.me/KakarotZkEvm](https://t.me/KakarotZkEvm) Twitter:[https://twitter.com/KakarotZkEvm](https://twitter.com/KakarotZkEvm) 其他相关教程请参考 [https://mirror.xyz/zziaweiwei.eth](https://mirror.xyz/zziaweiwei.eth) --- *Originally published on [Untitled](https://paragraph.com/@0x0f303e7485d389e0df4d85477cc385f97bdb308a/kakarot)*