OptimisticRollup的激励机制
Layer2可扩展性方案基于这样一个事实，即，我们试图尽可能减少链上执行的事务的数量。我们使用欺诈证明来取消已发生的无效状态转换。由于欺诈证明是链上事务，我们想尽可能减少在以太坊上发布的欺诈证明的数量。在理想情况下，欺诈永远不会发生，也就不会有欺诈证明发布。
我们通过引入诚信保证金来反激励欺诈行为。想要成为排序者的用户必须首先在以太坊上存入一笔保证金。如果他们的欺诈行为被证明，就会失去保证金。为了激励用户积极发现欺诈行为，排序者的保证金会被奖励给验证者。
诚信保证金和争议期
在欺诈证明激励机制的设计中，有两个参数需要设计：
诚信保证金金额：排序者所缴纳的保证金就是验证者所能获得的奖励。金额越高，对验证者的激励越大，对排序者作恶的激励就越小。
争议期持续时间：可以发布欺诈证明的时间窗口。一旦过了这个时间窗口，L2事务就会在L1上敲定。如果争议期较长，就会提高安全性，更好地抵御审查攻击。如果争议期较短，用户在将L2上的资金取出到L1时就能享有更好的用户体验，因为他无需等待很长时间就能在L1上使用这笔资金。
Circle拨出1040万美元以解决SEC关于Poloniex的案件:7月21日消息，加密货币运营商Circle Internet Financial Ltd.表示，根据一份监管文件，它已经拨出1040万美元来解决美国证券交易委员会对Poloniex LLC（其已停止的加密货币交易所业务）提起的案件.根据本月早些时候提交给SEC的监管文件，Circle本月宣布将以45亿美元的特殊目的收购公司合并上市。
前一年，Circle收购Poloniex后，于2019年将其出售，并损失了1.568亿美元。Circle表示此次出售是为了 \"从与投机性加密货币交易有关的业务中剥离\"，并使其业务与所提供的产品 \"更好地保持一致\"。根据该文件，SEC于2017年12月对Poloniex提出投诉，涉及 \"可能被定性为证券的加密货币交易\"。
3月，Poloniex提出以1,040万美元的价格解决此案。此外，在文件中，Circle还披露它正在接受美国财政部外国资产控制办公室对其已停止的Poloniex业务的调查。（华尔街日报）[2021/7/21 1:06:42]
我认为，这两个参数都没有所谓正确的静态值。或许10ETH的保证金和1天的争议期就足够了。真正的答案是，这取决于成为验证者的激励，以及发布欺诈证明的难度。这些都是可以手动或自动调整的。例如，EIP1559在以太坊上引入了?BASEFEE?操作码。这个操作码可以用来预测链上拥堵程度，让争议期的长度也变成可编程的。
声音 | 学者观点：任何关于区块链的讨论都必须首先区分许可或无许可:香港城市大学法学院教授Kelvin F.K. Low与新加坡管理大学外部研究员Eliza Mik联合发表了一篇区块链技术在法律领域应用的论文“暂停区块链法律革命”（Pause the Blockchain Legal Revolution）。论文开篇提到：“区块链在推动法律变革方面具有革命性的潜力，这一点早就得到了承诺，但交付速度却很缓慢。我们即将发表的论文指出，承诺与现实之间的不匹配部分源于一系列误解，包括某些术语的法律和技术含义的混淆。我们强调了将区块链部署为资产注册技术的陷阱，并打破了‘智能合约’随时可能扰乱法律行业的神话。任何关于区块链的讨论都必须首先区分无许可区块链（如比特币）和许可区块链（如Corda）。在比特币中成立的论点在Corda中不适用，反之亦然。”（牛津大学法学院）[2019/11/12]
正确地实施这一惩罚机制很重要，否则就有可能在实际操作中被利用。例如，这里有一个不可行的原生实现：
Alice缴纳1ETH的保证金，成为了排序者
bi网发布关于交易手续费奖励周期变更公告:bi网发布关于交易手续费奖励周期变更公告，公告称：经过众多用户的建议及团队综合考量后决定，平台交易手续费奖励变更为每半月奖励一次，每月的1日和16日10:00发布公告并分发奖励(以发放时BIC持有量为准)，2018年5月16日开始执行。[2018/5/8]
Alice发布了一个虚假状态更新
Bob发现了，并提出争议。如果成功，Alice的1ETH保证金就会奖励给Bob，虚假状态更新也会被取消。
Alice发现该争议，也提出争议
Alice拿回了自己的1ETH，成功逃避了原本会因作恶遭到的惩罚。
Alice可以通过“抢跑事务”来发起这一攻击，即，广播一个跟Bob一样的事务，但是支付更高的gas价格，让自己的事务抢在Bob的前面执行。这意味着，Alice可以一直以极低的成本作恶。
解决这个问题很简单：不要将作恶者的全部保证金奖励给提出争议者，而是将其中X%销毁。在上述例子中，如果我们将保证金的50%销毁，Alice只能通过抢跑事务拿回0.5ETH，这就足以吓阻Alice在上述第2步中作恶。当然了，保证金销毁机制也会削弱人们运行验证者软件的激励，因此销毁后剩下的部分要足以激励验证者才行。
美国19个州正在申请关于数字货币的免税提案:怀俄明州参议院初步批准了一项免除该州数字货币税收的法案。法案的共同发起人——民主党参议员克里斯?罗斯菲斯表示，美国怀俄明州参议院委员会22日一致通过了这项法案。另一名共同发起人——参议员塔拉?尼瑟科特表示，她预计法案将在参议院将获得最终批准。美国国税局此前已裁定数字货币作为纳税的财产。根据美国国家立法会议(NCSL)的数据，除了怀俄明州以外，美国还有19个州正在申请关于数字和虚拟货币的免税提案。[2018/2/23]
对OptimisticRollup批评的回应
我们已经了解了OptimisticRollup的设计。现在，让我们来听听人们对OptimisticRollup的批评，并做出回应。
较长的取款/争议期不利于采用和可组合性
我们在上文提到，较长的争议期有助于提高安全性。这里面似乎有一个内在权衡关系：较长的争议期不利于OR采用，因为任何想要从OR中取出资金的用户都需要等待很久。较短的争议期会带来较好的用户体验，但是这会提高未能及时对欺诈提出争议的风险。
OKCoin国际关于成交价格异常的公告已修复: 做出补偿决定17-24日全站交易免手续费:2017年11月15日下午18:45-18:50，由于网络服务商香港机房出现不稳定现象，影响了网络通信，进而导致触发了撮合引擎中一个极其隐蔽的Bug，有部分用户的交易数据受到影响。作为对本次事件造成影响的补偿，2017年11月17日至11月24日，OKCoin国际站全站交易免手续费！[2017/11/16]
我们不认为这是个问题。由于取款延迟较长，我们预期将有做市商提供快速取款服务。这是有可能的，因为验证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方案。最后，还有其它方法可以实现去中心化可扩展性，如，分片和状态通道。它们都有各自的优缺点。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。