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

     1  # `Hashing` Invariants
     2  
     3  ## `hashCrossDomainMessage` reverts if `version` is > `1`.
     4  **Test:** [`Hashing.t.sol#L119`](../test/invariants/Hashing.t.sol#L119)
     5  
     6  The `hashCrossDomainMessage` function should always revert if the `version` passed is > `1`. 
     7  
     8  ## `version` = `0`: `hashCrossDomainMessage` and `hashCrossDomainMessageV0` are equivalent.
     9  **Test:** [`Hashing.t.sol#L129`](../test/invariants/Hashing.t.sol#L129)
    10  
    11  If the version passed is 0, `hashCrossDomainMessage` and `hashCrossDomainMessageV0` should be equivalent. 
    12  
    13  ## `version` = `1`: `hashCrossDomainMessage` and `hashCrossDomainMessageV1` are equivalent.
    14  **Test:** [`Hashing.t.sol#L140`](../test/invariants/Hashing.t.sol#L140)
    15  
    16  If the version passed is 1, `hashCrossDomainMessage` and `hashCrossDomainMessageV1` should be equivalent.