“这是最好的时代,也是最坏的时代。”就像狄更斯重温革命性巨变的欧洲一样,今天的以太坊也是如此。以太坊上面的生态,尤其是 DeFi,充满了生机和创新,但网络活动的指数级增长引发了拥堵危机。对于绝大多数潜在用户来说,以太坊上的交易已经变得非常昂贵。提高可扩展性,是以太坊当前迫切需要做的事情。
我相信 Rollups 是新的发展方向。关于它们的关键信任假设和安全属性,以及它们如何将 Rollups 与侧链和 EVM 兼容的其他可伸缩解决方案区分开来,已经有很多论述。我在本文中重点说明两种主要 Rollups 类别之间的异同:Optimistic Rollups 和零知 Rollups。两者的基本设计和指导原则基本相同。它们在“审查过程”的工作方式上有所不同。换句话说,以太坊如何决定一批 Rollups 交易应该被接受还是拒绝。正如我们所看到的,这个差异对开放式和零知识 rollup 的安全性、EVM 兼容性和用户体验有重要影响。这些属性反过来又对用户、开发者和投资者产生了深远的影响。
1
直到证明无罪才有罪,或者直到证明有罪才无罪?
在深入探讨各自设计的复杂性之前,让我们从高纬度的比较开始。
ZK Rollups 将批量交易发送回以太坊,并附带一种特殊类型的密码证明。以太坊网络使用这种所谓的“有效性证明”来验证该批次交易的正确性。在 ZK Rollups 协议中,以太坊仅接受可以通过密码验证的那批交易。一言以蔽之:在证明自己无辜之前,是有罪的。
相比之下,在开放性 Rollup 中,以太坊假设给定的一批交易是合法的。它仅在某节点(不仅是开放性 Rollup 的验证者,而且是监视 Rollup 链的任何参与者)提交了有关交易具有欺诈性的有效声明(“欺诈证明”)时才拒绝该交易。因此:在证明有罪之前是无辜的。
ZK Rollup 依赖加密证明来确定交易的完整性,而 Optimistic Rollup 则具有在 Rollup 中处理交易的时间与基础链最终接受之间的宽限期。这个“争议期”为用户提供了充足的时间提交欺诈证明。尽管在实践中,这将导致更长的取款期(最多 1-2 周),以便 token 从 Rollup 链迁移回到以太坊基础层。为了使开放性 Rollup 安全地运行,只需要一个诚实的参与者在必要时提交欺诈证明。此外,“开放性 Rollup”使用经济诱因来确保恶意用户无法使用虚假的欺诈证据向网络发送垃圾邮件。更具体地说,处理交易的验证者和提交欺诈证明的网络参与者都被鼓励这样做,因为他们必须在其判断上质押 token,如果失败,token 将被没收。
乍一看,ZK Rollup 看起来似乎是比较严格。它们不仅为每笔交易增加了加密证明负担,而且还避免了困扰“开放性 Rollup”的为期一周的提款延迟。但是,从本质上讲,ZK Rollup 并不比开放性 Rollup 更好。它实现起来要比想象的复杂得多。
2
准备就绪
无论 ZK Rollup 有多少理论上的优点,至少在当前阶段它受限于其为扩展 DeFi 所能提供的组件。
诸如 Arbitrum 和 Optimism 之类的开放性 Rollup 提供的执行模型与以太坊虚拟机非常相似。对于开发人员而言,不管代码的复杂程度如何,转到开放性 Rollup 都是非常容易的过程。Arbitrum 最近更新的文档清楚地表明了迁移应用程序的过程有多么的简单。一般来说,开放性 Rollups 可以提供与 Matic / Polygon 和 Binance Smart Chain 等替代 EVM 兼容的缩放解决方案所提供的相同的功能。
另一方面,对于诸如 Starkware 和 ZkSync 之类的领先 ZK Rollup 协议,兼容性是一个更加棘手的问题。因为 ZK Rollup 被设计为具有与每种单一类型的交易相关的有效性证明,所以其汇总技术的构建要繁重得多。ZK Rollup 已成功用于一些离散任务,例如直接转移和交易。但是他们尚未为 DeFi 智能合约提供通用支持。
这一点丝毫不会减弱 ZK Rollup 的未来潜力。值得一提的是,不管时间早晚,ZK Rollup 可能会提供开放性 Rollup 已完成的许多工作:接近完全的 EVM 兼容性、计算效率以及易于移植的复杂代码。然而,按照目前的情况,只有开放性 Rollup 才能解决以太坊的紧急拥塞问题,并为 DeFi 快速扩展提供了一种方法。
3
安全问题
问题是,如果以安全性为代价换取扩展速度是否值得?ZK Rollup 的支持者认为,ZK Rollup 提供了对脱链执行的密封加密验证,因此比开放性 Rollup 具有决定性的安全优势,这意味着 ZK Rollup 可能在 DeFi 协议逐步扩展中大有可为。
但是,实际上,安全性问题并不那么简单。
ZK Rollup 由指定的一方构建,该方执行交易,构建区块并包括有效性证明。该行为称为“ relayer”(或“ prover”)。在 ZK Rollup 中,中继器被加密,防止提交欺诈性的交易,并且锁定 Rollup 所处理的资金。但是,这种对单方的依赖会产生一些潜在的漏洞。
中继器用零知识证明构造块的工作需要昂贵的计算基础结构。如果中继器由于任何原因脱机,则不一定会有其他方拥有证明技术可以无缝接管处理职责。实际上,这意味着 ZK Rollup 不具有强大的柔性保障。
现在我们把它和开放性 Rollup 进行比较。在开放性 Rollup 上,单方“定序器”也被指定为区块生产者和交易处理器。在大多数情况下,开放性 Rollup 网络上的其他验证程序充当“裁判”,可以在定序器上“发出犯规提示”。也就是说,他们可以在必要时发布欺诈证明,以触发争议解决流程。但是,重要的是,这些额外的验证器也可以在没有额外的处理能力或技术知识的情况下承担块的生产角色。
Arbitrum 的创始人甚至声称,可以使用带有一些额外 RAM 的普通笔记本电脑来运行 Arbitrum 节点。
ZK Rollup 的支持者认为,开放性 Rollup 中存在类似的漏洞,并且由于缺乏密码约束,这些漏洞在被利用时更为严重。该参数运行方式如下:
开放性 Rollup 假设“ n 个参与者之一”是诚实的。这意味着,只要有一个诚实的网络用户可以提交欺诈证明,Rollup 协议就可以正确处理交易。这些批评家坚持认为,问题在于,尽管“一个诚实的参与者”要求比侧链的简单多数共识机制要弱,但仍然容易受到审查的影响。如果所有参与者都遭到破坏或被迫下线,则理论上可以将欺诈性批次提交给以太坊,而不会触发争议解决。
从理论上讲,这种攻击场景是有道理的,但实际上有两个重要的因素:
首先,如上所述,开放性 Rollup 的纠纷解决期很长,为一到两周。除了验证者之外,任何正在监视网络状态的参与者都可以在此争议期内提交欺诈证明。这意味着“Rollup 中的一个”假设不是“汇总中的一个 n 个验证者”,而是“汇总中的一个”,正如领先的 Rollup 研究人员约翰·阿德勒(John Adler)对我所说的那样。
此外,出于博弈论的原因,我们假设已经损坏的网络参与者将叛逃并提交欺诈证明,因为这样做会使叛逃者有权获得区块生产者的没收股份。换句话说,“一个诚实的参与者”实际上只是一个假设,很有可能出现一个贪婪的参与者愿意为金钱奖励提交正确的欺诈证明。
除了活动性保证和“一个诚实的验证者”假设之外,还有其他各种安全问题值得探讨。讨论的目的不是在信任和安全的复杂问题上得出黑白结论。相反,我的目标是通过加密验证将 ZK Rollup 的原本低消的功能变得比开放性 Rollup 更安全。
4
用户体验
尽管上面的讨论强调了开放性 Rollup 网络的可用性并强调了其安全模型的优势,但是 ZK Rollups 仍然在用户体验方面比 Optimistic Rollups 具有决定性的优势。
具体来说,可以立即确认 ZK Rollup 事务。因此,ZK Rollups 的用户理论上不必等待任何重要的时间即可将其资金撤回以太坊。另一方面,如前所述,开放性 Rollup 要求延迟 1-2 周才能退出,以解决争端。
这些延迟长期以来一直被认为是开放性 Rollup 的致命弱点,这是有充分理由的。尽管有些人认为开放性 Rollup 对用户有足够黏性,以至用户不需要以任何频率往返于以太坊,但我很难想象加密原生用户将忍受比 SWIFT 更糟糕的提款延迟。
幸运的是,对于开放性 Rollup 协议,撤回延迟是一个可以解决的问题,这在很大程度上要归功于 Rollup 数据的透明性和可用性。数据可用性是开放性 Rollup 的一项基本功能,因为它允许其他网络参与者(“裁判员”)在定序器欺诈性地处理交易的情况下充满信心地提交欺诈证明。另外,此数据可用性功能还允许外部观察者在挑战期过去之前以及在以太坊上实现真正的结局之前,发现一批有争议的开放式 Rollup 交易的正确结果。
目前,许多有发展前景的协议都在围绕向开放性 Rollup 用户提供即时流动性的基本概念进行迭代。Connext 和 Hop 是通用的跨链协议,它们使用条件转移技术的变体来允许用户在二层网络与 EVM 兼容的第 1 层和以太坊之间交换 token。
MakerDAO 最近宣布了针对提款延迟问题的更窄的解决方案:开放主义者与以太坊之间的桥梁,利用协议的无限制 Dai 流动性和铸币功能,向发起提款的开放性用户在以太坊上铸造 Dai。此外,Rari Capital 正在开发一种称为“Nova”的有条件提款”解决方案”,它使用“机器人”在 Rollup 用户上执行以太坊上的特定任务,而不会强迫他们将所有流动资金迁移回以太坊。最后,中心化交易所很可能会为“开放式 Rollup”提供直接的资产出入。
当然,有必要对提款延迟问题和这些新生的解决方案进行更详细的研究,但这需要单独的文章。但是,至少在短期内,开放性 Rollup 的成功在很大程度上取决于这些“快速退出”协议的成功。值得赞扬的是,ZK Rollup 不会共享这些相同的用户体验痛点,因此并不依赖可行的跨链基础架构。
5
最后的想法
总之,减少“ZK Rollup”和“Optimistic Rollup”的复杂性对从整体上提升扩展规模可能会有所帮助。
在此阶段,尚不知道 Rollup 如何与其替代品相提并论。侧链(Matic / Polygon)和 EVM 兼容的第 1 层(Binance Smart Chain)已经将自己定位为已经令人印象深刻的应用程序套件的早期扩展老手。此外,众多寻求低价和高吞吐量的加密用户在使用这些其他扩展解决方案时毫不犹豫,无论其安全性如何。
我自己的观点是,某一个项目进入全面应用阶段尚需要时间。在短期内,看到 Rollup 遇到一些发展难点不足为奇。替代链的激励措施是丰厚的,早期 Rollup 采用者的用户体验不太可能会形成瓶颈。此外,由于缺乏可靠且无缝的跨链基础架构,我们可能会在 DeFi 上遇到真正的流动性分散问题,这使得任何扩展性解决方案都难以真正垄断市场。
但是,从中长期来看,我认为竞争性扩展解决方案之间在成本、速度和用户体验方面表现出的任何差异都会趋向于零。
剩下的主要差异将是安全性和信任假设,以及每个解决方案在此期间建立的任何网络影响。如果这种情况确实发生(以及何时发生),以 Rollup 为中心的以太坊的愿景最终可能成为现实。
本公众号所载文章中观点仅代表原作者个人立场,不代表 DeFi 之道立场。投资者不应将文中观点、结论为作出投资决策的惟一参考因素,亦不应认为文中观点可以取代自己的判断。在决定投资前,如有需要,投资者务必向专业人士咨询并谨慎决策。
DeFi 之道公众号后台
回复“ 财富 ”获取 DeFi 热门项目白皮书合集 !
回复“ 研究 ”获取 DeFi 研究报告合集!
回复“ 论文 ”获取 DeFi 相关论文合集!
干货持续更新中,敬请关注……