https://www.ethereum.cn/Ecosystem/eth-weekly-2022-4-27/

根据 1 月 7 日以太坊研究团队进行的第七次 Reddit AMA 中 Justin Drake 回答关于 zkEVM 的问题,可将 zkEVM 主要分为三类:

共识级别的 zkEVM 即完全等同于目前以太坊 L1 共识所使用的 EVM,在 L1 上部署共识层面的 zkEVM 将会把 EVM 变成一个 “无敌的 rollup”。也就是说,这类 zkEVM 生成 SNARKs 证明以验证以太坊 L1 状态根的有效性。路线图:"对所有东西生成 zk-SNARK 证明"

痛点:极具挑战性,因为目前的 Patricia-Merkle trie 非常的 SNARK 不友好

这类 zkEVM 旨在解译 EVM 字节码。这种 zkEVM 可能会产生与 EVM 不同的状态根。例如,EVM 的 SNARK-不友好 Patricia-Merkle trie 会被一个 SNARK-友好的替代方案取代。Scroll 和 Hermez 宣称将于 2022 年年底交付字节码层面的 zkEVM 的产品实现。

这种 zkEVM 旨在将某种 EVM-友好的语言 (如 Solidity 或 Yul) 转译成某种 SNARK-友好的 VM,这种 VM 与 EVM 完全不同。

Scroll 团队与以太坊基金会的 Applied ZKP 团队合作推出字节码层面的 zkEVM。Scroll 将是首个开放全新 zkRollup 证明市场的方案。他们做的事情有:

Scroll 的路线图: