Layer2之争:短期看Optimism 长期看zkSync?

admin  2022-11-21 20:59  评论 0 条

原文作者: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 方式)的场景  

Layer2之争:短期看Optimism 长期看zkSync?

因为同时依赖与 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 神也给出了一个混合模式方案,我个人觉得挺靠谱,几年后说不定真就这样 啥样子呢?都在这个讨论帖里  

Layer2之争:短期看Optimism 长期看zkSync?

zkEVM 成熟之前, 以 OP 为主,ZK 为辅 

1. 发布区块 

2. 等待 24 小时 

3. If 期间没有欺诈挑战, 发布 ZKP, Finalize 区块 

Else(有挑战), 引入 Governance,通过 2of3 模型裁 

定最终结果  

Layer2之争:短期看Optimism 长期看zkSync?

zkEVM 成熟之后,ZK 为主,OP 为辅 

1. 发布区块 

2. 定期发布 ZKP 

3. IF ZKP 指定期间正常发布, 就 Finalize 

Else(ZKP 未在期间正常发布,不管是 Prover 挂了还是出 Bug 了), 系统切换到 Optimistic 机制, 直到 ZK 机制恢复。  

本文地址:http://www.xinhua1net.com/dwj/15693.html
版权声明:欢迎分享本文,转载请保留出处!

发表评论


表情