干货|关于OptimisticRollup，你需要知道的一切
OptimisticRollup的激励机制
Layer2可扩展性方案基于这样一个事实，即，我们试图尽可能减少链上执行的事务的数量。我们使用欺诈证明来取消已发生的无效状态转换。由于欺诈证明是链上事务，我们想尽可能减少在以太坊上发布的欺诈证明的数量。在理想情况下，欺诈永远不会发生，也就不会有欺诈证明发布。
我们通过引入诚信保证金来反激励欺诈行为。想要成为排序者的用户必须首先在以太坊上存入一笔保证金。如果他们的欺诈行为被证明，就会失去保证金。为了激励用户积极发现欺诈行为，排序者的保证金会被奖励给验证者。
诚信保证金和争议期
在欺诈证明激励机制的设计中，有两个参数需要设计：
诚信保证金金额：排序者所缴纳的保证金就是验证者所能获得的奖励。金额越高，对验证者的激励越大，对排序者作恶的激励就越小。
争议期持续时间：可以发布欺诈证明的时间窗口。一旦过了这个时间窗口，L2事务就会在L1上敲定。如果争议期较长，就会提高安全性，更好地抵御审查攻击。如果争议期较短，用户在将L2上的资金取出到L1时就能享有更好的用户体验，因为他无需等待很长时间就能在L1上使用这笔资金。
苹果聘用Meta前公关高管，明年或发布混合现实头显:12月27日，美国苹果公司已宣布聘用社交网络巨头 Meta 前任增强现实项目公关负责人 Andrea Schubert，预计将为明年对外正式发布混合现实（MR）或增强现实（AR）硬件产品做准备。
此外，报道中提到明年很可能会看到苹果七年来的第一个主要新产品类别：一款功能强大且价格昂贵的混合现实头显硬件，Meta 旗下的 Oculus 已经成为头显市场的领导者，所以苹果这一“挖角”意味着自家产品接近发布并且可能会和 Meta 在元宇宙市场中展开竞争。（彭博社）[2021/12/27 8:06:47]
我认为，这两个参数都没有所谓正确的静态值。或许10ETH的保证金和1天的争议期就足够了。真正的答案是，这取决于成为验证者的激励，以及发布欺诈证明的难度。这些都是可以手动或自动调整的。例如，EIP1559在以太坊上引入了
BASEFEE
操作码。这个操作码可以用来预测链上拥堵程度，让争议期的长度也变成可编程的。
正确地实施这一惩罚机制很重要，否则就有可能在实际操作中被利用。例如，这里有一个不可行的原生实现：
SushiSwap创始人：已经采取必要措施消除关于迁移的外界忧虑:SushiSwap创始人Chef Nomi发推称，由于关于迁移有很多FUD（恐惧、不确定和怀疑），我已采取措施来支持我所说的一切并确保LP迁移尽可能顺利地进行。这是我作为这整个事情的创造者的主要工作。
我已将devpool中所有的$SUSHI代币转换为SUSHI-ETH Uniswap LP的LP代币。所有转换的LP将与每个将LP代币放入MasterChef合约的人一起经历迁移。
我还将devpool部分的受益者转移到multi-sig合约中，该合约将由委员会控制，我将很快为他们设立投票。这样，devpool的$SUSHI就不会再进入我的账户，而是社区拥有的那个账户。
迁移完成后，所有$SUSHI代币持有人将获得通过SushiSwap协议交易收取的部分费用。每个希望看到项目成功的人都应该在迁移过程中坚持下来，从长远来看成为SushiSwap的一部分。
据此前报道，Chef Nomi表示，合约审计已完成，流动性迁移提案获得社区批准。48小时后将可以进行迁移。迁移将先从SUSHI - ETH池开始，然后是新加入的5个池，最后是其余池。LP token可随时赎回，不存在任何风险。[2020/9/5]
Alice缴纳1ETH的保证金，成为了排序者
关于蚂蚁矿池官方超频固件声明:蚂蚁矿池针对其官方超频固件做如下几点声明：
1. 蚂蚁矿池始终将用户利益放在首要位置，蚂蚁矿池超频固件诞生的初衷是帮助矿工充分发挥矿机的性能，从而获取更高的挖矿收益；
2. 蚂蚁矿池超频固件是众多超频固件之一，旨在为用户挖矿提供更多选择，用户可以根据个人需求自主选择；
3. 蚂蚁矿池超频固件目前已在逐步推广阶段。[2020/4/1]
Alice发布了一个虚假状态更新
Bob发现了，并提出争议。如果成功，Alice的1ETH保证金就会奖励给Bob，虚假状态更新也会被取消。
Alice发现该争议，也提出争议
Alice拿回了自己的1ETH，成功逃避了原本会因作恶遭到的惩罚。
Alice可以通过“抢跑事务”来发起这一攻击，即，广播一个跟Bob一样的事务，但是支付更高的gas价格，让自己的事务抢在Bob的前面执行。这意味着，Alice可以一直以极低的成本作恶。
解决这个问题很简单：不要将作恶者的全部保证金奖励给提出争议者，而是将其中X%销毁。在上述例子中，如果我们将保证金的50%销毁，Alice只能通过抢跑事务拿回0.5ETH，这就足以吓阻Alice在上述第2步中作恶。当然了，保证金销毁机制也会削弱人们运行验证者软件的激励，因此销毁后剩下的部分要足以激励验证者才行。
火币HADAX关于近期网络谣言的调查及处理决定:火币今日发布公告称，近期监测到网络中出现题为《多个项目方炮轰火币HADAX》的网络文章，随后MAN、YCC、GVE项目方发布澄清公告表示与上述网文无关，证明火币清白，网文谣言不攻自破。 本着澄清事实，还原真相的态度，我们立即进行了调查，并联系到未发澄清公告的INC项目方。INC项目方承认网上言论来源于INC项目方的主要成员，并提出HADAX平台中INC的交易数据不合理，但未提供证据。 经和INC项目方沟通，项目方陈述事实详见公告， 对于本次事件火币HADAX决定做出如下处理： 1.立即暂停INC在HADAX上的交易，但允许充提币。 2.对支持INC项目的超级节点进行尽职调查，暂停其超级节点资格。 3.启动HADAX全部超级节点的审查，在审查行动完成之前，暂停HADAX投票上币机制。 4. 火币保留依法追究本次网络谣言事件中相关人员及自媒体法律责任的权利。[2018/6/10]
对OptimisticRollup批评的回应
我们已经了解了OptimisticRollup的设计。现在，让我们来听听人们对OptimisticRollup的批评，并做出回应。
日本金融厅透露关于监控区块链机构与央行会议的细节:近日，来自多个国家的央行和金融监管机构参加了日本央行组织的区块链圆桌会议。据日本金融服务局(FSA)透露，希望通过多边联合研究进一步探讨区块链技术对现有金融市场带来的风险和机遇。达成共识后，会与公众分享会议成果。[2018/3/21]
较长的取款/争议期不利于采用和可组合性
我们在上文提到，较长的争议期有助于提高安全性。这里面似乎有一个内在权衡关系：较长的争议期不利于OR采用，因为任何想要从OR中取出资金的用户都需要等待很久。较短的争议期会带来较好的用户体验，但是这会提高未能及时对欺诈提出争议的风险。
我们不认为这是个问题。由于取款延迟较长，我们预期将有做市商提供快速取款服务。这是有可能的，因为验证L2状态的人能够正确判断取款是否存在欺诈性，从而以略低一些的价格买下这笔取款。例如：
参与方：
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对这笔事务的状态转换提出争议，取消该状态转换，并得到了试图作恶的排序者的保证金作为奖励。
如果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
翻译&校对:
闵敏&
阿剑
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。