DeFi之道丨开放式Rollup VS 零知识Rollup

2021-05-18 18:17:02 998

“这是最好的时代,也是最坏的时代。”就像狄更斯重温革命性巨变的欧洲一样,今天的以太坊也是如此。以太坊上面的生态,尤其是DeFi,充满了生机和创新,但网络活动的指数级增长引发了拥堵危机。对于绝大多数潜在用户来说,以太坊上的交易已经变得非常昂贵。提高可扩展性,是以太坊当前迫切需要做的事情。

我相信Rollups是新的发展方向。关于它们的关键信任假设和安全属性,以及它们如何将Rollups与侧链和EVM兼容的其他可伸缩解决方案区分开来,已经有很多论述。我在本文中重点说明两种主要Rollups类别之间的异同:开放式Rollups和零知识Rollups。两者的基本设计和指导原则基本相同。它们在“审查过程”的工作方式上有所不同。换句话说,以太坊如何决定一批Rollups交易应该被接受还是拒绝。正如我们所看到的,这个差异对开放式和零知识rollup的安全性、EVM兼容性和用户体验有重要影响。这些属性反过来又对用户、开发者和投资者产生了深远的影响。


直到证明无罪才有罪,或者直到证明有罪才无罪?


在深入探讨各自设计的复杂性之前,让我们从高纬度的比较开始。

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更好。它实现起来要比想象的复杂得多。


准备就绪


无论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快速扩展提供了一种方法。


安全问题


问题是,如果以安全性为代价换取扩展速度是否值得?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更安全。


用户体验


尽管上面的讨论强调了开放性Rollup网络的可用性并强调了其安全模型的优势,但是ZK Rollups仍然在用户体验方面比Optimistic Rollups具有决定性的优势。

具体来说,可以立即确认ZK Rollup事务。因此,ZK Rollups的用户理论上不必等待任何重要的时间即可将其资金撤回以太坊。另一方面,如前所述,开放性Rollup要求延迟1-2周才能退出,以解决争端。

这些延迟长期以来一直被认为是开放性Rollup的致命弱点,这是有充分理由的。尽管有些人认为开放性Rollup对用户有足够黏性,以至用户不需要以任何频率往返于以太坊,但我很难想象加密原生用户将忍受比SWIFT更糟糕的提款延迟。

幸运的是,对于开放性 Rollup协议,撤回延迟是一个可以解决的问题,这在很大程度上要归功于Rollup数据的透明性和可用性。数据可用性是开放性Rollup的一项基本功能,因为它允许其他网络参与者(“裁判员”)在定序器欺诈性地处理交易的情况下充满信心地提交欺诈证明。另外,此数据可用性功能还允许外部观察者在挑战期过去之前以及在以太坊上实现真正的结局之前,发现一批有争议的开放式Rollup交易的正确结果。

目前,许多有发展前景的协议都在围绕向开放性 Rollup用户提供即时流动性的基本概念进行迭代。ConnextHop是通用的跨链协议,它们使用条件转移技术的变体来允许用户在二层网络与EVM兼容的第1层和以太坊之间交换token。MakerDAO最近宣布了针对提款延迟问题的更窄的解决方案:开放主义者与以太坊之间的桥梁,利用协议的无限制Dai流动性和铸币功能,向发起提款的开放性用户在以太坊上铸造Dai。此外,Rari Capital正在开发一种称为“Nova”的有条件提款”解决方案”,它使用“机器人”在Rollup用户上执行以太坊上的特定任务,而不会强迫他们将所有流动资金迁移回以太坊。最后,中心化交易所很可能会为“开放式Rollup”提供直接的资产出入。

当然,有必要对提款延迟问题和这些新生的解决方案进行更详细的研究,但这需要单独的文章。但是,至少在短期内,开放性Rollup的成功在很大程度上取决于这些“快速退出”协议的成功。值得赞扬的是,ZK Rollup不会共享这些相同的用户体验痛点,因此并不依赖可行的跨链基础架构。


最后的想法


总之,减少“零知识Rollup”和“开放式Rollup”的复杂性对从整体上提升扩展规模可能会有所帮助。

在此阶段,尚不知道Rollup如何与其替代品相提并论。侧链(Matic / Polygon)和EVM兼容的第1层(Binance Smart Chain)已经将自己定位为已经令人印象深刻的应用程序套件的早期扩展老手。此外,众多寻求低价和高吞吐量的加密用户在使用这些其他扩展解决方案时毫不犹豫,无论其安全性如何。

我自己的观点是,某一个项目进入全面应用阶段尚需要时间。在短期内,看到Rollup遇到一些发展难点不足为奇。替代链的激励措施是丰厚的,早期Rollup采用者的用户体验不太可能会形成瓶颈。此外,由于缺乏可靠且无缝的跨链基础架构,我们可能会在DeFi上遇到真正的流动性分散问题,这使得任何扩展性解决方案都难以真正垄断市场。

但是,从中长期来看,我认为竞争性扩展解决方案之间在成本、速度和用户体验方面表现出的任何差异都会趋向于零。剩下的主要差异将是安全性和信任假设,以及每个解决方案在此期间建立的任何网络影响。如果这种情况确实发生(以及何时发生),以Rollup为中心的以太坊的愿景最终可能成为现实。

声明:所有在本站发表的文章,本站都具有最终编辑权。本站全部作品均系微算力原创或来自网络转载,转载目的在于传递更多信息,并不代表本站赞同其观点和对其真实性负责,所产生的纠纷与本站无关。如涉及作品内容、版权和其它问题,请尽快与本站联系。

相关推荐

  • 微信:aspcool
  • QQ:580076
  • 手机:18992859886
  • 工作时间:9:00~18:00(周一至周五)