OptimisticRollup的激励机制
Layer2可扩展性方案基于这样一个事实，即，我们试图尽可能减少链上执行的事务的数量。我们使用欺诈证明来取消已发生的无效状态转换。由于欺诈证明是链上事务，我们想尽可能减少在以太坊上发布的欺诈证明的数量。在理想情况下，欺诈永远不会发生，也就不会有欺诈证明发布。
我们通过引入诚信保证金来反激励欺诈行为。想要成为排序者的用户必须首先在以太坊上存入一笔保证金。如果他们的欺诈行为被证明，就会失去保证金。为了激励用户积极发现欺诈行为，排序者的保证金会被奖励给验证者。
诚信保证金和争议期
在欺诈证明激励机制的设计中，有两个参数需要设计：
诚信保证金金额：排序者所缴纳的保证金就是验证者所能获得的奖励。金额越高，对验证者的激励越大，对排序者作恶的激励就越小。
争议期持续时间：可以发布欺诈证明的时间窗口。一旦过了这个时间窗口，L2事务就会在L1上敲定。如果争议期较长，就会提高安全性，更好地抵御审查攻击。如果争议期较短，用户在将L2上的资金取出到L1时就能享有更好的用户体验，因为他无需等待很长时间就能在L1上使用这笔资金。
ApeCoin DAO社区关于将APE集成至NiftyKit的AIP-88提案投票已通过 ?:9月29日消息，ApeCoin DAO社区关于“通过无代码NFT Drop平台和Launchpad赚取ApeCoin”的生态系统资金分配提案AIP-88的投票以91.35%的支持率获得通过。
据悉，该提案旨在为ApeCoin NFT项目推出Launchpad并将ApeCoin社区整合到一个NFT投放平台中，由Bored Ape Yacht Club成员和NiftyKit联合创始人Dan发起。该提案计划在使用基于自助式智能合约的Launchpad平台NiftyKit为开发人员提供资金支持并为ApeCoin建立深度集成，并将ApeCoin设置为创造者经济的基础代币。
此前消息，由Snag Solutions为ApeCoin DAO建立NFT交易市场提案投票获得通过。[2022/9/29 22:40:05]
我认为，这两个参数都没有所谓正确的静态值。或许10ETH的保证金和1天的争议期就足够了。真正的答案是，这取决于成为验证者的激励，以及发布欺诈证明的难度。这些都是可以手动或自动调整的。例如，EIP1559在以太坊上引入了?BASEFEE?操作码。这个操作码可以用来预测链上拥堵程度，让争议期的长度也变成可编程的。
Aave社区关于Aave DAO向Aave公司支付1628万美元追溯资金的提案已投票通过:9月9日消息，Aave社区关于Aave V3追溯资金提案投票以100%的支持率获得通过，该提案建议Aave DAO向Aave公司支付总计1,628万美元的追溯资金以用于开发Aave V3。这些费用包括团队在一年多时间内的1500万美元的工作费用，以及用于支付给第三方审计服务的128万美元费用。[2022/9/9 13:18:38]
正确地实施这一惩罚机制很重要，否则就有可能在实际操作中被利用。例如，这里有一个不可行的原生实现：
Alice缴纳1ETH的保证金，成为了排序者
Alice发布了一个虚假状态更新
Bob发现了，并提出争议。如果成功，Alice的1ETH保证金就会奖励给Bob，虚假状态更新也会被取消。
Alice发现该争议，也提出争议
Alice拿回了自己的1ETH，成功逃避了原本会因作恶遭到的惩罚。
美国参议院将于2月15日举行关于稳定币的听证会:金色财经报道，在众议院审查稳定币监管几天后，参议院将自行研究这个问题。根据该机构 2 月份的听证会时间表，参议院银行委员会已安排在 2 月 15 日举行一场题为“审查总统金融市场工作组关于稳定币的报告”的听证会。这是在众议院金融服务委员会举行自己的听证会“数字资产和金融的未来：总统金融市场工作组关于稳定币的报告”之后的一周。
众议院听证会的证人名单包括许多著名加密货币公司的首席执行官，包括 Circle 的 Jeremy Allaire、FTX 的 Sam Bankman-Fried、Coinbase 的 Alesia Jeanne Haas 和 Bitfury 的 Brian Brooks，他们还曾担任过货币。参议院听证会的证人名单尚未公布。?
两次听证会都承诺审查总统金融市场工作组关于稳定币的报告，该报告于去年 11 月初发布。在该报告中，该小组敦促国会将稳定币的发行限制在有保险的存款机构。与此同时，金融稳定监督委员会将稳定币指定为系统性风险，这意味着如果国会不采取行动，FSOC 可以利用紧急监管权力。?（theblock）[2022/2/1 9:25:49]
Alice可以通过“抢跑事务”来发起这一攻击，即，广播一个跟Bob一样的事务，但是支付更高的gas价格，让自己的事务抢在Bob的前面执行。这意味着，Alice可以一直以极低的成本作恶。
Coinbase发布关于1月29日宕机事件的报告:金色财经报道，Coinbase发布博客文章称，此前在1月29日太平洋标准时间4:25至9:31之间，coinbase网站出现故障。在这段时间内，许多用户在尝试使用Coinbase应用程序时遇到错误，并且加密购买、出售和交易功能间歇性的可用。Coinbase表示，发生问题后，在许多端点上发现了很高的错误率，并被诊断为一个用于存储货币兑换即期汇率的Redis集群问题，此Redis集群上的CPU负载突然达到100％，并导致多个API端点和后台作业失败。[2021/2/6 19:01:31]
解决这个问题很简单：不要将作恶者的全部保证金奖励给提出争议者，而是将其中X%销毁。在上述例子中，如果我们将保证金的50%销毁，Alice只能通过抢跑事务拿回0.5ETH，这就足以吓阻Alice在上述第2步中作恶。当然了，保证金销毁机制也会削弱人们运行验证者软件的激励，因此销毁后剩下的部分要足以激励验证者才行。
对OptimisticRollup批评的回应
声音 | UENC官方关于Fcoin事件的相关处理事宜:2月17日，Fcoin官方网站发布《Fcoin真相》公告后，Fcoin危机已经威胁到了用户的资产安全。作为拥有社区用户群全球跨链项目，我们必须采取措施，确保用户的UENC资产免受损失：
1. 我们将通过采取包括法律手段在内的各种方式向Fcoin官方和其负责人张健索要用户UENC资产明细清单。
2. 我们将采用资产映射方案处理用户在Fcoin的UENC资产，保证UENC生态每一位用户的UENC资产权益。
3. 我们将尽全力，保护生态成员的UENC资产安全。
不论Fcoin危机状况如何发展，UENC将始终把用户利益放在第一位！[2020/2/18]
我们已经了解了OptimisticRollup的设计。现在，让我们来听听人们对OptimisticRollup的批评，并做出回应。
较长的取款/争议期不利于采用和可组合性
我们在上文提到，较长的争议期有助于提高安全性。这里面似乎有一个内在权衡关系：较长的争议期不利于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方案。最后，还有其它方法可以实现去中心化可扩展性，如，分片和状态通道。它们都有各自的优缺点。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。