UNPKG
@hyperlane-xyz/core
Version:
alpha (4.0.0-alpha.2)
beta (11.3.1-beta.698339d1eeb7435bb06f9e9840f3deef861cf7a9)
ccip (5.12.0-ccip.2)
cosmossdk (7.0.1-cosmossdk.0)
hyper (9.0.6-hyper.0)
latest (11.3.1)
m0bridgetest (9.0.11-m0bridgetest.2)
mc (10.2.0-mc.78c48b5fb82f0f0da7825eb600b56aef96fde9bd)
next (3.13.0-next.0)
permissable-mint2 (8.0.0-permissable-mint2.0)
preview (10.1.5-preview.9c72f6fb2deb13238aa68a4a83bff7a7156047e6)
stableswap (10.2.0-stableswap.2a0d563060e1037fa228687c3c9a3ecea60dce9f)
starknet (7.1.4-starknet.1)
superchain (5.4.2-superchain.1)
zksyncbeta (5.7.0-zksyncbeta.0)
zksyncbeta2 (5.8.3-zksyncbeta2.0)
11.3.1
11.3.1-beta.96f6fcc6c1bcec20d4ec51c8032281f26468ee7e
11.3.1-beta.7aaec06bb629e503db2c94c6e28b54f937f6d99e
11.3.1-beta.698339d1eeb7435bb06f9e9840f3deef861cf7a9
11.3.0
11.2.0
11.1.1-beta.3dc12d8cfe92624f4d882a719036a95e3abf3fab
11.1.0
11.1.0-beta.0c1a71d2c5a12fbf322db6cb6284101ecf5db1e0
11.1.0-beta.00a4f1567bfbdba1c60f3e8bbc77030747582b06
11.0.4-beta.1cfd59bd470a88df9cf9ec05a2c87a3b2bba64b2
11.0.3
11.0.2
11.0.1
11.0.0
10.2.0
10.2.0-stableswap.2a0d563060e1037fa228687c3c9a3ecea60dce9f
10.2.0-mc.f25fd94f0bd7d240fb88982678efa8479ecad993
10.2.0-mc.78c48b5fb82f0f0da7825eb600b56aef96fde9bd
10.1.6-beta.cb8182a4bf1443451de914f9fb8dc9ddf617c756
10.1.6-beta.bdff9082e941bfdcd40c4c0c4082b10c02d8c500
10.1.6-beta.39855ffead3175921a20b091e8eae5146db13534
10.1.5
10.1.5-preview.9c72f6fb2deb13238aa68a4a83bff7a7156047e6
10.1.4
10.1.4-preview.fe98e01d7c4ec61d5e5eb9689b7bdc769ef84708
10.1.4-beta.d2558fcd2f6871ab77fe178b56072f0cffb2705e
10.1.4-beta.c241647e30c31aadb5a07f853a8d7bbe79e10e0f
10.1.4-beta.47b88f4022b34351eed6bdb3c54db7fd76d4ba8a
10.1.4-beta.326924c2ecfa46a786649b47b8baae8618821302
10.1.3
10.1.2-beta.e5016c35cf8a9706bd577fcb7a79386edb678d50
10.1.1
10.1.0
10.1.0-beta.ef595b241
10.1.0-beta.5a8bd28ab
10.0.5
10.0.5-beta.c011ab27f
10.0.5-beta.3ad124494
10.0.4
10.0.3
10.0.2
10.0.1
10.0.0
9.0.17
9.0.16
9.0.15
9.0.14
9.0.13
9.0.12
9.0.11
9.0.11-m0bridgetest.2
9.0.11-m0bridgetest.1
9.0.11-m0bridgetest.0
9.0.10
9.0.9
9.0.8
9.0.7
9.0.6
9.0.6-hyper.0
9.0.5
9.0.4
9.0.3
9.0.2
9.0.1
9.0.0
8.1.2
8.1.1
8.1.0
8.0.2
8.0.1
8.0.0
8.0.0-permissable-mint2.0
7.1.10
7.1.9
7.1.8
7.1.7
7.1.6
7.1.5
7.1.4
7.1.4-starknet.1
7.1.3
7.1.3-starknet.0
7.1.2
7.1.1
7.1.0
7.0.1-cosmossdk.0
7.0.0
6.1.0
6.0.4
6.0.3
6.0.2
6.0.1
6.0.0
5.12.0
5.12.0-ccip.2
5.12.0-ccip.1
5.12.0-ccip.0
5.11.6
5.11.5
5.11.4
5.11.3
5.11.2
5.11.1
5.11.0
5.10.0
5.9.2
5.9.1
5.9.0
5.8.3
5.8.3-zksyncbeta2.0
5.8.2
5.8.1
5.8.0
5.7.1
5.7.0
5.7.0-zksyncbeta.0
5.6.1
5.6.0
5.5.0
5.4.2-superchain.1
5.4.2-superchain.0
5.4.1
5.4.0
5.4.0-beta.0
5.3.0
5.2.1
5.2.1-beta.0
5.2.0
5.2.0-beta.1
5.1.2
5.1.1
5.1.0
5.0.0
5.0.0-beta.2
5.0.0-beta.1
4.2.0-beta1
4.2.0-beta.2
4.1.0
4.0.0
4.0.0-beta2
4.0.0-beta
4.0.0-alpha.2
4.0.0-alpha.1
4.0.0-alpha.0
4.0.0-alpha
3.20.0-beta1
3.20.0-beta0
3.16.0
3.15.1
3.15.0
3.14.0
3.13.0
3.13.0-next.0
3.12.2
3.12.1-alpha.0
3.12.0
3.11.1
3.11.0
3.11.0-beta-0
3.10.1-beta1
3.10.1-beta0
3.10.0
3.9.0
3.8.2
3.8.1
3.8.0
3.8.0-beta0
3.7.0
3.6.2
3.6.1
3.6.0
3.5.1
3.5.0
3.4.0
3.3.0
3.2.0
3.1.10
3.1.9
3.1.8
3.1.7
3.1.6
3.1.5
3.1.4
3.1.3
3.1.2
3.1.1
3.1.0-beta4
3.1.0-beta3
3.1.0-beta2
3.1.0-beta1
3.1.0-beta0
3.0.0-beta0
1.5.8
1.5.7-beta1
1.5.6-beta0
1.5.5-beta0
1.5.4-beta0
1.5.3
1.5.2-beta0
1.5.1
1.5.1-beta2
1.5.1-beta1
1.5.1-beta0
1.5.0
1.4.3-beta2
1.4.3-beta1
1.4.3-beta0
1.4.2
1.4.2-beta71
1.4.2-beta70
1.4.2-beta69
1.4.1
1.4.0
1.3.8
1.3.8-beta0
1.3.7
1.3.6
1.3.5
1.3.4
1.3.3
1.3.2
1.3.1
1.3.0
1.2.3
1.2.2
1.2.1
1.2.0
1.1.4
1.1.3
1.1.2
1.1.1
1.1.0
1.1.0-beta0
1.0.1-beta0
1.0.0
1.0.0-beta8
1.0.0-beta7
1.0.0-beta6
1.0.0-beta5
1.0.0-beta4
1.0.0-beta3
1.0.0-beta2
1.0.0-beta1
1.0.0-beta0
0.5.6
0.5.5
0.5.4-3
0.5.4-2
0.5.4-1
0.5.4-0
0.5.3
0.5.2
0.5.1
0.5.0
0.5.0-beta0
0.5.0-alpha0
0.0.0-beta-20251201223252
Core solidity contracts for Hyperlane
www.hyperlane.xyz
hyperlane-xyz/hyperlane-monorepo
@hyperlane-xyz/core
/
dependencies
/
@eth-optimism-contracts-0.6.0
/
packages
/
contracts-bedrock
/
invariant-docs
/
SystemConfig.md
6 lines
(3 loc)
•
220 B
Markdown
View Raw
1
2
3
4
5
6
# `SystemConfig` Invariants
## The gas limit of the `SystemConfig` contract can never be lower than the hard-coded lower bound.
**
Test
:**
[
`SystemConfig.t.sol#L44`
](../contracts/test/invariants/
SystemConfig
.t.sol
#L44)