OptimisticRollup的激励机制
Layer2可扩展性方案基于这样一个事实，即，我们试图尽可能减少链上执行的事务的数量。我们使用欺诈证明来取消已发生的无效状态转换。由于欺诈证明是链上事务，我们想尽可能减少在以太坊上发布的欺诈证明的数量。在理想情况下，欺诈永远不会发生，也就不会有欺诈证明发布。
我们通过引入诚信保证金来反激励欺诈行为。想要成为排序者的用户必须首先在以太坊上存入一笔保证金。如果他们的欺诈行为被证明，就会失去保证金。为了激励用户积极发现欺诈行为，排序者的保证金会被奖励给验证者。
诚信保证金和争议期
在欺诈证明激励机制的设计中，有两个参数需要设计：
诚信保证金金额：排序者所缴纳的保证金就是验证者所能获得的奖励。金额越高，对验证者的激励越大，对排序者作恶的激励就越小。
争议期持续时间：可以发布欺诈证明的时间窗口。一旦过了这个时间窗口，L2事务就会在L1上敲定。如果争议期较长，就会提高安全性，更好地抵御审查攻击。如果争议期较短，用户在将L2上的资金取出到L1时就能享有更好的用户体验，因为他无需等待很长时间就能在L1上使用这笔资金。
BingoEx关于互联网上不实言论及假冒平台的严正声明:BingoEx自成立以来，坚持以维护正常交易秩序，获得了用户的信赖与支持。针对近期网络上不实信息，在此做出如下声明：
1、平台一直秉承诚信、合法、合规的经营理念，对于部分机构或者个人恶意攻击和诽谤商业信誉的言论行为保留依法追究相关责任人法律权利。
2、平台一直专注于主流币种的合约交易，遭到了一些同行的嫉恨，在网络上肆意抹黑及污蔑，通过这种损人不利己的行为，为自己抢占份额。企业如此，其产品亦不必解释。
3、我司强烈谴责一切利用BingoEx品牌造势的山寨平台及个人，打着平台的旗号招摇撞，对于此等损害我司名誉、用户违法行为，我司保留对其依法追究法律责任的权利。
4、未经我司授权或许可的任何企业及个人，发布的一切消息，均与我司无关，请广大用户仔细甄别，切实保护好自身的合法权益。同时，特此提示广大用户认准BingoEx官方网站或联系在线客服进行了解和咨询。特此声明。官网见原文链接。[2020/9/23]
我认为，这两个参数都没有所谓正确的静态值。或许10ETH的保证金和1天的争议期就足够了。真正的答案是，这取决于成为验证者的激励，以及发布欺诈证明的难度。这些都是可以手动或自动调整的。例如，EIP1559在以太坊上引入了?BASEFEE?操作码。这个操作码可以用来预测链上拥堵程度，让争议期的长度也变成可编程的。
IEX发布关于支持基于EOS协议USDT的公告:IEX现已上线基于EOS网络的USDT充值服务，提现服务开放将另行公告。IEX目前已支持USDT-ERC20、USDT-Omni、USDT-TRC20(USDT-TRON)和USDT-EOS四种形式。详情请查看原文[2020/9/5]
正确地实施这一惩罚机制很重要，否则就有可能在实际操作中被利用。例如，这里有一个不可行的原生实现：
Alice缴纳1ETH的保证金，成为了排序者
Alice发布了一个虚假状态更新
Bob发现了，并提出争议。如果成功，Alice的1ETH保证金就会奖励给Bob，虚假状态更新也会被取消。
Alice发现该争议，也提出争议
Alice拿回了自己的1ETH，成功逃避了原本会因作恶遭到的惩罚。
Alice可以通过“抢跑事务”来发起这一攻击，即，广播一个跟Bob一样的事务，但是支付更高的gas价格，让自己的事务抢在Bob的前面执行。这意味着，Alice可以一直以极低的成本作恶。
Galaxy Digital主管：3/4的金融顾问已收到客户关于数字资产和区块链的问题:Galaxy Digital资产管理主管Steve Kurz表示:“四分之三的金融顾问已收到了客户有关数字资产和区块链技术的问题，超半数的金融顾问可能会在未来12个月内将比特币纳入客户投资组合配置。”（Modern Consensus）[2020/7/6]
解决这个问题很简单：不要将作恶者的全部保证金奖励给提出争议者，而是将其中X%销毁。在上述例子中，如果我们将保证金的50%销毁，Alice只能通过抢跑事务拿回0.5ETH，这就足以吓阻Alice在上述第2步中作恶。当然了，保证金销毁机制也会削弱人们运行验证者软件的激励，因此销毁后剩下的部分要足以激励验证者才行。
对OptimisticRollup批评的回应
我们已经了解了OptimisticRollup的设计。现在，让我们来听听人们对OptimisticRollup的批评，并做出回应。
较长的取款/争议期不利于采用和可组合性
公告 | DigiFinex发布关于暂停飞币FIII冲提币的通知:DigiFinex发布公告称，因飞币FIII官方钱包升级维护，将暂时关闭飞币FIII的冲提币。具体恢复时间将视钱包升级进度而定。[2019/2/12]
我们在上文提到，较长的争议期有助于提高安全性。这里面似乎有一个内在权衡关系：较长的争议期不利于OR采用，因为任何想要从OR中取出资金的用户都需要等待很久。较短的争议期会带来较好的用户体验，但是这会提高未能及时对欺诈提出争议的风险。
我们不认为这是个问题。由于取款延迟较长，我们预期将有做市商提供快速取款服务。这是有可能的，因为验证L2状态的人能够正确判断取款是否存在欺诈性，从而以略低一些的价格买下这笔取款。例如：
参与方：
Alice：在L2上有5ETH
Bob：在L1上的“做市商”智能合约中有4.95ETH，是L2的验证者
步骤：
Alice告诉Bob说她想要快速取款，并向他支付0.05ETH的费用
公告 | 雄岸基金发布关于李笑来先生辞去雄岸基金管理合伙人职务的声明:雄岸基金发布关于李笑来先生辞去雄岸基金管理合伙人职务的声明，声明中称：雄岸基金自2018年4月9日宣布成立以来一直得到各级政府和各界人士的大力支持，李笑来先生因个人原因于2018年7月9日辞去雄岸基金管理合伙人一职，雄岸基金对李笑来先生在雄岸基金筹建过程中所作的贡献表示由衷感谢！同时雄岸基金将继续致力于用资本推动全球区块链技术及应用发展，重点服务中国实体经济，在新时代引领创新发展。[2018/7/10]
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方案。最后，还有其它方法可以实现去中心化可扩展性，如，分片和状态通道。它们都有各自的优缺点。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。