干货|关于OptimisticRollup,你需要知道的一切
OptimisticRollup的激励机制
Layer2可扩展性方案基于这样一个事实,即,我们试图尽可能减少链上执行的事务的数量。我们使用欺诈证明来取消已发生的无效状态转换。由于欺诈证明是链上事务,我们想尽可能减少在以太坊上发布的欺诈证明的数量。在理想情况下,欺诈永远不会发生,也就不会有欺诈证明发布。
我们通过引入诚信保证金来反激励欺诈行为。想要成为排序者的用户必须首先在以太坊上存入一笔保证金。如果他们的欺诈行为被证明,就会失去保证金。为了激励用户积极发现欺诈行为,排序者的保证金会被奖励给验证者。
诚信保证金和争议期
在欺诈证明激励机制的设计中,有两个参数需要设计:
诚信保证金金额:排序者所缴纳的保证金就是验证者所能获得的奖励。金额越高,对验证者的激励越大,对排序者作恶的激励就越小。
争议期持续时间:可以发布欺诈证明的时间窗口。一旦过了这个时间窗口,L2事务就会在L1上敲定。如果争议期较长,就会提高安全性,更好地抵御审查攻击。如果争议期较短,用户在将L2上的资金取出到L1时就能享有更好的用户体验,因为他无需等待很长时间就能在L1上使用这笔资金。
LeetSwap:DEX交易现已恢复:金色财经报道,Base链上被攻击DEX LeetSwap在社交媒体上称,现在已经恢复了交易。然而,LeetSwap强调这并不意味着DEX已经重新启动,而是为了让用户有机会出售他们可能还持有的代币。LeetSwap警告用户不要购买任何代币,因为DEX的流动性可能会被黑客利用。他们还强调,合约代码是不可变的,无法被修复。
金色财经此前报道,LeetSwap称,通过尝试对2000个交易对进行恢复操作,已收回400枚ETH,将发送到团队钱包,并将于明日7时开放交易。[2023/8/4 16:18:06]
我认为,这两个参数都没有所谓正确的静态值。或许10ETH的保证金和1天的争议期就足够了。真正的答案是,这取决于成为验证者的激励,以及发布欺诈证明的难度。这些都是可以手动或自动调整的。例如,EIP1559在以太坊上引入了
BASEFEE
操作码。这个操作码可以用来预测链上拥堵程度,让争议期的长度也变成可编程的。
正确地实施这一惩罚机制很重要,否则就有可能在实际操作中被利用。例如,这里有一个不可行的原生实现:
孙宇晨:如果数码港元等CBDC可用,火必已做好充分准备并愿意提供支持:5月19日消息,孙宇晨发推称,如果数码港元(e-HKD)等 CBDC 可用,火必已做好充分准备并愿意提供支持。[2023/5/19 15:14:17]
Alice缴纳1ETH的保证金,成为了排序者
Alice发布了一个虚假状态更新
Bob发现了,并提出争议。如果成功,Alice的1ETH保证金就会奖励给Bob,虚假状态更新也会被取消。
Alice发现该争议,也提出争议
Alice拿回了自己的1ETH,成功逃避了原本会因作恶遭到的惩罚。
Alice可以通过“抢跑事务”来发起这一攻击,即,广播一个跟Bob一样的事务,但是支付更高的gas价格,让自己的事务抢在Bob的前面执行。这意味着,Alice可以一直以极低的成本作恶。
解决这个问题很简单:不要将作恶者的全部保证金奖励给提出争议者,而是将其中X%销毁。在上述例子中,如果我们将保证金的50%销毁,Alice只能通过抢跑事务拿回0.5ETH,这就足以吓阻Alice在上述第2步中作恶。当然了,保证金销毁机制也会削弱人们运行验证者软件的激励,因此销毁后剩下的部分要足以激励验证者才行。
Tokens.com子公司宣布与P2E游戏Splinterlands合作:金色财经报道,元宇宙贸易公司Tokens.comCorp.宣布其子公司Hulk Labs已获得P2E游戏Splinterlands验证节点许可证,并与Splinterlands团队建立了合作伙伴关系。Hulk计划与NFTyarcade合作,进一步扩展到Splinterlands生态系统。[2023/1/19 11:19:59]
对OptimisticRollup批评的回应
我们已经了解了OptimisticRollup的设计。现在,让我们来听听人们对OptimisticRollup的批评,并做出回应。
较长的取款/争议期不利于采用和可组合性
我们在上文提到,较长的争议期有助于提高安全性。这里面似乎有一个内在权衡关系:较长的争议期不利于OR采用,因为任何想要从OR中取出资金的用户都需要等待很久。较短的争议期会带来较好的用户体验,但是这会提高未能及时对欺诈提出争议的风险。
我们不认为这是个问题。由于取款延迟较长,我们预期将有做市商提供快速取款服务。这是有可能的,因为验证L2状态的人能够正确判断取款是否存在欺诈性,从而以略低一些的价格买下这笔取款。例如:
8月5日至今ARK基金减持约18万股Coin:金色财经报道,ARK方舟基金持仓数据显示,8月5日至今,ARK基金共卖出208086股Coinbase股票Coin,买入26048股Coinbase股票Coin。ARK基金总计减持近182038股Coinbase股票Coin。[2022/8/15 12:25:40]
参与方:
Alice:在L2上有5ETH
Bob:在L1上的“做市商”智能合约中有4.95ETH,是L2的验证者
步骤:
Alice告诉Bob说她想要快速取款,并向他支付0.05ETH的费用
Alice向Bob的“做市商”智能合约发起一笔取款事务
可能会发生两种情况:
Bob在L2上验证这笔取款是有效的,并同意Alice的快速取款请求。做市商合约中的4.95ETH立即发送至Alice在L1的地址。等争议期结束,Bob就能获得5ETH,获得一笔不菲的利润。
Bob在验证时发现这笔取款是无效的。Bob对这笔事务的状态转换提出争议,取消该状态转换,并得到了试图作恶的排序者的保证金作为奖励。
Meta将在9月关闭其加密货币项目Novi:金色财经消息,Meta Platforms的加密货币项目曾经令该公司创始人马克·扎克伯格在国会饱受攻击,现在,该项目的剩余部分也将正式关闭。Meta在测试项目Novi其网站上表示,将于9月1日停止服务。Novi使用Meta自己的加密货币数字钱包提供转账服务。该公司表示,Novi应用程序和WhatsApp上的Novi都将不再可用。从7月21日开始,用户将无法再向他们的帐户充值,建议“尽快”提取余额。在测试期结束后,用户将无法访问其交易历史记录或其他数据。将把Novi相关技术应用于元宇宙和其他产品。Meta发言人表示,该公司确实计划在未来产品中使用Novi的技术,例如在其元宇宙项目中。(彭博社)[2022/7/2 1:45:26]
如果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
翻译&校对:
闵敏&
阿剑
澳大利亚终于看清了形势,截止目前,已经6次主动向中国发出求和信号,表示希望和中国展开沟通。也许有人会好奇,为什么澳大利亚的态度会突然180°大转弯.
1900/1/1 0:00:00点击上方“蓝色字”可关注我们!暴走时评:上周五,Bitfinex声称已经彻底偿还了对其姊妹公司Tether稳定币的发行商的贷款.
1900/1/1 0:00:00情走势莫测,就像未卜是人生,总有跌宕起伏的时候,交易如同攀爬,只有登上绝顶,才能享受奇观胜景;若遇难而退,中途放弃,只会与机会擦肩而过,在交易中,最重要的就是要敢于出手,面对机会,果断出击.
1900/1/1 0:00:00交易所是加密货币的交易载体,以比特币为首的主流币种不断刷新历史高位,投资者不断地进场,当前国内以火币、ok、币安为首的三大交易所控制着超85.69%的市场交易份额,它们的兴起也就两三年的时间.
1900/1/1 0:00:00全聚合协议OpenOcean.Finance宣布推出专业版Beta版本,为即将上线的专业版预热.
1900/1/1 0:00:00近日,随着比特币价格的上涨,区块链技术已经越来越被更多人所熟知。当越来越多的人涌入区块链世界并投资数字货币时,区块链将迎来前所未有的发展机遇,开启时代新进程.
1900/1/1 0:00:00