Kakarot介绍

Kakarot zkEVM是用Cairo编写的以太坊虚拟机(EVM)实现。Cairo是与Cairo vm相关的图灵完备语言。CairoVM通过利用多项式和ZK-STARK证明系统实现可证明的计算。zkEVM的特点在于，可生成可证明的交易，从而生成可证明的区块。Kakarot建立在CairoVM之上，在Kakarot上执行的每笔交易都是可证明的。

Kakarot zkEVM使团队能够构建和部署EVM应用程序。开发人员可以在Kakarot上部署任何Solidity(或任何EVM兼容语言)，就像他们在以太坊或Polygon上一样。随后，其终端用户可以使用常用的钱包(Metamask, Wallet connect等)与dapp进行交互。

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

分形扩展

Kakarot zkEVM可以以不同的形式存在。首先，它可以作为一个智能合约部署在Starknet L2之上，从而在Starknet上表示为EVM(以太坊RPC、以太坊交易等)。

换句话说，可以将Kakarot集成到stack中以部署L3 zkevm。这就是Madara排序器的用武之地。

通过结合Madara (Starknet全节点)和Kakarot (EVM运行时)，可以创建L3 zkEVM。堆栈如下：一个底层全节点，使用CairoVM作为其执行引擎，而Kakarot作为智能合约的执行期。Kakarot上的交易可以在结算层上进行证明和验证，从而实现EVM兼容的分形扩展。

路线图

阶段1：Starknet 上的 Kakarot zkEVM——将EVM带入Starknet

首先，Kakarot将作为一个EVM存在于Starknet L2中。这将使开发人员能够直接在Starknet上部署其Solidity(或任何与evm兼容的语言)智能合约，使用熟悉的工具箱(Foundry, Hardhat, Wagmi等)。

他们的终端用户将能够使用他们常用的产品(Metamask, Wallet connect等)与dapp进行交互。

TL;DR: Kakarot上的开发者和用户体验将与Polygon, Scroll或Ethereum L1完全相同。

阶段2：Kakarot x Madara - L3 zkevm

Kakarot和Madara将合并成一个统一的堆栈，以启用L3 zkevm，并在适当之时启用L4, L5等。团队将能够部署其zkEVM应用链，并利用有效性证明在Starknet上结算交易。

我问过自己很多次：为什么选择L3 ?为什么是可证明性？

可验证性支持以下功能：链下计算，或层上计算，链上验证。

利用有效性证明(如Kakarot)的L3有一个有趣但被低估的特性：将安全性和去中心化解耦的能力。用户能够从以太坊L1的安全性中受益，而不需要相同级别的去中心化，即数千个验证器。

注意，rollup的去中心化是可取的。它带来了活跃度和抗审查能力，这是两个非常重要(被低估了?)的特性。这可以通过设置数百个而不是数千个的排序器来实现。

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

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

用户可以根据他们的安全要求选择加入其中的任何一个选项。在Starknet上发布证明和交易数据是更安全的选择，而使用数据处理解决方案发布交易数据是更具成本效益的选择。

Madara x Kakarot — Madarot, or Kadara

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

其他研究方向

- Madara使Kakarot链能够利用底层消息传递协议进行跨rollup通信。

-Substrate的模块化使Kakarot链能够通过其共识协议进行创新。

- Substrate的无分叉runtime升级使Kakarot链能够在没有硬分叉的情况下升级其EVM版本。