UNPKG
@hyperlane-xyz/core
Version:
alpha (4.0.0-alpha.2)
beta (10.1.6-beta.bdff9082e941bfdcd40c4c0c4082b10c02d8c500)
ccip (5.12.0-ccip.2)
cosmossdk (7.0.1-cosmossdk.0)
hyper (9.0.6-hyper.0)
latest (10.1.5)
m0bridgetest (9.0.11-m0bridgetest.2)
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)
10.2.0-stableswap.2a0d563060e1037fa228687c3c9a3ecea60dce9f
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
/
@openzeppelin-contracts-4.9.3
/
certora
/
specs
2 folders,
14 files
Filename
Content Type
Size
../
helpers/
–
62 B
methods/
–
4.19 kB
AccessControl.spec
application/octet-stream
7.03 kB
AccessControlDefaultAdminRules.spec
application/octet-stream
32.1 kB
DoubleEndedQueue.spec
application/octet-stream
22.8 kB
ERC20.spec
application/octet-stream
22.4 kB
ERC20FlashMint.spec
application/octet-stream
3.42 kB
ERC20Wrapper.spec
application/octet-stream
10.9 kB
ERC721.spec
application/octet-stream
34.8 kB
EnumerableMap.spec
application/octet-stream
18.9 kB
EnumerableSet.spec
application/octet-stream
14.4 kB
Initializable.spec
application/octet-stream
11.5 kB
Ownable.spec
application/octet-stream
4.99 kB
Ownable2Step.spec
application/octet-stream
7.01 kB
Pausable.spec
application/octet-stream
6.02 kB
TimelockController.spec
application/octet-stream
17.3 kB