1. 引言 Optimistic的Sherlock审计大赛已进入升级期，fault proofs距离OP主网上线又更近一步了。本文将分享一些初步竞赛结果以及通往Stage 1的后续安排。 2. 审计状态更新 2024年3月27日，Optimistic团队开始针对拟议的 OP Stack fault proof系统进行 Sherlock 审计竞赛。本次竞赛主要关注： 1）允许Optimism

Abstract \quad 该文章利用了 the DQN replay dataset 研究了Offline RL，该数据集包含了一个 DQN agent 在60款Atari 2600游戏上的 the entire replay experience 。 \quad 我们证明了 recent off-policy deep RL 算法，即使仅仅在 replay dataset 上训练，

配置项optimistic_dad用于控制是否执行优化的DAD检查；配置项use_optimistic控制在源地址选择时，可使用optimistic地址，但是其优先级低于Preferred地址。如下函数ipv6_allow_optimistic_dad，命名空间和设备的optimistic_dad配置项有一个为真，就启用此功能。 static bool ipv6_allow_optimistic