http://www.7klian.com

科普 | 自下而上表明 Optimistic Rollup

重温一下 ORU 的长处
 

校方抉择对 Jamal 采行胡萝卜加大棒(软硬兼施)的打点方法:胡萝卜:Jamal 提供处事调换可观的酬金,天天 Jamal 发送 WiSWho 生意业务之后,智能合约就会从授权 Jamal 向校方提领 $ 5 的权利。但 Jamal 不能立即拿到这 $ 5 ,他只能在月末提领。Jamal 看着可提领额度天天蹭蹭往上涨,他必定会愿意继承提供处事。制止恶意审查的柔性手段:假如 Jamal 存心无视 Alice 提交的信息,当晚她可以自行向智能合约提交签署信息(虽然,要本身承担 gas 用度)。隔天一早, Alice 可以去找校长起诉,同时其他同学也会有所鉴戒,Jamal 的声誉会因为作恶行为而下降。对付校方来说,很容易就能找到能替代 Jamal 脚色的人选:智能合约已经在 layer 1 上陈设运行, Jamal 的替代者只要运行 AWS lambda 处事,天天一连监听同学们发来的信息、打包签名、向 ORU 合约广播单笔生意业务即可。

对付财务吃紧的学校来说,每个月 $ 3k 的支出显然是不符合的。这时候 ORU 就派上用场了。Jamal 汇报校方,利用 ORU 可以低落约 99% 的 gas 用度 ,以下是改造的方案:

保存对 Jamal 的查抄权

办理要领 v1
每笔生意业务的 Gas 本钱更低;因为与执行生意业务对比,存储数据的 Gas 本钱更低。

实际上,任何愿意在合约上锁定担保金的人都可以成为执行者(不同只是他们要从头向学生宣传本身罢了)。

强硬手段是 ORU 合约中最有趣、最具抉择性的内容;事实上,它就是 ORU 成为 layer 2 办理方案的焦点因素。这个手段的出格之处在于:不可是校方或学生,任何人都能举起这监视的大棒。只要 WiSWho 数据上链,举报者们就能拿到证明 Jamal 是否作恶所需要的所有质料。人人都能向 ORU 合约发出对 Jamal 生意业务的质疑,并有时机得到举报乐成的嘉奖。强硬手段的设计及运作,是差异 ORU 实现之间最重要的区别。

在乐观环境下, layer 1 的全节点无需执行 ORU 操纵者提倡的生意业务的附加数据,这样一来:

悬念
将 Jamal 的担保金一半嘉奖给举报者,另一半销毁。

你大概已经留意到 Jamal 签署的信息,强调了两句话:

 

 

ORU 要办理什么问题?

Alice 看到男伴侣 Bob 亲吻 Cathy,她感想很是生气。但 Bob 大概会辩解 “我立誓我没这么做!” 或 “我俩早就分离了!”…… 但 Alice 基础听不进去,抓起椅子就朝 Bob 扔去;这种在走廊上演的小剧场,正粉碎着整个校园的情况。

某所高中正面对这样的问题:每隔几天,就会呈现小情侣的争吵事件,凡是是因为个中一方劈叉。

办理要领 v2

 

制止诈欺行为的强硬手段任何人都能发明 Jamal 存在诈欺行为(假如有),并通过简朴举证向 layer 1 的 ORU 合约证明存在诈欺。除此之外, Jamal 必需事先向智能合约锁定一笔担保金(想成为执行者的人都需要锁定,作恶就会被罚款),担保金增加 Jamal 举办诈欺的本钱。简朴举证包括如下内容 —— “嘿 ORU,这个签名是 Jamal 查抄过的数据之一,由 Alice 签署;但我,作为举报者,我公布这是个无效的签名!”

“何时能获得大局限接管?”这是我们圈子里最常见的问题。假设各人都开始回收技能,ORU 也能用于办理网络拥堵 —— 但此刻却呈现另一个问题。 假设教诲部但愿 Jamal 处理惩罚全国范畴内,所有学校的签名,这时候我们的问题就会从 “能处理惩罚几多学生?” 转为 “你能处理惩罚几多学校?”。

接着,Jamal 用本身的私钥签署这一笔生意业务,并广播之。生意业务信息为:

肉疼!

 

ORU 与侧链 /Plasma/ 状态通道有什么区别?
“我正在与 X 约会(只和 X)”
“我正在和多小我私家约会(还没安宁)”

更进一步分解强硬手段

 

总结

清零 Jamal 的待提领嘉奖,

典范的场景如下:

来自教诲部的电话

用行话来说,Jamal 充当了 layer 2 “执行者” 的脚色。假如你曾经用以太坊举办生意业务,你大概留意过附加数据 —— 也就是以太坊欣赏器中 “Input date” 那一栏。如下图所示,简朴生意业务中大大都人会将附加数据留空;假如生意业务中挪用了如 Uniswap 的 swap 函数,则挪用的函数名和传入的参数就会附加上作为生意业务的 Input Data ;Jamal 的生意业务会挪用 layer 1 的 ORU 合约, WiSWho 就是 Jamal 广播的生意业务的 Input Data 。左图:简朴生意业务,没有附加数据。右图:Uniswap 函数和入参(譬喻 min_tokens 是收到的以太坊数量 )作为附加数据。以太坊(layer 1)的 ORU 合约只会验证 Jamal 的签名,而附加数据 WiSWho 中的其他同学的签名,只会被视为区块的二进制“ 冷数据”(注:不会被会见或检索的数据)。这就是扩展性的浮现,因为这样一来 layer 1 的全节点只要验证 ORU 执行者的签名并存储附加数据,而不需要验证WiSWho 里的所有签名。

智能合约会从先前宣布的数据中抽取出 Alice 的签名,并通过 Alice 的公钥(在 ORU 合约配置之初就存好了)执行签名验证。假如这个签名简直是无效的,则:

天天晚上,要求所有学生选择以下信息之一,并签署本身的暗码学签名——

你大概会说,“既然可以将整个学校的所有签名整合为一笔生意业务,,那同理将全国的签名整合为一笔生意业务不就好了?”

 
 

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