• clabby's avatar
    feat(ctb): Add new move type to FDG for OR counters (#10438) · 93e9d153
    clabby authored
    * feat(ctb): Add new move type to FDG for OR counters
    
    Adds a potential new move type to the `FaultDisputeGame` that allows for
    a participant to reveal the preimage of the claimed output root to
    display to the dispute game that the claimed L2 block number does not
    match up with the block number that the block header within the output
    root commits to.
    
    The root output can be challenged with the new special move type iff:
    1. The passed `OutputRootProof` hashes to equal the claimed output root.
    1. The passed Header RLP hashes to equal the block hash within the
    `OutputRootProof` above.
    1. The claimed block number in the dispute game does not equal the block
    number that the output root commits to.
    
    If there is a successful challenge with the new move type, that claim
    itself is inserted as a special case counter. In `resolveClaim`, the
    contract will always consider the creator of the L2 block challenge the
    winner of the bond. Notably, this only applies for the root claim
    subgame.
    
    * feat(ctb): Transition `RLPReader` to 4byte errors (#10439)
    
    * feat(ctb): Transition `RLPReader` to 4byte errors
    
    * semver
    
    * update summary
    
    * portal semver
    
    * extra checks
    93e9d153
FaultDisputeGame.sol 49.8 KB