链资讯 链资讯
Ctrl+D收藏链资讯
首页 > DAI > 正文

LIC:关于 Optimistic Rollup,你需要知道的一切(下)_STIC

作者:

时间:

干货|关于OptimisticRollup,你需要知道的一切

OptimisticRollup的激励机制

Layer2可扩展性方案基于这样一个事实,即,我们试图尽可能减少链上执行的事务的数量。我们使用欺诈证明来取消已发生的无效状态转换。由于欺诈证明是链上事务,我们想尽可能减少在以太坊上发布的欺诈证明的数量。在理想情况下,欺诈永远不会发生,也就不会有欺诈证明发布。

我们通过引入诚信保证金来反激励欺诈行为。想要成为排序者的用户必须首先在以太坊上存入一笔保证金。如果他们的欺诈行为被证明,就会失去保证金。为了激励用户积极发现欺诈行为,排序者的保证金会被奖励给验证者。

诚信保证金和争议期

在欺诈证明激励机制的设计中,有两个参数需要设计:

诚信保证金金额:排序者所缴纳的保证金就是验证者所能获得的奖励。金额越高,对验证者的激励越大,对排序者作恶的激励就越小。

争议期持续时间:可以发布欺诈证明的时间窗口。一旦过了这个时间窗口,L2事务就会在L1上敲定。如果争议期较长,就会提高安全性,更好地抵御审查攻击。如果争议期较短,用户在将L2上的资金取出到L1时就能享有更好的用户体验,因为他无需等待很长时间就能在L1上使用这笔资金。

dYdX关于“从LP奖励转向做市商返利”的提案已通过,做市商返利增长为0.85bps:7月24日消息,据Snapshot投票页面显示,dYdX关于“从LP奖励转向做市商返利”的提案已通过,该提案提议将做市商返利由0.5bps提升为0.85bps,将LP奖励减少50%,由1150685 DYDX/epoch降为575342.5DYDX/epoch,LP削减部分将进入奖励金库,通过DAO投票分配。预计这一减少将导致交易所流动性改善,达到或接近账面顶部;对于LP来说,经济上大致是中性的;它将显著减少每月DYDX释放。目前提案已通过,减少LP奖励需要在短时间锁内进行链上投票。[2023/7/24 15:54:51]

我认为,这两个参数都没有所谓正确的静态值。或许10ETH的保证金和1天的争议期就足够了。真正的答案是,这取决于成为验证者的激励,以及发布欺诈证明的难度。这些都是可以手动或自动调整的。例如,EIP1559在以太坊上引入了

BASEFEE

操作码。这个操作码可以用来预测链上拥堵程度,让争议期的长度也变成可编程的。

正确地实施这一惩罚机制很重要,否则就有可能在实际操作中被利用。例如,这里有一个不可行的原生实现:

法官裁决美国SEC提交包含“前高级官员关于以太坊是否被视为证券的声明草稿”的邮件:1月14日消息,法官裁决要求美国SEC交出一封电子邮件,其中包含前美国SEC高级官员William Hinman关于以太坊是否被视为证券的声明草稿。预计SEC将转交带有“Hinman的演讲、SEC工作人员与非Ripple第三方之间的会议记录”的邮件。(U.Today)[2022/1/14 8:49:58]

Alice缴纳1ETH的保证金,成为了排序者

Alice发布了一个虚假状态更新

Bob发现了,并提出争议。如果成功,Alice的1ETH保证金就会奖励给Bob,虚假状态更新也会被取消。

Alice发现该争议,也提出争议

Alice拿回了自己的1ETH,成功逃避了原本会因作恶遭到的惩罚。

Alice可以通过“抢跑事务”来发起这一攻击,即,广播一个跟Bob一样的事务,但是支付更高的gas价格,让自己的事务抢在Bob的前面执行。这意味着,Alice可以一直以极低的成本作恶。

解决这个问题很简单:不要将作恶者的全部保证金奖励给提出争议者,而是将其中X%销毁。在上述例子中,如果我们将保证金的50%销毁,Alice只能通过抢跑事务拿回0.5ETH,这就足以吓阻Alice在上述第2步中作恶。当然了,保证金销毁机制也会削弱人们运行验证者软件的激励,因此销毁后剩下的部分要足以激励验证者才行。

金色财经现场报道 圆桌环节嘉宾关于超级节点会不会在此后成为新的商业模式的观点:金色财经现场报道,今日在纽约举行的2018区块链无国界峰会上,Certik联合创始人顾荣辉表示超级几点在接下来的一段时间内还会比较火热。 星云链联合创始人钟馥百表示超级节点不是一种商业模式,是分片的形式。 IOST联合创始人及CEO钟家鸣表示很多项目都决定做超级节点。EOS主网后半年上市后如果效果好,90%都会跟随退出超级节点。钟家鸣认为超级节点不是最终的完美解决方案,真正可以落地的产品不能太复杂,他们想做出一个更有意义的项目。Hydro Protocol联合创始人王博闻超级节点只是一种尝试,超级节点不一定能解决项目问题,目前确实比较火热。[2018/5/13]

对OptimisticRollup批评的回应

我们已经了解了OptimisticRollup的设计。现在,让我们来听听人们对OptimisticRollup的批评,并做出回应。

较长的取款/争议期不利于采用和可组合性

我们在上文提到,较长的争议期有助于提高安全性。这里面似乎有一个内在权衡关系:较长的争议期不利于OR采用,因为任何想要从OR中取出资金的用户都需要等待很久。较短的争议期会带来较好的用户体验,但是这会提高未能及时对欺诈提出争议的风险。

日本将在东京奥运会之前解决关于虚拟货币等的网络安全问题:日本警察署网络安全对策总部在2日举行了开设新政府大楼(被称为“网络大厦”)的仪式。其中包括部,刑事部和生活安全部等6个部门,调查人员约500人左右。警视厅首长吉田尚正表示通过去年流行的“?Ransomware”病以及今年一月发生的coincheck公司的虚拟货币流出事件可以看到网络安全的威胁越来越严重。在东京奥运会来临之前,将全力解决并得到结果。[2018/4/3]

我们不认为这是个问题。由于取款延迟较长,我们预期将有做市商提供快速取款服务。这是有可能的,因为验证L2状态的人能够正确判断取款是否存在欺诈性,从而以略低一些的价格买下这笔取款。例如:

参与方:

Alice:在L2上有5ETH

Bob:在L1上的“做市商”智能合约中有4.95ETH,是L2的验证者

步骤:

Alice告诉Bob说她想要快速取款,并向他支付0.05ETH的费用

Alice向Bob的“做市商”智能合约发起一笔取款事务

可能会发生两种情况:

多伦多市决定举行公众与市长之间关于加密货币的“辩论”:2月2日,多伦多市投票决定在2018年3月19日公众与市长之间进行“辩论”,以便更好地评估城市如何将商业与加密货币相结合。该议案由议员诺曼·凯利(Norman Kelly)撰写,并得到议员钱利( Chin Lee)的支持,建议市议会“审查利用加密货币作为市政财产税、公用事业、停车违规和市政土地转让税的支付方式的可能性,并在2018年第二季度向执行委员会报告。“[2018/2/5]

Bob在L2上验证这笔取款是有效的,并同意Alice的快速取款请求。做市商合约中的4.95ETH立即发送至Alice在L1的地址。等争议期结束,Bob就能获得5ETH,获得一笔不菲的利润。

Bob在验证时发现这笔取款是无效的。Bob对这笔事务的状态转换提出争议,取消该状态转换,并得到了试图作恶的排序者的保证金作为奖励。

如果Alice是诚实的,就能立即完成取款;如果她想要做恶,就会遭到惩罚。我们预期,如果真的存在对快速事务服务的需求,支付给做市商的服务费会逐渐降低,最终让用户完全感受不到这一过程。

快速事务服务带来的最重要影响是,可以实现与L1合约的可组合性,无需等待整个争议期结束。

注:该技术首次出现于《简单的快速事务》一文。

矿工会受贿审查取款事务,破坏OR的安全性

《OptimisticRollup上几乎零成本的攻击场景》指出,排序者可以轻而易举地贿赂以太坊矿工来审查争议事务。对于OptimisticRollup系统来说,这会是致命的,因为整个系统的安全性源自争议机制。

我们不认同这个观点。我们认为诚实一方会出与恶意一方同样乃至更多钱的来贿赂矿工。此外,矿工每次助纣为虐时都会产生额外的成本。这会影响以太坊的价值,从而影响矿工自身的利益。

事实上,已经有学术文献研究过这一场景,结果证明“这种反击的威胁会产生一种子博弈精炼纳什均衡,因此攻击从一开始就不会发生”。

感谢Hasu向我们推荐了这篇文章。

验证者的两难困境会带来反向激励,降低OR的安全性

关于验证者的两难困境,EdFelten已经在他的雄文中分析过了,并提出了解决方案。我们总结如下:

如果系统的激励机制如预期般运行,没人会做恶

如果没人作恶,运行验证者软件就没有意义,因为无法带来收益

如果没人运行验证者软件,排序者就会有机会做恶

如果排序者做恶,系统就不会再如预期般运行

这个问题看起来很重要,而且似乎是一个悖论!假设总的奖励金额是固定的,验证者人数越多,每个验证者的预期收益越低。另外,如果验证者人数增多,总的奖励金额有可能减少,因为欺诈行为会减少,导致验证者的收益更低。在接下来的分析中,Felten提出了如何解决验证者两难困境的方法。

我要提出反对意见,我认为验证者两难困境不像批评者说的那么严重。实际上,验证者靠的不是经济激励。假设你在rollup上构建了一个大型应用,或者你是持币者。如果这个系统被破坏,你的应用就无法运作,你的代币就会丧失价值。此外,对快速取款的需求会催生做市商服务,这与是否存在欺诈行为无关。举个现实的例子,比特币就没有通过经济激励的方式来鼓励节点运营者存储完整的区块链事务史,或将本地数据提供给对等节点,但是人们还是会无私地做这些事情。

即使不为运行验证者提供经济激励是激励不兼容的,但是它可以保障系统的安全性,这对于投资该系统的实体来说是很重要的。因此,我们认为,OptimisticLayer2系统不需要通过设计机制来解决验证者两难困境问题。

总结

就像文章标题说的那样,我们分析了2021年对以太坊来说最重要的技术之一:OptimisticRollup。

OR的优点包括:它是对以太坊的扩展,集成了以太坊的安全性和可组合性,以及开发者优势。与此同时,它还能提高以太坊的性能,而且几乎不会增加以太坊用户的成本或信任需求。我们探索了让OR可行的激励机制,并对常见的批评观点提出了反驳。

我们想要强调的是,OR的性能上限是L1上能够承载的数据量。因此,我们最好能做到两点:1)尽可能压缩你在L1上发布的数据,2)拥有一个大且低成本的数据层。

如需补充阅读,我们推荐Vitalik的《Rollup不完全指南》和《信任的模式》。我们还建议你了解一下另一个rollup方案ZKRollup。我们的朋友StarkWare正在构建ZKRollup方案。最后,还有其它方法可以实现去中心化可扩展性,如,分片和状态通道。它们都有各自的优缺点。

在下一篇文章中,我们将深入分析由Optimism构建的首个兼容EVM的OR方案的机制和代码库。

我们想要感谢Hasu、PatrickMcCorry、LiamHorne、BenJones、KobiGurkan和DaveWhite对本文的宝贵反馈。

来聊聊吧

有问题?有想法?请@gakonst

原文链接:

https://research.paradigm.xyz/rollups

作者:GeorgiosKonstantopoulos

翻译&校对:

闵敏&

阿剑

标签:LICIMISTICSTIsiliconvalleychainFIMIPolylasticJUSTICE价格

DAI热门资讯
ING:BTCMEX正式进入韩国市场 提供专业本地化服务_HTM

BTCMEX现已上线完整版韩语界面,并组织成立了位于韩国本地的分公司,宣布正式进入韩国市场。BTCMEX只提供专业的,以BTC为代表的主流数字货币衍生品交易,韩国用户在此交易可以获得专业的本地化.

区块链:什么是加密猫?AAX学院一文详解CryptoKitties(加密猫)_艺术币区块链

说到区块链或加密技术时,人们最常将这些名词与金钱联系在一起。比如比特币是第一个独立于中介机构的稳健数字资产,UNI是DEXes最新流行的DeFi代币之一,但在几年前,并不是只有面向金融的Dapp.

区块链:波卡投资基金公告_DFG价格

波卡的核心竞争力是推动其增长的创始和发展团队,而其他因素已证明这些具有次重要性,此外,波卡的发展社区的技术实力已证明它能够跻身区块链行业的前三名.

ALI:Bibox新春DeFi机池一键挖矿活动火热上线_BOB

DeFi机池正式开启,用户可以使用USDT参与DeFi机池一键挖矿。 申购时间 北京时间2021年2月8日11:00~2021年2月10日18:00 点击申购 注意事项: 本期挖矿周期为18.

DEF:DeFi仅仅是开始,DeFi雪球将变成Web 3.0雪崩?_EVAL DEFI

过去12个月,去中心化金融出现了爆炸式增长。交换、抵押和流动性挖矿的成功都受到了很好的宣传。?DeFi市值已达到450亿美元,如今,DeFi锁定的总价值已超过280亿美元.

EFI:BOHR波尔创新Defi思维破局公链瓶颈_DEFI

2019年以来,Defi概念大热并且经历了“服务于金融业”到“彻底改变金融业”的升华,成为了区块链十年发展史上的里程碑,在区块链行业占据重要地位.