新的 ZK Rollup 通用扩容方案:zkEVM,隐私,OP+ZK
OP Rollup 已经初步形成了 Arbitrum、Optimism 两强的竞争格局,但 ZK Rollup 的通用扩容方案普遍还处在测试与技术迭代的阶段,还没有成熟的应用生态和用户体验,这就给新项目的发展带来了机会。更多资讯微薄团团财经这里详细了解。
新的通用扩容方案自然需要新的叙事亮点,而 zkEVM 是其中的焦点。因为 L2 最初的目的就是提高以太坊的性能,L2 上的很多项目其实是以太坊项目的迁移或者 fork,EVM 兼容可以让开发者有非常低的迁移成本;如果去 L2 开发需要学一套专门服务于 ZK 的语言,那么同样是要学新语言,开发者就会有去其它新公链的备选。从事实上看,EVM 不兼容的 StarkNet、zkSync 1.0 生态发展的艰难也部分印证了这一点。
zkEVM 的实现是相当有技术挑战的,其主要难点在于 ZK 电路的复杂性,以及需要利用 ZK 来重构整个 ETH 的状态转换。zkEVM 其实也分不同的级别,简单来说可以分为”EVM 兼容 “和”EVM 等效 “。
EVM 兼容,代表 - zkSync 2.0:Solidity 语言层面的兼容。它的实现相对简单(但依然很困难),但即使成功做出来了,也可能会有部分 Solidity 的特性无法支持。
EVM 等效,代表 - Scroll、Polygon Hermez:EVM 字节码层面的兼容。它会给开发者带来非常理想的体验(迁移的时候几乎只需要 copy-paste),但它的实现比 “EVM 兼容” 要难一个量级
除了 zkEVM 以外,L2 隐私方案也是一些新项目的核心叙事,前文已经提及。
另外,还有一些项目会在 Rollup 的具体方案上提出一些创新。比如希望融合 OP Rollup 和 ZK Rollup 的 Intmax,其认为 ZK Rollup 并不必要实时计算 ZK Proof,而可以把它们都集中到一个 batch 里以后每过约 4 个小时统一计算;如果用户对实时的状态确定性非常在意,那么可以缴纳额外的费用提前进行 Proof 的计算。
ZK 挖旷
ZK 挖旷,指的是通过提供高性能的 ZK Proof 计算,从 ZK Rollup 的网络中获取奖励。这个设想,主要起源于 Polygon Hermez 提出的 POE 机制。
在 Starkware 等经典的 ZK Rollup 架构设计中,有 Sequencer、Prover 两个角色,分别负责执行交易和生成 ZK 证明。但 Sequencer 和 Prover 的工作效率相差至少 5000 倍,两者之间始终存在延迟。在目前的家用电脑上,为每笔交易生成 Proof 却需要约 1.5 秒~2.5 秒,相当于每秒仅能为 0.6 笔交易生成 Proof。如果 ZK Proof 的生成时间无法得到妥善解决,那么用户的实时体验就可能不佳;如果交给专业的节点来计算,网络就可能面临过度中心化的问题。
Polygon Hermez 在其 POE 方案中称,允许多个 Prover 节点以竞赛的方式提交 Proof 并获得奖励,如果某个 Prover 是第一个(或者前几个)生成正确 Proof 的节点,该笔奖励由 Sequencer 以悬赏的形式进行支付。这样一来,Sequencer 或 ZK rollup 项目方相当于把 ZK Proof 加速策略委托给 Prover 节点运行者去研发,通过悬赏市的竞赛机制,可以很大程度上调动广大矿工的积极性,不失为一种共赢策略。
除了 Polygon Hermez 以外,Scroll 和 Taiko 也提出了类似的激励设想,也不排除 Starkware 和 zkSync 后续也会做相应的改动。如果 Prover 节点顺利去中心化,并且全部的 Proof 奖励分配给性能最优越的几个 Prover 运营方,类似比特币矿池的组织形式极有可能出现,这些 Prover 矿池由许多散户矿工贡献的设备连接而成,按照每个人贡献的算利分配奖励;同时,由于 ZK Proof 生成任务可以并行化,可切分,拥有的加速芯片越多、使用的生成策略越优秀,获得的奖励就会越多。照此看来,ZK 挖旷很有可能复制比特币挖旷的老路,挖旷设备会不断的更新迭代,组织形式将以矿池为主,而 ZK Rollup 本身也将大幅受益于这种变迁。
ZK 挖旷是一个尚处于构想期的 ZK Rollup 伴生赛道,其发展速度、市场上线存在着高度不确定性。不过,现在也已经有创业项目开始在做相关的布局了。
L2 互通性/L2 跨链
L2 的初衷是解决以太坊生态的性能问题,但众多 L2 方案的出现,也在把以太坊的流动性进行了碎片化。因此,也有一些早期项目开始着眼于 L2 的互通性和流动性的整合,类似于 “L2 跨链”。
从技术角度上来看,这种 “L2 跨链” 的实现要比 L1 之间的跨链要更加简单、安全,毕竟对于当前主流的 Rollup 方案而言,原始数据都在 L1 链上,这对于跨链的安全性有天然的保证;这也是 Rollup 技术优势的一种体现。
不少新兴的项目都希望实现 L2 的互通性:Hop、Connext、Synapse、Celer cBridge、deBridge、Tokemak……具体的应用形态可以有很多种,比如 protocol、DEX、钱包。但从用户视角来看,他们在 L2 互通性上做的事情是类似的:在应用层面提供多个 L2 的支持,与无摩擦的跨 L2 资产转移、代币交换、信息通信等操作。
经过数年的竞争,由于数据可用性的原因,Rollups 已经成为了 L2 的绝对主导。并且,Rollups 已经得到了以太坊社区的认可,以太坊未来的升级也会以 Rollups 为中心进行。
OP Rollup 在相当一段时间内可能都会是两强争霸的竞争格局,并且由于 EVM 兼容性,其生态发展非常迅速。以太坊后续计划的几次升级对 OP Rollup 的体验提升也要超过 ZK Rollup,这对 OP Rollup 的扩张也很有利。因此,二级投资者可以重点先关注 OP Rollup 相关的项目。
ZK Rollup 还处在一个百花齐放的早期阶段,头部的通用扩容项目多处于测试网阶段,并且缺少 EVM 的兼容性,生态较弱。但从长远来看,随着技术的成熟,ZK 所带来的基于密码学的安全性肯定是由于 OP 基于博弈论的安全性。对于创业者和早期投资者而言,ZK 相关的叙事会更加多样、有吸引力。
今天的分享就到这里,后期会给大家带来其他赛道的龙头项目分析。感兴趣的可以点个关注。我也会不定期整理一些前沿资询和项目点评,欢迎各位志同道合的币圈人一起来探索。有问题可以评论提问或者私信,所有资讯平台均为团子财经。