Layer2之争：短期看Optimism 长期看zkSync？
原文作者：Lao Bai
今天来说说 Layer2 的 OP 与 ZK 之争问题
短期 OP，长期 ZK？
这句话因为 V 神说过，所以被很多人认为是「金科玉律」，然而实际情况要复杂的多。
常见的那类比较网上已经说烂 - 即 OP 基于博弈 < ZK 基于数学 ；OP1 两周提款期 < ZK 提款期只有几分钟到几小时；OP 的 EVM 兼容性更好 > ZK 兼容性还有很长路要走……
上面那些就不再废话了，V 神那个长短期的言论大体上也是基于上面三个基本面提出的。
然而博弈 VS 数学 - 用户根本体验不出啥区别的，也根本不关心；两周提款期 VS 几分钟 or 几小时 - 这些差异有桥全都抹平了；EVM 兼容性 - 现在 OP 的确更好，但随着 ZK 慢慢发展这个也终将抹平。
所以说点不一样的。
一. 首先是性能
常见的一个说法是 ZK 系 TPS 高过 OP 系，这么说的主要原因是 ZK 的压缩比相对 OP 更高，换句话说，再往 L1 上提交压缩过的交易数据的时候，ZK 因为更高的压缩比同样时间可以提交比 OP 更多的交易，换算成 TPS 自然也就高出去一截。
然而这个说法忽视了 ZK 需要生成证明那巨大的开销和耗时。
所以 OP VS ZK 的性能比较有可能是个交替上升，最终殊途同归的 Style - 以下偏脑洞
1. ZK 刚上线 - OP TPS 高，因为 ZK 证明的 Cost 与耗时远超过压缩比带来的那些优势
2. ZK 系的 Prover 架构相对成熟了 - ZK TPS 高，ZK 这边比如 FPGA 或者 ASIC 机器出来了，ZK 证明费用和耗时大幅下降，压缩比的优势开始显现出来
3. Pro-Danksharding 上线 - OP 与 ZK TPS 又差不多了，因为 L1 这边不用 Call Data，用了一个空间大得多，费用低的多的 Blob 来当 DA，所以届时压缩比的优势远不如现在 Call Data 时代那么明显。压缩比的小优势与 ZK 证明的小劣势基本上相互抵消了，OP 和 ZK 的理论 TPS 极限基本被限制在了 Sequencer 的硬件处理能力上。
二. 其次是 ZK 市场上的实际优势
密码学>博弈，远小于 OP 的提款期之类是 ZK 技术上的优势，但不一定是市场上的，区块链的世界从来都不是「唯技术论」。就像现在 ETH 都从 POW 转 POS 了，还有很多币圈 OG 与技术大咖在孜孜不倦的发文论证 POW 优于 POS 的文章，而且你得承认他们很多论点说的真的很有道理，甚至是正确的。
然而不重要，市场就是认为 POS 才是新公链的未来（剔除 BTC），你能咋办？
所以 ZK 市场上的实际优势在哪？我暂时能想到的有两个
1. ZK 作为目前区块链技术层面的「显学」，可能会带火一个产业链，就像当年 POW 带火了矿机（从 CPU 到 GPU 到 FPGA 到 ASIC）, 矿池，矿场，算力衍生品等一系列上下游产业链，ZK 也有可能从证明到验证带火一个类似 POW，基于硬件配套的产业链出来
2. ZK 能玩的花样更多 - 比如实现隐私功能（Aztec），比如 V 神最近发的那篇《什么样的 layer3 才有意义？》- 里面提到一个 Arb 原生Token「跨链」到 Optimism 那边（Wrap 方式）的场景
因为同时依赖与 ETH L1，所以 Optimism 那边的 Wrap 合约通过读取 Arb 那边上传到 L1 的存入合约收据 Merkle 证明的方式，就可以完全绕过现在各种「不安全」的桥，但理论上 OP 类 L2 存款是应该等待一个欺诈窗口期（7 天）过去才算安全，所以很难这么搞，换成 ZK 的话，这场景就没问题了
三. 最后说下 ZK 与 OP 的终局
你感觉 ZK-sync，Scroll 啥的已经开始 Alpha 测试网了，就觉得 ZK 快要能用了？ 太天真了，ZK 要走的路还很长，比如以太坊基金会官方 ZKEVM 的电路代码，3 万多行，按照 V 神原话 - 需要「非常漫长的开发和持续的测试」，「几年内都无法完全依赖 ZK 系统所带来的安全性」
当然了，OP 虽然领先，但路也没走完，比如 Optimisim 因为改 OVM 架构的原因，到现在了 OP 最核心的欺诈证明功能还没上线，很多人都不知道 那么终局可能是啥样子呢？V 神也给出了一个混合模式方案，我个人觉得挺靠谱，几年后说不定真就这样 啥样子呢？都在这个讨论帖里
zkEVM 成熟之前, 以 OP 为主，ZK 为辅
1. 发布区块
2. 等待 24 小时
3. If 期间没有欺诈挑战, 发布 ZKP, Finalize 区块
Else（有挑战）, 引入 Governance，通过 2of3 模型裁
定最终结果
zkEVM 成熟之后，ZK 为主，OP 为辅
1. 发布区块
2. 定期发布 ZKP
3. IF ZKP 指定期间正常发布, 就 Finalize
Else（ZKP 未在期间正常发布，不管是 Prover 挂了还是出 Bug 了), 系统切换到 Optimistic 机制, 直到 ZK 机制恢复。