作者:念青，链捕手，
图片来源:工具生成。
从去年下半年开始，zk-Rollup扩展项目开始集中力量，不断追赶进度，相关的方案和项目开始涌现，也获得了更多的资金和关注。当大家都在夸zk前途光明的时候，作为竞争对手的最优性Rollup也坐不住了，于是ZKR (zk-Rollup)和or(最优性Rollup)在2023年第一次正面交锋。
两天前，Arbitrum开发团队Offchain Labs的联合创始人Steven Goldfeder再次给ZK Rollup和zkEVM泼冷水。
史蒂文·戈德费德(Steven Goldfeder)表示，他不同意大家一直说的“ZK汇总可以更好地取代最优汇总”。目前zkEVM还远未在生产环境中实现，现阶段ZK Rollup比op-Rollup更贵，兼容性更差。
此外，戈德费德提到“EVM等价是下限，不是上限”。在这种观点下，Arbitrum作为第一个在生产环境中完全实现EVM等价的Rollup，更具有长期优势。在这一步的基础上，Arbitrum开始开发更高级别的EVM+，旨在向更广泛的开发者和用户开放(如支持Rust或Move)。Nitro基于WA的设计在EVM+创新上有很大的结构优势，而zk团队短时间内“几乎不可能”实现EVM+。
最后，Goldfeder大胆预测，在任何功能齐全的zkEVM问世之前，Arbitrum就已经支持了Solidity和Rust契约！
Steven Goldfeder对zk-Rollup项目略显傲慢、不分青红皂白的言论，引发了一场“精彩的讨论(战争)”。
来自PolygonzkEVM和前零知识证明开发公司Mir的工程师Brendan对Goldfeder的观点做了分析:Goldfeder并没有完全理解Polygon zkEVM的架构。首先，从时间上来说，Polygon已经发布了量产就绪的zkEVM测试网络，生成了8万多块证书，大概3个月就可以上线。从成本上来说，Polygon zkEVM的证明成本并没有那么高。例如，Uniswap交易的成本为0.0019美元，未来这一成本将降至目前的1/100。此外，将昂贵的计算卸载到ZKP优于强制每个完整节点重新执行的模型。
此外，Brendan认为更大的问题应该是在引入新的操作码后是否能确保与EVM的兼容性。而且他还做了一个“有针对性”的预测:在支持EVM的最优Rollup出现未经许可的造假证书之前，会有一个功能齐全的zkEVM投产。
Scroll的联合创始人张烨表示，戈德费德低估了zkEVM，应该好好看看Scroll八个月前的博客。Scroll的zkEVM是以非常模块化的方式构建的。而且过于激进的增加功能会增加安全隐患，从现实需求来看，并不认为有必要增加新功能。
除此之外，他还抛出了几个需要进一步探讨的问题:有多少人真正关心用坚固性写铁锈契约？您需要多少额外的工具支持？你支持可组合性吗？安全性假设是什么？
zkSync的联合创始人Alex G .分享了Goldfeder的观点，他也赞同EVM+>；EVM、比较和Rust/Move代码之间的同步互操作性比简单的坚固性强得多。但这种开发不仅可以通过优化的Rollup来完成，还可以通过LLVM编译Solidity，并添加Rust和Move。与此相比，zk-Rollup轻松胜出。
由于凯罗夫姆独特的气质，斯塔克瓦尔没有参加这场辩论。
事实上，随着zk-Rollup的兴起，ZKR和OR的对抗和争论一直在持续。
去年7月Polygon兴高采烈地公布开源zkEVM代码的时候，Goldfeder泼了一盆zkEVM远未正常运行的冷水。但Goldfeder指出，zkEVM现阶段还存在一些中心化问题，在证明者上不开源也是事实。
更热闹的是去年波哥大敌无双期间。
随着zkSync2.0的推出，zkSync开始宣传自己是“全球首个全功能开源的ZKSEVM网络”，Polygon zkEVM在敌无双期间正式上线时也宣称自己是“首个也是唯一一个去中心化的ZKSEVM测试网络”。
然而，在争论“第一zkEVM”的同时，两人也引发了诸多质疑，其中史蒂文·戈德费德功不可没。他认为zkSync的zkEVM测试网络没有启用ZK-proof，也没有经过安全部门的审核。而Polygon则被质疑在Github上有zkEVM Prover的源代码，但是没有开源许可。虽然是“完全等价”的意思，但其Github代码库显示，暂时只衡量百分之九十七的兼容性覆盖率。对此，Polygon团队回应称“没有刻意隐瞒，部分内容正在写入更好的文档中”。
史蒂文·戈德费德有一句相对中肯的话:“虽然目前很多团队都在稳步推进zkEVM，但离‘黄金时代’还很远，任何推进这种叙事的团队都是在损害社区。”
ZKR和OPR的纠纷可以追溯到2021年底。Offchain Labs发表了一篇名为的文章，比较了ZK汇总和最佳汇总。从那以后，Offchain实验室一直在强调Optimal Rollup系统在可扩展性和成本方面的优势，它完全兼容EVM和现有的工具。
然后Polygon(上面提到的那个)的零知识证明工程师Brendan Farmer发表了回应，zk可以提供和Optimal Rollup一样的安全性和更高的资金效率。而且，还是受到L1的限制，因为欺诈证明必须能够在以太坊执行，而ZK没有这样的限制。
你会发现这一年两派都在辩论，讨论的东西本质上没有变化。但这些讨论是有意义的，如果我们能把话题延伸得更远。
尽管Optimal Rollup拥有先发优势，目前仍垄断80%以上的市场份额，但包括Vitalik在内的意见领袖普遍更看好ZKR的长期前景。从去年下半年开始，大量资本和开发者涌入zk领域，相关项目不断涌现，zk-Rollup的开发进度逐渐加快。OR系目前确实有嚣张的资本，但是面对竞争对手日益强大的实力，稳坐宝座的Arbitrum会有些焦躁不安，所以经常说diss也是情理之中，对zk-Rollup也是一个很好的督促。
总的来说，L2这个朝阳赛道在熊市中受到的影响比其他领域要小一些。2023年初，这种对抗很热闹，也相当红火。但比起抢占舆论阵地，我们更期待OR和ZKR在真*实弹层面的决战。
温馨提示：注：内容来源均采集于互联网，不要轻信任何，后果自负，本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权，请给我们来信(j7hr0a@163.com)，我们会及时处理和回复。
原文地址"2023 年 ZKR 和 OR 的首次论战：EVM 等效是下限，而不是上限？"：http://www.guoyinggangguan.com/qkl/178895.html。
微信扫描二维码关注官方微信
▲长按图片识别二维码
