UNPKG

@hyperlane-xyz/core

Version:

Core solidity contracts for Hyperlane

www.hyperlane.xyz

hyperlane-xyz/hyperlane-monorepo

37 lines (19 loc) • 1.62 kB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
# `Hashing` Invariants ## `hashCrossDomainMessage` reverts if `version` is > `1`. **Test:** [`Hashing.t.sol#L141`](../contracts/test/invariants/Hashing.t.sol#L141) The `hashCrossDomainMessage` function should always revert if the `version` passed is > `1`. ## `version` = `0`: `hashCrossDomainMessage` and `hashCrossDomainMessageV0` are equivalent. **Test:** [`Hashing.t.sol#L153`](../contracts/test/invariants/Hashing.t.sol#L153) If the version passed is 0, `hashCrossDomainMessage` and `hashCrossDomainMessageV0` should be equivalent. ## `version` = `1`: `hashCrossDomainMessage` and `hashCrossDomainMessageV1` are equivalent. **Test:** [`Hashing.t.sol#L166`](../contracts/test/invariants/Hashing.t.sol#L166) If the version passed is 1, `hashCrossDomainMessage` and `hashCrossDomainMessageV1` should be equivalent. ## `hashCrossDomainMessage` reverts if `version` is > `1`. **Test:** [`FuzzHashing.sol#L120`](../contracts/echidna/FuzzHashing.sol#L120) The `hashCrossDomainMessage` function should always revert if the `version` passed is > `1`. ## `version` = `0`: `hashCrossDomainMessage` and `hashCrossDomainMessageV0` are equivalent. **Test:** [`FuzzHashing.sol#L132`](../contracts/echidna/FuzzHashing.sol#L132) If the version passed is 0, `hashCrossDomainMessage` and `hashCrossDomainMessageV0` should be equivalent. ## `version` = `1`: `hashCrossDomainMessage` and `hashCrossDomainMessageV1` are equivalent. **Test:** [`FuzzHashing.sol#L145`](../contracts/echidna/FuzzHashing.sol#L145) If the version passed is 1, `hashCrossDomainMessage` and `hashCrossDomainMessageV1` should be equivalent.