Kakarot路线图：从将EVM带入Starknet，至成为type 1 zkEVM

Kakarot介绍

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

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

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

分形扩展

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

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

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

路线图

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

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

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

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

阶段2：KakarotxMadara-L3zkevm

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

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

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

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

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

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

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

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

MadaraxKakarot—Madarot,orKadara

阶段3：KakarotxMadara-type1zkEVM

Kakarot和Madara也可以组合使用type1zkevm。如果能够:

1.在MadaraxKakarot全节点内编写Cairo的以太坊共识规则，从而实现L1共识的证明。

2.从PedersenMerklePatriciaTrie(MPT)切换到KeccakMPT。

然后，Kakarot将成为type1zkEVM，能够证明L1区块。这是一个更高级的用例，依赖于以太坊的路线图，尤其是Verge。在Verge之后，keccak可能会被poseidon取代，成为以太坊的首选哈希函数。这将有助于zkEVM团队成为type1，因为zkEVM的主要兼容性障碍是存储布局，即以一种可证明且合理便宜的方式实现KeccakMPT。

其他研究方向

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

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

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