来源：Kakarot

Kakarot zkEVM 是用 Cairo 编写的一种以太坊虚拟机（EVM）实现。Cairo 是一种与 CairoVM 相关的图灵完备语言。

Kakarot zkEVM 使团队能够构建和部署 EVM 应用。开发人员可以在 Kakarot 上部署任何 Solidity（或任何 EVM 兼容语言），就像在以太坊或 Polygon 上一样。然后，他们的终端用户可以使用他们常用的工具链 toolchain（小狐狸钱包、钱包连接等）与 DApp 进行交互。

Kakarot zkEVM 可以以不同的形式存在，首先，可以作为智能合约部署在 Starknet L2 之上，从而在 Starknet 上显示为（expose）EVM（以太坊 RPC、以太坊交易等）。

通过结合 Madara（Starknet 全节点）和 Kakarot（EVM 运行时），可以创建一个 L3 zkEVM。堆栈如下：一个 Substrate 全节点，使用 CairoVM 作为其执行引擎，以及 Kakarot 作为智能合约的运行时（runtime）。

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

Kakarot 将首先作为载入的 EVM 存在于 Starknet L2 中，这将使开发人员能够使用他们熟悉的工具箱（Foundry、Hardhat、Wagmi 等）直接在 Starknet 上部署他们的 Solidity（或任何 EVM 兼容语言）智能合约。

Kakarot 上的开发人员和用户体验将与 Polygon、Scroll 或以太坊 L1 完全相同。

第 2 阶段：Kakarot x Madara——L3 zkEVM

Kakarot 和 Madara 将合并到一个统一的堆栈中，以支持 L3 zkEVM，以及 L4、L5 等。团队将能够部署他们的 zkEVM 应用链，并利用有效性证明在 Starknet 上结算交易。

可证明性可实现以下功能：链下计算，或 Layer 上计算、链上验证。

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

用户可以选择加入任一选项，具体取决于其安全要求。在 Starknet 上发布证明和交易数据是更安全的选择，而使用 DA 解决方案发布交易数据是更具成本效益的选择。

第 3 阶段：Kakarot x Madara——type 1 zkEVM

Kakarot 和 Madara 也可以组合在一起，启用 type 1 zkEVM。

然后，Kakarot 将成为 type 1 zkEVM，能够证明 L1 区块。这是一个更高级的用例，取决于以太坊的路线图（最值得注意的是 Verge）。在 Verge 之后，keccak 可能会被 poseidon 取代，成为以太坊选择的哈希函数。这将有助于 zkEVM 团队成为 type 1，因为 zkEVM 的主要兼容性障碍是存储布局，即，以可证明且合理便宜的方式实施 Keccak MPT。

三、其他研究主题

• Madara 使 Kakarot 链能够利用Substrate 消息传递协议进行跨 Rollup 通信。
• Substrate 的模块化使 Kakarot 链能够使用其共识协议进行创新。
• Substrate 的无分叉 runtime 升级使 Kakarot 链能够在没有硬分叉的情况下升级其 EVM 版本。

(责任编辑：商业观察)

• ·小赢卡贷失败后，一般要等多久可以再借？
• ·10月31日中欧瑾和灵活配置混合A净值增长3.40%，近6个月累计上涨33.97%
• ·AI 世界有两个「有效利他主义 Sam」，一个在行业享受聚光灯、一个在监狱卖飞独角兽
• ·10月31日中欧产业前瞻混合A净值增长2.13%，近6个月累计上涨23.23%
• ·btm需要多少才能交易
• ·10月31日银华多元回报一年持有期混合净值下跌0.10%，近1个月累计下跌3.13%
• ·宜人贷3天了还在审核中是为什么，宜人贷的审核条件有什么？
• ·10月31日银华心质混合C净值下跌0.82%，今年来累计下跌3.38%
• ·小树时代利息高吗？想从小树时代上申请借款。
• ·10月31日摩根安全战略股票A净值下跌0.71%，近6个月累计下跌11.36%
• ·建行推出公积金信用贷
• ·10月31日财通稳进回报6个月持有混合C净值增长0.02%，近3个月累计上涨0.06%
• ·国企住房公积金比例-国企住房公积金比例是多少
• ·10月31日大摩万众创新混合A净值增长1.67%，近3个月累计上涨17.38%
• ·鼎及贷多少额度能提现？想要了解一下具体的情况。
• ·买比特币选哪个平台好