就实际功效而言,状态通道已成为第一个 Layer 2 结构。人们很容易领略,且状态通道(大概)确实办理了一些基本的研究挑战,我们简直也看到状态通道在和以太坊上的应用。状态通道具有一些实用属性,譬喻即时生意业务,这些属性很是契合一些特定应用措施的需求。尽量是较通用的扩容方案,但在某种水平上仍受限制。从本质上讲,通道之间是互相独立的,且免信任的毗连将导致成本效率低下,及/或受制于可用的活动路径。(我之前在 Bitcoin’s Lightning Network 颁发了相关限制以及办理计策。)
Interstate Network
点击此处回首他们的差别性。最后,我们将深入探讨一些定性问题,这些问题将环绕以上项目如安在空间中发挥本身的浸染。
在以太坊 Layer 2 研发的早期阶段,研发人员打算在隐含假设下运作,即基本层“减轻验证承担”就是完全将(某些)生意业务数据断绝在区块链之外。(请参阅 Josh Stark 2018年头的文章 Making Sense of Ethereum’s Layer 2 以相识其时的思维方法)。
Pinkiebell
配景 & 理论
Fuel Labs
2019下半年,Optimistic Rollups (ORU或Optiroll) 作为以太坊 Layer 2 扩容协议迅速鼓起大热。本文旨在概述新兴 ORU 的开产生态系统至发稿时的简况(2020年2月)。我们先将 ORU 理论属性放于 Layer 2 设计空间大配景下,之后较量差异项目标要领和技能设计决定以及个中的各类取舍。9个项目包罗:
· 数据可用性:让步
IDEX
Celer
· 更容易地支持任意付款面额
关于研究 / 接头的开放性话题
与 Plasma 对比,ORU 有一个不行制止的根天性缺点,那就是它的扩容性相对较低。假设链上数据与 ORU 块中的数据成正比,则 ORU 结构会受到基本层最大数据量的限制。不外在其他方面 ORU 也有许多益处,包罗:
假如不是因为这篇研究陈诉是受 MolochDAO 之托而作,我想 DAOSquare 应该不会翻译如此“技能性”的学术论文(至少现阶段不会)。不外,的扩展性简直是一个重要且热门的话题,现有的办理方案包罗 Optimistic Rollup、Zk Rollup,而 Optimistic Rollup 则是一个提出时间并不长的新兴方案,它被认为是最有前途的扩容方案。那么时至今天它的成长环境如何?前景又如何?本文作者 Daniel Goldman 通过大量的调研完成了此份陈诉,此刻,DAOSquare 将这份成就分享给各人,,不外由于篇幅过于“弘大”,我们将分三期送上,本篇为第一部门。 以太坊新兴 Optimistic Rollup 生态系统的技能概览 郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。
Plasma 的问题让甚至一些人认为其会消失(declare its demise)。纵然有人认为这种说法还为时过早(譬喻我),可是毫无疑问,Plasma 比预期设想的越发坚苦巨大,并且传输功效的空间速度比最初但愿的要慢。跟着 Plasma 的停滞,以太坊社区盼愿雷同非禁锢下的、具有侧链特性的事物。此时,就研究和实施状态而言,Optimistic Rollup 呈现了。
Layer 2 协议是减轻此类承担的一类要领。将所有的节点全部验证所有生意业务,变为仅由感乐趣的各方(譬喻那些但愿得到本身资金的人)对生意业务的某些子集举办当地验证,以此(以某种方法,形状或形式)来转移这种承担 。重要的是,他们保存根下层无需信任的安详模子,同时无需依赖用户本身运行的软件以外的资源。
营利
译者:Emma、Snow Lu
· 数据可用性:办理
ANON
与 Plasma 一样,基本层无法直接验证生意业务就意味着会有一些无效生意业务。在 ORU 下,任何当事方都将见证无效生意业务的更新,然后通过欺诈证据向基本层展示欺诈证明,欺诈证明将还原欺诈性区块以及及后续的区块更新。一旦过了足够的时间而没有提交欺诈证明,就可以确定并汇总区块,从这些区块中启动的提款就可以完成。为了抑制存心宣布无效区块的行为对社区的恶意粉碎,区块提交人会宣布一个担保金,假如欺诈证明有效,将大幅削减担保金。这种防欺诈处理惩罚的准确方法是任何特定 ORU 布局的焦点。
假如我们的界说足够宽松,针对该数据隐瞒问题的所有办理方案都可以分为两大类:状态通道和Plasma(channels and Plasma)。假如两方在一个通道中,两边一致同意后,链下数据的更新才真正有效。因此,假如 Alice 选择保存 Bob 的数据,Alice 将处于最新状态;保存数据对她没有长处。对比之下,Plasma 则没有两边一致同意的这一要求。这直接导致在 Plasma 中,假如用户没有任何直接证据,则大概产生无效更新。纵然在这种环境下,Plasma 仍可以担保用户持有须要的链下数据,在交互质疑期中证明并确保其资产所有权。
正如我们预料,纵然是上述因素也需要在差异的 ORU 布局中彼此衡量。(有关 ORU 背后的更多信息,请参阅 John Adler 的 “The Why’s of Optimistic Rollup”。)
用户体验 / 验证
覆盖以太坊扩容社区的阴霾–Optimsitc Rollup
以上是陈诉的第一部门,剩下两部门将于克日连续宣布,内容包罗:
广义上讲,除了智能合约成果自己之外,支持完整的 EVM 可以或许担保 rollup 和主链之间的技能一致性,有望与基本架构东西更轻松地集成,而且让开拓人员更容易过渡,他们已习惯在 Layer1 上利用 Solidity 编译的智能合约。相反,那些更方向于支持更有限的、受限的成果项目具有以下利益:本钱更低的(或多或少)欺诈证明,验证更容易,可以针对特定用户直接实现优化以及总体上的简化。
Optimictic Rollup 回收前一段中所述的框架并把它翻转过来;ORU 并不规划在数据隐瞒的环境下保存非禁锢性,而是采纳了一种更直接的要领,即直接要求将生意业务数据宣布在链上,更详细地说,要求将足够的数据宣布在链上,以便任何运行以太坊节点的人都可以重建 ORU 的状态。扩容的长处在于,Layer 1 仅需发明数据并将其 Merkle 树化为区块根,无需执行任何操纵;(抱负环境下)计较仅在 Layer 2 执行。因此,生意业务数据作为呼唤数据宣布在链上,而且不存储在状态中;因为状态容量增长和计较本钱(大概)是以太坊扩容的焦点瓶颈,这具有不小的增长空间。
完整的 EVM: Layer 2虚拟机
因此,在Layer 2的场景中,假如要将数据完全断绝在链外,将不再能担保我们有这种数据可用性;因为那些担忧数据有效性的人大概会隐瞒数据。因此,我们必需弄清楚,在这种极度环境下,如何故某种方法确保不会产生无效的状态更新。对付Layer 2系统,数据隐瞒问题始终是最难最坏的环境;因为最糟糕的就是在没有信息的环境下去探寻事实。
加密钱币协议有其内涵的经济属性,可以鼓励区块出产者实时地、遍及地共享区块(除非是自私挖矿等边沿环境 selfish-mining edge cases);区块链基本层有时被称为“数据可用性引擎”。确保数据是(完全)果真的,可以担保其可以或许举办验证,而且无效生意业务险些无法通过。
· 更轻松/更遍及地支持智能合约
仅思量 Optimistic Rollup 范畴内的项目,也就是说,它们必需都是 “Optimistic”,包罗某种假设,即“假设有效,除非可能直到提交欺诈证明”(即,不是 ZK-rollup)并包罗“Rollup”,即,链上宣布了足够的数据,任何调查者都可以重建状态并检测无效性(即,不是 Plasma)。大大都所接头的大大都项目都严格切合这些参数,独一的破例是 IDEX 2.0,其具体信息将在下面接头。基于 Plasma 或与 Plasma 相邻的构建上事情的其他各类项目,都属于研究 ORU 的初期阶段,包罗 Matic,LeapDAO 和 Cryptoeconomics Lab。