http://www.7klian.com

自下而上表明 Optimistic Rollup

与 plasma 和状态通道差异:ORU 的诈欺证明机制很是简朴,任何人 都能提交挑战。举报者有 layer 1 上可用的所有数据,可以或许检测并向 ORU 合约提交诈欺行为证明,以此得到嘉奖。假如回收 plasma 或状态通道,用户必需包袱其资金的部门或全部的安详性责任,而且必需时刻 “监督” layer 1 合约的环境,以防执行者或其他用户搞欺诈。
假设教诲部但愿 Jamal 处理惩罚全国范畴内,所有学校的签名,这时候我们的问题就会从 “能处理惩罚几多学生?” 转为 “你能处理惩罚几多学校?”。
“我正在和多小我私家约会(还没安宁)”
强硬手段是 ORU 合约中最有趣、最具抉择性的内容;事实上,它就是 ORU 成为 layer 2 办理方案的焦点因素。
重温一下 ORU 的长处
对付校方来说,很容易就能找到能替代 Jamal 脚色的人选:智能合约已经在 layer 1 上陈设运行, Jamal 的替代者只要运行 AWS lambda 处事,天天一连监听同学们发来的信息、打包签名、向 ORU 合约广播单笔生意业务即可。
固然我们相信,Jamal 是个正直的人,他理睬绝对不会搞审查或诈欺,但从安详性的角度思量,我们最好照旧将但愿拜托在 Jamal “无法作恶” 而非 “不会作恶”。
你大概已经留意到 Jamal 签署的信息,强调了两句话:
在乐观环境下, layer 1 的全节点无需执行 ORU 操纵者提倡的生意业务的附加数据,这样一来:

左图:简朴生意业务,没有附加数据。右图:Uniswap 函数和入参(譬喻 min_tokens 是收到的以太坊数量 )作为附加数据。
你大概会说,“既然可以将整个学校的所有签名整合为一笔生意业务,那同理将全国的签名整合为一笔生意业务不就好了?”
· layer 1 全节点层面的执行本钱更低;因为存储数据要比在其内部运行任何逻辑自制得多。
智能合约会从先前宣布的数据中抽取出 Alice 的签名,并通过 Alice 的公钥(在 ORU 合约配置之初就存好了)执行签名验证。假如这个签名简直是无效的,则:
办理要领 v1
1. 包括了完整的事实,且
制止诈欺行为的强硬手段:任何人都能发明 Jamal 存在诈欺行为(假如有),并通过简朴举证向 layer 1 的 ORU 合约证明存在诈欺。除此之外, Jamal 必需事先向智能合约锁定一笔担保金(想成为执行者的人都需要锁定,作恶就会被罚款),担保金增加 Jamal 举办诈欺的本钱。
校方抉择对 Jamal 采行胡萝卜加大棒(软硬兼施)的打点方法:

这个手段的出格之处在于:不可是校方或学生,任何人都能举起这监视的大棒。只要 WiSWho 数据上链,,举报者们就能拿到证明 Jamal 是否作恶所需要的所有质料。人人都能向 ORU 合约发出对 Jamal 生意业务的质疑,并有时机得到举报乐成的嘉奖。
肉疼!

本文将通过简朴的例子,自下而上地叙述 Optimistic Roll-Up (ORU) 的运作方法;为了让我们能 “看得见摸得着” ORU 链所有的意涵,本文举的示例也会较量非凡。
学校里有 1000 位同学,每人天天都要签署发送 1 条动静,平均每条动静要耗费 $ 0.1 的 Gas;所以每个月学校用在 Gas 上的用度为:
简朴举证包括如下内容 —— “嘿 ORU,这个签名是 Jamal 查抄过的数据之一,由 Alice 签署;但我,作为举报者,我公布这是个无效的签名!”
典范的场景如下:
和 v1 要领一样,当每位学生点击 “签名 & 发送” 之后,信息会先发送至 Jamal 家的处事器。然后 Jamal 将所有的签名叠加成一串字符串数据WiSWho (也就是 “谁在和谁约会”)的信息 。
某所高中正面对这样的问题:每隔几天,就会呈现小情侣的争吵事件,凡是是因为个中一方劈叉。
“我只身,勿扰”
Alice 看到男伴侣 Bob 亲吻 Cathy,她感想很是生气。但 Bob 大概会辩解 “我立誓我没这么做!” 或 “我俩早就分离了!”……但 Alice 基础听不进去,抓起椅子就朝 Bob 扔去;这种在走廊上演的小剧场,正粉碎着整个校园的情况。
举报者举办诈欺检测及举证所需的所有数据,都能从 ORU 生意业务的附加数据取得;Layer 1 的全节点不会执行附加数据的内容(除非有人举报存在诈欺),这就是 layer 1 可以或许扩展的基础因素。对付 Layer 1 来说,这些附加数据只是个二进制数据包,并会被永久存储,仅此罢了。

假设你在 ORU 链上玩扑克或生意业务代币,则你的资产转移就等同在 layer 1(譬喻以太坊主网)上转移一样安详。固然当产生欺诈环境时,大概会碰着一些未便 —— 譬喻你需要期待一两个礼拜才气释放资金,可是 layer 1仍然可以担保资金的安详。
(1000 学生) x (1 信息/天/学生) x( $.1 gas/信息) x (30 天/月)
强硬手段的设计及运作,是差异 ORU 实现之间最重要的区别。
这时候 ORU 就派上用场了。Jamal 汇报校方,利用 ORU 可以低落约 99% 的 gas 用度 ,以下是改造的方案:
这就是扩展性的浮现,因为这样一来 layer 1 的全节点只要验证 ORU 执行者的签名并存储附加数据,而不需要验证WiSWho里的所有签名。
“我正在与 X 约会(只和 X)”
“我只身,待配对”
用行话来说,Jamal 充当了 layer 2 “执行者” 的脚色。

违反法则 1 的环境称为恶意审查(censorship),意思是 Jamal 在恶意地过滤信息,好比 Bob 和 Alice 有过节,所以 Bob 行贿 Jamal ,让他审查 Alice 的信息以粉碎 Alice 的优美糊口。
· 将 Jamal 的担保金一半嘉奖给举报者,另一半销毁。

假如你曾经用以太坊举办生意业务,你大概留意过附加数据 —— 也就是以太坊欣赏器中 “Input date” 那一栏。如下图所示,简朴生意业务中大大都人会将附加数据留空;假如生意业务中挪用了如 Uniswap 的 swap 函数,则挪用的函数名和传入的参数就会附加上作为生意业务的 Input Data ;Jamal 的生意业务会挪用 layer 1 的 ORU 合约, WiSWho 就是 Jamal 广播的生意业务的 Input Data 。

· 清零 Jamal 的待提领嘉奖,
所以说,通过 ORU 能得到的扩展性是有上限的,假如你需要无限扩展,可以思量侧链或 plasma 等……但这样资金安详就没那么有保障。
校园里的超等书白痴 Jamal 提出了一种办理方案:
ORU 要办理什么问题?
与侧链差异:侧链的理念发端于 2014 年,但从未发生很大的吸引力;而 ORU 链的安详性是直接由 Layer-1 来掩护的。
= $3000 gas/月.
制止恶意审查的柔性手段:假如 Jamal 存心无视 Alice 提交的信息,当晚她可以自行向智能合约提交签署信息(虽然,要本身承担 gas 用度)。隔天一早, Alice 可以去找校长起诉,同时其他同学也会有所鉴戒,Jamal 的声誉会因为作恶行为而下降。
办理要领 v2
所谓的 optimistic rollup (ORU),其实就是 ①智能合约 —— 陈设在某 layer 1 (如,以太坊主网) 上,以及 ② 区块出产者 —— 会监听特定 p2p 网络的生意业务的,并将其汇总成一个大字符串数据,附上验证签名后上链。
为了利便同学们利用,Jamal 开拓了一款 app ,每个同学只要在 app 上选择四条内容之一,然后点击 “签名 & 发送” 按钮就行,之后签名动静会从后端向以太坊 P2P 网络广播 —— 事实上,这些动静会先发到 Jamal 家里的处事器,由他代表同学们向以太坊发送动静,这样同学就不需要劳神以太坊 Gas 的配置。Jamal 通过一些智能合约高级能力(CREATE2 操纵码),就可以本身先替同学们付出 Gas ,然后再按月度向学校报销 Gas 用度。
对付财务吃紧的学校来说,每个月 $ 3k 的支出显然是不符合的。
更进一步分解强硬手段
胡萝卜:Jamal 提供处事调换可观的酬金,天天 Jamal 发送 WiSWho 生意业务之后,智能合约就会从授权 Jamal 向校方提领 $ 5 的权利。但 Jamal 不能立即拿到这 $ 5 ,他只能在月末提领。Jamal 看着可提领额度天天蹭蹭往上涨,他必定会愿意继承提供处事。
“何时能获得大局限接管?”这是我们圈子里最常见的问题。假设各人都开始回收技能,ORU 也能用于办理网络拥堵 —— 但此刻却呈现另一个问题。
因为合约可以或许直接吸收用户的生意业务,纵然执行者掉线或是作恶,都能担保用户可以或许安详地将资金从 ORU 退出。更重要的是,合约可以或许核实执行者是否存在诈欺行为,如有有,合约还能罚没执行者的担保金。
保存对 Jamal 的查抄权
· 每笔生意业务的 Gas 本钱更低;因为与执行生意业务对比,存储数据的 Gas 本钱更低。
违反法则 2 的环境称为诈欺(fraud),意味着 Jamal 将一条或多条不存在的信息加到 WiSWho 。好比,数据中包括一条 Alice 的声明 —— “我正在和 10 位男孩及 10 位女孩约会”,而事实上 Alice 基础没有签署这样的信息,所以 Jamal 在 WiSWho 中放入的 Alice 签名是犯科的(大概是 Bob 行贿 Jamal ,以此造谣中伤 Alice ;又或是 Jamal 对 Alice 不满,想让她难过……)。
接着,Jamal 用本身的私钥签署这一笔生意业务,并广播之。生意业务信息为:
另一方面,假如你在侧链举办生意业务,侧链上的矿工(PoW)或验证者(PoS)可以窃取你的资金;因为只要他们想要,就能片面向 layer 1 报告对他们有利的故事,而 layer 1 无从考据。
2. 仅包括事实。
总结
“我,Jamal,查抄过这笔生意业务附带的 WiSWho 数据,WiSWho 代表停止 dd/mm/yyyy 所有学生的来往干系,我对天立誓这些数据包括了完整的事实,无任何人工添加。”
ORU 与侧链/Plasma/状态通道有什么区别?
WiSWho 的信息名目是 [ Alice 的 ID、Alice 的动静、Alice 的签名 ]、 [ Bob 的 ID、Bob 的动静、Bob 的签名 ] ……
学校会在布告栏张贴 “学生与其对应公钥” 的通告,所以任何人都能用签名验证的要领来确实谁签了什么动静。
ORU 是 layer 2 扩展方案中的佼佼者,既能把可扩展性的蛋糕做大,也能让你吃到 —— 至少是吃到一部门吧。各人之所以对 ORU 如此欢快,是因为它及它的表亲—— ZK-Rollup,降服了侧链、 plasma、状态通道等方案都没有办理的 layer 2 困难。
以太坊(layer 1)的 ORU 合约只会验证 Jamal 的签名,而附加数据 WiSWho 中的其他同学的签名,只会被视为区块的二进制“ 冷数据”(注:不会被会见或检索的数据)。
这里的签名和用于暗码学钱币转账的签名范例是一样的。
因为 ORU 合约不会查抄 WiSWho内容的正确性,所以诈欺行为会严重影响利用 ORU 的初志,还会让 gas 用度上升(验证签名并不自制),因为存在诈欺行为会迫使各人退而利用 v1 办理要领。
悬念
这就牵扯到 ORU 扩展性的上限:区块的 Gas 上限。固然 Jamal 广播生意业务的 Gas 耗损量很低,但并不是不存在。假如想要在一笔生意业务中包括全国范畴内的所有学生数据,很有大概会高出区块的 Gas 限制,换言之, Jamal 需要将数据举办拆分,分批广播。
来自教诲部的电话
天天晚上,要求所有学生选择以下信息之一,并签署本身的暗码学签名——
实际上,任何愿意在合约上锁定担保金的人都可以成为执行者(不同只是他们要从头向学生宣传本身罢了)。

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。