我还没有深入研究Hermez的zkevm解决方案，有趣的是，比较Scroll和PolygonHermez的zkevm是一个很好的视角，可以帮助大家更好地理解zkVM和zkEVM。基本上，Scroll的zkEVM解决方案通过「重新实现」整个EVM来实现EVM等价，EVM的所有操作都是在zkevm-circuits中定义的，这需要很多步骤(约束)来证明。Hermez的zkEVM解决方案是不同的，他们不是重新实现一个EVM，而是实现一个特定的zkVM，并将EVM操作对应到他们自己的zkVM。所以，证明EVM的操作等同于证明Hermez的zkVM中的对应操作，并且zkVM有非常大的自由度，它们可以避免EVM中的zk-unfriendly部分。用不同的方法来定义Hermez是zkEVM还是zkVM：-只要你能证明所有来自EVM的操作都是正确的，满意——Hermez是zkEVM；-必须重新实施完整的EVM，不满意——Hermez是zkVM因此，Scroll和PSE的zkEVM非常复杂(奇迹般地实现了zk-unfriendly部分)。我们的zkEVM有34469行代码，但是Hermez的zkEVM只有不到3000行代码，点击了解
最初权衡Scroll/PSE的zkEVM是很难实现的，但后期处理EVM更新很容易，Hermez的zkEVM最初很容易实现，但后续更新很困难，并且，PSE方案更适合Layer1，后续升级也容易，并且因为Scroll直接和PSE合作，后续升级Scroll的zkEVM也很容易。一个值得展望的未来是：我们将证明生成时间优化到12秒，这时候zkEVM可以直接用在Layer1的生产环境中，运行一个节点的限制也会降低。如果zkEVM可以直接用于Layer1，那么主网会有自己的prover，如果证明生成时间可以优化到12s，我认为会考虑一个有助于加速的prover网络。Scroll将来会有自己的Prover网络，其路线图如下：-Pre-alpha测试网升级-Alpha测试网-去中心化roller网络-启动主网所以如果Scroll的roller网络运行良好，将会对Layer1产生直接影响，以太坊主网很可能会学习Scroll的经验，尝试用roller-network的方式来加速自己的zkEVM。Rollup是layer1的一个创新的测试领域，不仅涉及新颖的应用程序，还涉及这些底层基础设施。目前有多个zkEVM实现由不同的rollup团队领导，从长远来看，这对rollup和Layer1都有好处，对于rollup，我们可以使用其他zkEVM实现来检查我们自己的zkEVM是否遗漏了约束条件或存在bug等。一个zkEVM生成证明，其他zkEVM验证其过程。
如果multi-zkEVM能够形成合作机制，Layer1没有理由不直接学习这种方式，当然，没有那么多layer2团队会实施共识层zkEVM。不管怎样，未来我们仍然会看到关于zkEVM的非常活跃的讨论，会有更多的设计、更多的创新、更多的bug，最后是layer1上的EVM->zkEVM的升级。我们还将看到layer1上学到的rollup创新，帮助以太坊本身变得更好。最后，Hermez有一个很棒的团队，在zkEVM和zkp领域有突出贡献，我认为不同的L2团队应该更多地沟通/协作，因为我们都在同一条战线上，我们都是以太坊的盟友，我们来这里是为了扩展以太坊，让区块链准备好迎接下一个阶段和下一个十亿用户。原地址
Filecoin 在 Immunefi 上推出高达 50 万美元的漏洞赏金计划:金色财经报道，Filecoin 现已在 Immunefi 上线高达 50 万美元的赏金计划，帮助识别 FVM 启动后代码库中可能存在的潜在风险和问题。[2023/4/17 14:07:13]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。