github.com/ethereum-optimism/optimism@v1.7.2/packages/contracts-bedrock/invariant-docs/Encoding.md (about)

     1  # `Encoding` Invariants
     2  
     3  ## `convertRoundTripAToB` never fails.
     4  **Test:** [`Encoding.t.sol#L73`](../test/invariants/Encoding.t.sol#L73)
     5  
     6  Asserts that a raw versioned nonce can be encoded / decoded to reach the same raw value. 
     7  
     8  ## `convertRoundTripBToA` never fails.
     9  **Test:** [`Encoding.t.sol#L82`](../test/invariants/Encoding.t.sol#L82)
    10  
    11  Asserts that an encoded versioned nonce can always be decoded / re-encoded to reach the same encoded value.