Today our Offchain Labs research team published a paper going deep on the design of BoLD, the new dispute resolution protocol that should make it safe to enable permissionless validation on Arbitrum chains. The paper has a detailed description of the protocol, proofs of its properties including safety and guaranteed constant completion time, and comparison to some other approaches.
We’re happy to answer questions or have conversations about the paper here.