http://www.7klian.com

以太坊重要扩容方案: Optimistic Rollup 近况陈诉(下)

其他的,如 Optimism* 和 WCL,打算利用燃烧证明拍卖模式来举办生意业务排序;将一组生意业务事项涵盖在内后,生意业务权利就归愿意燃烧最多 Ether 权益的一方所有。这样做的目标是为了低落本钱和果真竞争,以最大限度地淘汰寄生性的先发时机带来的利润空间,并较为抱负地低落整体风险。雷同方案运作方法改观请详见“Miner Extractable Value Auctions”。
在 Arbitrum 模子中,任何一方都可以将生意业务添加到行列中(他们称其为“inbox”);区块出产者被迫从行列的末端提取生意业务事项,并将其放入下个区块中。仅涵盖无效生意业务,但不举办状态转换。无论是举办无效生意业务照旧有效生意业务失败了,都可以通过防伪证明将其判定为处罚性的犯法行为,从而解除简朴的审查事宜(更多详情请参考这里)。
大大都项目严格遵守文章开头中描写的 layer2 协议的信任要求。
验证的别的一种直接鼓励方法是:对验证器去信任,可以或许快速确保各人所体贴的生意业务已完成;即,不必非要期待退出窗口的呈现。预期功效是:从中受益的各方会涉及到生意业务所、钱包供给商、快速退出选项的活动资金供给商、可以或许接管大笔重要转账的用户、高端用户/喜好者及项目缔造者。一个团队曾发起:矿工可以把验证 rollup 链当做本身的职责地址,就所利用数据第1层和第2层之间鼓励的彼此影响提出一些有趣的问题。
最后,Celer 的 Rollup 是唯一无二的,因为区块出产自己就包括其本身独立的共鸣机制。在开拓 rollup 之前,Celer 已经打算开具一个 Ethereum 侧链权益证明(状态守护网络“State Guardian Network”)充当他们国度频道网络的瞭望塔。参加区块出产是不答允的,而且需要支持Celer的代币。侧链会利用BFT共鸣—好比Tendermint可能雷同。Celer打算操作此侧链基本布局来提议和宣布ORU区块(更多详情请参照 here)。
· 区块上产模子 
只有看到这些问题进入主网,而且看到生态系统选择利用这些东西方法时,我们才气答复这些开放性的问题;即,项目是否会将基本设施应用到越发广义的 rollup 办理方案中,可能设计一些越发能与实际用途接轨的对象,再加上一些关于 gas 本钱和验证承担越发详细的基准,以便在生意业务中给出确切的数字。可是 testnet 上已经有了几个项目,而且没有发明任何黑暗举办的研究和可用性的挑战,可以确定的一点是,我们很快就会看到其实际应用。可扩展的自主智能合约正在应运而生。
· BLS签名
· “Post-Data”
一些研究和建模大概会对这些问题提供一些开导,但在看到它们接管野外测试之前,我们大概无法得出任何结论。
市场代价奈何可以或许在燃烧证明拍卖中获得充实的浮现和展示。
别的也有大大都操纵包括一些将区块出产拆分为两步的看法:生意业务内含和生意业务排序的单独投入。这些模子办理了关于审查阻力和减控提前生意业务时机的问题。
轻松成为了当下的热门话题;有了 BLS 的签名,区块出产商可以从每个 rollup 区块中获取一个签名,并将它们替换为单个聚合签名,从而使链上数据需求更靠近于 ZK-rollups。较量贫苦的一个问题是:假如验证的话,验证 BLS 签名要比典范 ECDSA 签名耗损更多的 gas。Barry Whitehat 谈到:他已经确定了一个可行的布局,为 ORU 聚焦区做筹备,但在最佳签名聚合方案还未告竣共鸣。
截至,本陈诉全部内容已全部放出。

· 隐私
尽量在 Fuel, Optimism 和 Interstate 的区块出产是免许可的,可是假如他们(即:公司)是主要的区块出产商的话,一切就没有问题。他们打算通过收取用度来赚钱,因为他们作为优先聚合器处于优势职位(先前接头过)。
IDEX 2.0 确实能为用户提供主链启动的退出选项。较量巨大的一点是:假如存在欺诈行为时,这些退出选项必需验证/大概恢复兴状,因此必需附带一份担保书,以防恶意粉碎。可是思量到这些退出选项是受支持的,所以 IDEX 的许可模子自己并不能担保系统处于禁锢状态(其它的免许可的链也打算在非凡环境下回收主链启动退出选项)。
相对付 Plasma 和通道布局,rollups 的一个缺点就是无法得到数据完全掉链的隐私长处;这里提到的可以或许提供隐私长处的独一项目就是 ZK-ORU。其它的项目正在接头建设聚焦隐私的 rollups, 方法有两种:在布局上实施其它知名的隐私技能(即,Tornado Cash – esque mixers 可能 Aztrec-esque隐私层)可能缔造殽杂 rollup/联邦数据模子,这样用户就可以依赖大量的可用数据,进而淘汰在链上的发布。
Offchain 尝试室并未打算罗列 Artibrum Rollup 实例,而是打算操作自身事情为项目提供一份企业筹划及支持,尚有一些经济、安详方面更强有力的保障来实现营利。
Fuel 模子具有区块出产周期,在此周期内,有个时间窗口,一方(即:公司/团队)可以得到排序权利的许可。在此模子里,团队在获取代价和将应用措施钱币化方面处于优势职位,而且不必将区块出产限制在答允的范畴内。
最终,一些项目,包罗 Fuel、Optimism 和 Nutberry,已经接头给用户提供信任型的快速付出选项;一个用户,假如他们选择的话,可以思量在完成付款后再将其包括在区块中。假如食言的话,此欺诈行为将无法向母链证明,但可以向任何第三方证明。至关重要的一点是:此选项不是强制的,在用户界面上有明明的区别;对此完全不信任的用户仍然可以选择期待区块确认。同样,Celer 打算向用户提供一系列的安详/信任参数,用户可以要求所有的生意业务都在 rollup 区块里立刻发布,可能在链上完成之前可以或许接管参数化信任窗口的侧链变的更小、而且任务要害度也会低落。
大大都项目打算通过 metamask 插件支持 rollup 链上生意业务,除了宣布他们本身的前端接口之外,metamask 插件的基本布局东西已经根基停当。
用户体验 / 验证
假如和/当无法兑现付出理睬时,可通过让区块出产商大幅削减抵押品来举办去信任即时确认;几个团队正在思量宣布实施并将此成果落实到位。
信任假设
大大都项目都回收开放的、免许可的区块出产模子;即,任何一方都有权利通过提出新的区块来刊行债券而且扩展 ORU 链。 
当提前生意业务淘汰时,单一优先级聚合器模子是否只会刺激更具粉碎性的提前生意业务。
假如并非所有用户都需维护正常运行时间和验证所有区块,全部项目都能运行;即,他们期望有两类用户:普通终端用户和高级用户(即,验证器)。所有 ORU 的实质是,只要至少有一个厚道方在任何给按时间内验证并宣布防伪证明,所有用户都是安详的。验证的经济鼓励方法是直接宣布嘉奖(仅在 IDEX 环境下),而且有时机出产区块并收取用度,有时机宣布防伪证明并得到嘉奖。虽然,防伪证明的第22条原则是,假如系统设计公道的话,照旧但愿欺诈只管不要产生(假如然的产生过的话)。
区块出产和时间窗口所需债券的抱负参数
IDEX 2.0对数据可用性挑战的依赖让此协议成为一种特例,而且不在 ORU 明晰界定的范畴之内。当区块出产商提出一个区块时,他们最初仅宣布 Merkle 根,并隐含地假设他们将与链下验证器共享相关区块数据。譬喻:假如区块数据从不与验证器共享,验证器可以发出数据可用性挑战,迫使区块提出者将数据宣布为挪用数据(与最初典范的 ORU 布局中所做的一样)。假如功效证明区块是有效的,验证器会因无效的争议挑战而受处处罚,并削减掉他们的部门权益。
当下的问题是:上面概述的分歧本质上是在争论两边中毕竟哪一方实际拥有数据;依据遇到发送者/吸收者信息差正义(speaker/listener fault equivalence), 客观地办理这样的争端是不行能的。因此,鉴于对声誉及互换生态系统中继承参加并赚取用度念头的担心,需要阻止 IDEX 强行恶意粉碎并最终惩戒验证器。无论其是否足以在实践中防备恶意行为,可是这些假设都是对 ORU 或以太坊自己的安详担保,因此,这种对数据可用性的挑战和处罚是可以作为一个附加的信任假设。
Daniel Goldman 丹尼尔·戈德曼是一位自由软件工程师、技能参谋和作家。想要得到他的更新作品,请点击这里。
除了完整的 EVM/应用措施特定支解之外,团队之间个中一个主要争议好像是免许可区块出产的哪种模子是可以接管的,差异的模子又会发生什么样的功效,也就是说:
个中五个项目:Fuel Labs, Optimism, Interstate, WCL 和 IDEX 正打算从事情中实现营利,有三种方法:项目实施案例、通过收取生意业务费赢利、向用户提供快速撤回资金的活动性。
独一(无可争议)需要附加信任假设的别的一个项目是 ZK-ORU,需要一个可信的配置来建设其 snark 线路。像 ZCash 和 Aztec 这样的项目通过一个经心设计的典礼(elaborate ceremony)来处理惩罚这个问题,只要 n 个参加方中至少有一方的行为是厚道的,就具有加密安详性;ANON 打算做一些与 ZK-ORU 雷同的流动。
IDEX 的经济方案是最详尽的;钱币化来历于一种加密经济学配置,个中包罗收取互换费和原生通证固有的代价。区块出产者(IDEX)和验证器都获得了赔偿,从而使 IDEX 也成为独一一个实验直接鼓励验证的项目。IDEX 和 Celer 是打算归并应用通证仅有的项目。其他几个团队对 Layer 2 系统固有的通证这一观念嗤之以鼻;别的一些人对大概存在的经济通证模子持越发开放的立场,可是认为还需更多的研究,就项目而言也没有详细可实施的打算。
·
Optimistic Game Semantics
可以想象,假如在
以太坊上利用 rollup 技能成为类型,当大部门链数据以“卷起”的形式存在时,将来会是什么样子;即,在实用性方面可用,但不能直接用于实施;此改观大概对以太坊客户端实施发生重大的经济和技能影响。一种方案就是:为这样的将来做筹备,,其实就是引入一个非凡的生意业务数据规模,临时称为 “post-data”,仅用于可用性,而且不能触及 state 模块或 EVM。有了这一点,客户可以越发优化地处理惩罚和存储数据,而且在抱负环境下,gas 价值最终会低落。 EIP 对此方案有大抵概述,可是今朝正处于初期阶段。

本文是《重要扩容方案: Optimistic Rollup近况陈诉》的第三部门,第一、二部门请查察我们的前期文章。
Optimism 团队对 layer 2 布局理论性质的研究最终得出了 Optimistic Game Semantics 的观念,实验着叙述欺诈/争议统一语义框架下的 layer 2 差异布局。旨在 layer 2 的差异范例应用措施(不只包罗 rollups,还涵盖 channels 和 plasma 等等)之间建设共享的契约逻辑和基本设施。Optimism 和加密经济尝试室(今朝主要聚焦于 Plasma 布局,可是在将来大概开拓 rollup 操纵)都实验着在这样一个大统一的框架内开拓东西。
由于大大都团队还没有确定最终的数字,所以在区块完成之前(因此撤回到主链中是有大概的)仍处于果真接头阶段。假如挑战阶段更长的话,更能确保用户有更多时间来检测欺诈行为,并能更好地给试图审查防伪证明的矿工施压。对一些项目来说,最好的就是几天到一周处于安详期,因为他们会向安详靠拢,而且用户凡是会越发快速地撤回,撤回方法要不就是原子转化至链上或通证化,要不就是将退出选项变卖后作为债券来用(在 Plasma 布局中已经探讨过)。据 Ed Felten阐明 analysis,像3个小时这样更短的纠纷窗口足够用了。
独一破例的是 IDEX 2.0,因为 IDEX 拥有出产区块独一的许可权。在这种环境下,假如用户未获取运营商许可就可以或许撤回资金,这样就可维持非信属性(即,通过直接在母链上宣布一项生意业务来撤回资金)。假如没有这个选项,用户在碰着恶意运营商时将会束手无策,因为运营商会审查用户的所有撤回实验,实际上是将用户的资金无限期地锁定在 rollup 链上。同样,在一个许可系统中,逐渐减缓对区块的出产甚至完全遏制出产对运营商来说都不是难事;在这种环境下,用户需要撤回资金。
ANON 正打算严格宣布实施来作为公益成就,今朝还没有直接获取代价的打算。PinkieBell(独一支持 Nutberry 的匿名开拓商)也没有实现钱币化的打算,可是今朝正在思量开拓商用度,从区块出产商收取一小部门用度用于付出从事该项目标开拓商。
感激所有介入采访的团队,感谢你们大有裨益的探讨。
· 债券局限和挑战阶段参数
结论
*更正:这篇文章先前的版本表白 Optimism 打算的区块出产模子允将他们优先作为定位器;他们的 MEV 拍卖协议实际上不会给任何人带来特权。感谢 Ben Jones。
富有一方是否会恶意粉碎并有效地审查纯粹权益证明–区块出产。
营利
至少有一个项目对该公司作为付出处理惩罚商的法令职位暗示不确定,今朝正在期待对这个问题的进一步澄清。
操作 Optimistic Rollup 模式的团队从差异的角度得出结论:摸索 layer 2 差异布局的理论设计空间,寻找可以或许在 EVM 中有效运行执行引擎的要领,实验建设以太坊现有应用措施更具扩展性的版本等等,汇聚至 ORU 进而以最小的实际巨大度得到足够的可扩展性长处,这是向前成长的最佳方法。
区块出产
在 layer 2 布局中,抵偿无效的话,债券可以作为须要的抵押品来对用户举办抵偿,可是 ORU 中的债券就纷歧样了,除了抑制 gas 挥霍之外,仅为了抑制无效的区块出产(或者也作为对乐成指证欺诈行为者的一种嘉奖)。所发起的债券需求从可以与 ETH2.0 权益需求相媲美的 32ETH 到 1ETH 不等,可是一些人发起应该与 rollup 链上的经济代价额对等(链下尝试室打算 “1 Eth可能链上总代价的2%,按较多者为准”)
所有的项目都打算将它们的事情作为免费的开源软件宣布。
关于研究 / 接头的开放性话题

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

相关文章阅读