原文作者：念青，ChainCatcher
从去年下半年以来，zk-Rollup扩容项目开始集中发力，不断追赶进度，相关的方案和项目也开始涌现，也在获得更多的资金和关注度。当人人都夸赞zk拥有光明的未来时，作为竞争对手的OptimisticRollup有些坐不住了，于是，ZKR和OR迎来了2023年开年的第一次正面交锋。
前两天，Arbitrum开发团队OffchainLabs的联合创始人StevenGoldfeder再次发推给ZKRollup和zkEVM泼冷水。
StevenGoldfeder表示，并不赞同大家总说的“ZKRollup能更好地代替OptimisticRollup”，目前还远未在生产环境中实现zkEVM，而且现阶段zk-Rollup比op-Rollup更贵且兼容性更差。
Multichain跨链基础设施zkRouter计划于2月上旬发布测试网:1月24日消息，跨链互操作协议 Multichain 宣布，其推出的基于零知识证明的跨链基础设施 zkRouter 计划于 2 月上旬发布测试网，将允许以太坊与 Fantom 之间的跨链。
据悉，zkRouter 可用于支持跨链桥、可信链上预言机、智能合约互操作性、跨链交易、多链代币及 NFT 等。[2023/1/24 11:28:49]
此外，Goldfeder提到“EVM等效是下限，而不是上限”，在这种观点下，Arbitrum作为第一个在生产环境中完全实现EVM等效性的Rollup更具有长期优势。在这一步基础上，Arbitrum开始开发更高阶的EVM，旨在对更广泛的开发人员和用户开放。Nitro基于WASM的设计在EVM创新上存在巨大的结构优势，而zk团队在短期内“几乎不可能”实现EVM。
基于zkRollup的以太坊二层网络Taiko发布首个公共测试网:12月28日，据官方消息，基于 zkRollup 的以太坊二层网络 Taiko 发布测试网 Sn?fellsj?kull。目前该测试网支持开发者部署智能合约，并向普通用户开放交易测试和 L2 节点运行等功能。[2022/12/28 22:12:13]
最后，Goldfeder还大胆预测：在任一功能齐全的zkEVM出来之前，Arbitrum都已经支持Solidity、Rust合约了！
StevenGoldfeder这番稍显傲慢并且无差别向zk-Rollup系项目扫射的言论引来一场“精彩的讨论”。
PolygonzkEVM、前零知识证明开发公司Mir工程师Brendan对Goldfeder的观点进行了逐条回应：Goldfeder并不十分理解PolygonzkEVM的架构。首先是时间上，Polygon目前已经发布了一个生产就绪的zkEVM测试网并生成了超过80,000个区块证明，大约3个月后就可上线主网。而在成本上，PolygonzkEVM的证明成本并没有那么高。例如一次Uniswap交易成本为0.0019美元，未来这一成本还将降低至目前的1/100。况且将昂贵的计算卸载到ZKP优于强制每个完整节点重新执行的模型。
路印COO Jay：路印将AMM交易模式带到了zkRollup二层:据官方消息，币赢CoinW《共识52》第十一期《ETH2.0的扩容之路——Layer2能否突破DeFi的局限?》主题AMA中,路印COO Jay讲到:DeFI其实就在把现实金融世界里面的各种场景在区块链世界里面再造出来，比如?Compound 就对应传统银行借贷，MakerDAO 有点像央行铸币，各种?DEX 实现的是交易需求。一个很明显的趋势就是DeFI项目都在往二层迁移，就是因为以太坊主网实在太拥堵了，而路印协议绝对是二层解决方案中的派头兵，Loopring 是世界上首个基于?zkRollup 的DEX，也是世界上首个基于zkRollup 的AMM, 并且已在以太坊主网上平稳运行快1年左右的时间了。
路印再次创造了历史，将AMM这种交易模式带到了zkRollup二层。路印的新技术甚至可以把一个订单拆解到AMM和订单本做局部成交，用以寻找到最有的成交价。这将有可能改变交易所的竞争格局, 我们期待AMM和挂单交易的结合能给用户崭新的体验。[2020/12/3 23:01:03]
此外，Brendan认为更大的问题应该是在引入新的操作码后是否能确保与EVM的兼容性。而他也进行了“针对性”的预测：在支持EVM的OptimisticRollup具备无需许可的欺诈证明之前，一定会有功能齐全的zkEVM投入生产。
Loopring首席技术官：zkRollup拥有以太坊层级的安全性:金色财经报道，在今日OKEx矿池与以太坊中国社区主办的ETH 2.0 AMA中，Loopring首席技术官Steve Guo表示，zkRollup是一种用于以太坊的可扩展性方案，通常是被定义为Layer 2的解决方案。它能处理更多交易，更快速并且成本更低。它在链下批量执行所有计算，并且只向以太坊提交一个小的零知识证明（不能是伪造的证明）进行验证。由于以太坊会验证这些证明，并且存储足够的数据来准确判断链下账户的状态，因此zkRollup拥有以太坊层级的安全性。零知识证明框架目前有好多种，路印协议最终选定了zkSnark作为背后的零知识证明框架，主要是因为zkSnark的证明数据大小是目前最小的，这就意味着链上成本能做到最低，同时生成证明所必须的链下计算成本也不高，技术框架本身也已经过ZCash多年的实践考验过的。整个方案的关键点就在于：区块链上只是负责存储数据和验证零知识证明，其余的计算处理都是通过在链下更改Merkle树的方式来实现，从而极大的减小对区块链资源的消耗，提升区块链的整体性能。又因为链下部分有链上验证的辅助，所以也能确保链下处理资产的安全性和正确性。从而达到在不牺牲区块链带来的安全前提下，提升区块链的整体性能。[2020/6/17]
Scroll联合创始人YeZhang则反驳，Goldfeder低估了zkEVM，应该再去好好看看Scroll在8个月之前的博客，Scroll的zkEVM是以非常模块化的方式构建的。况且，过于激进地添加功能会增加安全风险，从真实的需求的出发，并不认为有添加新功能的必要。
观点：Validium适用于传统高频交易 zkRollup适合去中心化加密支付:近日，针对以太坊Layer 2扩容方案，即DeversiFi最近采用的Validium解决方案，Matter Labs创始人Alex Gluchowski撰文称，Validium的机制与zkRollup非常相似，唯一的区别是zkRollup中的数据可用性是在链上的，而Validium则将其保持在链外。这允许Validium获得更高的吞吐量，但这也导致该解决方案存在两大问题：1、可冻结用户资金；2、可没收用户资金。
Alex Gluchowski指出，zkRollup的数据可用性可保护用户的资金免遭扣押和审查。但数据可用性的链上存储，导致了吞吐量的限制。因此，Alex Gluchowski认为Validium方案可能会适用于传统的高频交易或具有较低信任假设的游戏，相比之下，完全无需信任的zkRollup方案则非常适合扩展去中心化的加密支付。（Medium）[2020/6/8]
此外，他还抛出几个进一步需要探讨的问题：有多少人真正关心与Solidity一起编写Rust合约？需要多少额外的工具支持？支持可组合性吗？什么是安全假设？
而zkSync联合创始人AlexG.部分肯定了Goldfeder的观点，他同样赞同EVM>EVM，比较与Rust/Move代码的同步互操作性比单纯的Solidity强大得多。但是这种开发不仅OptimisticRollup可以做呀，我们zkSync目前正在通过LLVM编译Solidity，也在添加Rust和Move。这么一比较，zk-Rollup赢得很轻松嘛。
Starkware因为CairoVM气质较为独特，未参与本场论战。
事实上，随着zk-Rollup的崛起，ZKR和OR之间的交锋和论战一直持续存在。
在去年7月Polygon开开心心宣布开源zkEVM代码时，Goldfeder就泼了一盆“zkEVM距离正常运行还很遥远”的冷水，但Goldfeder指出的现阶段zkEVM还存在一定中心化问题、没有在证明者上开源等问题也的确都是事实。
而更热闹的是在去年波哥大Devcon期间。
随着zkSync2.0的推出，zkSync开始大张旗鼓地宣传自己是“世界上第一个功能齐全的开源zkEVM网络”，PolygonzkEVM在Devcon期间正式推出时也宣称自己是“第一个也是唯一一个去中心化的zkEVM测试网”。
但这两位在争论“第一个zkEVM”的同时也招致了不少质疑，这其中自然少不了StevenGoldfeder，他认为，zkSync的zkEVM测试网并没有启用zk-proofs，也没有经过安全审计。而Polygon则被质疑说其zkEVM证明者的源代码虽在Github上可用，但还没有开源许可证；虽然表示“完全等效”，但其Github代码库显示其暂时只测出了97%的兼容性覆盖程度。对此，Polygon团队回应，“没有刻意隐瞒，部分内容正在编写的更好的文档”。
StevenGoldfeder有一句话还比较中肯：“虽然目前很多团队都在稳步推进zkEVM，但其远没有到‘黄金时期’，任何推动这种叙事的团队都在损害社区。”
ZKR和OPR的争论再早可以追溯到2021年底。OffchainLabs专门发表了一篇名为《为什么说OptimisticRollup比ZKRollup更能代表以太坊扩容的未来？》的文章，比较了ZKRollups和OptimisticRollup两个扩容技术。从那个时候，OffchainLabs就一直在强调OptimisticRollup系统在可扩展性和成本上的优势，与EVM和现有工具完全兼容。
随后Polygon的零知识证明工程师BrendanFarmer发表《Polygon驳OffchainLabs：ZKRollup才是以太坊扩容的未来》回应，相对于Optimisticrollup，zk能提供同等的安全性和更高的资本效率。而且OR受限于L1，因为欺诈证明必须能够在以太坊上执行，ZK则没有这个限制。
你会发现，这两个派系论战到今年，讨论的东西并没有本质上的变化。但这些讨论都是有意义的，如果能在话题上再多做一些延伸的话。
尽管OptimisticRollup占据了先发优势并仍然在当下垄断了80%以上的市场份额，但包括Vitalik等在内的意见领袖普遍在长期更看好ZKR。去年下半年以来，资本和开发人员大量涌入zk领域，相关项目不断出现，zk-Rollup开发进度也逐步加快。OR系也的确在当下有傲慢的资本，但面对竞争对手的逐渐强大，稳坐王座的Arbitrum多少也会有些烦躁不安，因此频频出言diss也在情理之中，对zk-Rollup也是不错的敦促。
总体而言，L2这个朝阳赛道相比其他领域在熊市中受到的影响要略小一些，在2023年年初，这场交锋显得热热闹闹的，颇有欣欣向荣之势。但相比抢占舆论阵地，我们更期待OR和ZKR在真实弹层面的决战。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。