Kakarot路线图：从将EVM带入Starknet，至成为type 1 zkEVM
首先，Kakarot将作为一个EVM存在于Starknet L2中。
原文作者：EliasTazartes
原文标题：Kakarot’sRoadmap:FromEnshrinedEVMonL2andL3stoProvingL1
原文来源：medium
编译：Yvonne，MarsBit
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路线图：从将EVM带入Starknet，至成为type 1 zkEVM】的延伸阅读
Starknet的EVM兼容之路：Kakarot zkEVM
Kakarot是使用Cairo语言在Starknet上实现的zkEVM。
Coin Metrics：分析以太坊 Blob 与 EIP-4844 的影响
自3月13日起，多个Layer-2解决方案采用blob交易，超过950,000个blob已发布到以太坊，降低了操作成本。EIP-4844升级提高了L2的可伸缩性和降低交易成本，每天约有10,000个blob发布。blob被设计为18天后过期，防止永久存储膨胀。随着rollups使用blob发布大量数据，blob空间利用率将增加。blob费用根据需求动态调整，4月份因铭文blob激增而增加，但随后又降低。Blob的采用是EIP-4844降低数据存储开销和增强L2可伸缩性的积极信号。然而，跨资产、流动性和用户体验碎片化等挑战仍需解决。随着更多L2利用blob，拥塞可能会再次出现。
利用有效性证明(如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版本。
免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：MarsBit，如有侵权请联系删除。转载或引用请注明文章出处！
