Hi 游客

更多精彩,请登录!

比特池塘 Just discuss 正文
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版本。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

成为第一个吐槽的人

御风而行2017 初中生
  • 粉丝

    0

  • 关注

    0

  • 主题

    12