HyperProver | Arbitrum

codeslaw

HyperProverSolidityv0.8.27+commit.40a35a09

network

Arbitrum

address0x5d9210223882e80b42a6801fd0e196e1109126e9

deployer0x51E07913a19D070042a8ced690ffb12CE6E566EB

tx last 12 months

0 txs

calls last 12 months

15 calls

15 Files

contracts

interfaces

IMessageBridgeProver.sol

IProver.sol

ISemver.sol

libs

Semver.sol

prover

BaseProver.sol

HyperProver.sol

MessageBridgeProver.sol

tools

Whitelist.sol

node_modules

@hyperlane-xyz

core

contracts

interfaces

IInterchainSecurityModule.sol

IMailbox.sol

IMessageRecipient.sol

hooks

IPostDispatchHook.sol

libs

TypeCasts.sol

@openzeppelin

contracts

utils

introspection

ERC165.sol

IERC165.sol

Source: Etherscan, Smart Contract Sanctuary, or Sourcify. For more information, see our about page.

abi

constructor

constructor(address _mailbox, address _inbox, address[] _provers, uint256 _defaultGasLimit)

functions

DEFAULT_GAS_LIMIT

view

function DEFAULT_GAS_LIMIT() view returns (uint256)

fetchFee

view

function fetchFee(uint256 _sourceChainId, bytes32[] _intentHashes, address[] _claimants, bytes _data) view returns (uint256)

getProofType

pure

function getProofType() pure returns (string)

getWhitelist

view

function getWhitelist() view returns (address[])

getWhitelistSize

view

function getWhitelistSize() view returns (uint256)

INBOX

view

function INBOX() view returns (address)

isWhitelisted

view

function isWhitelisted(address addr) view returns (bool)

MAILBOX

view

function MAILBOX() view returns (address)

PROOF_TYPE

view

function PROOF_TYPE() view returns (string)

provenIntents

view

function provenIntents(bytes32) view returns (address)

supportsInterface

view

function supportsInterface(bytes4 interfaceId) view returns (bool)

version

pure

function version() pure returns (string)

handle

payable

function handle(uint32 _origin, bytes32 _sender, bytes _messageBody) payable

prove

payable

function prove(address _sender, uint256 _sourceChainId, bytes32[] _intentHashes, address[] _claimants, bytes _data) payable

events

BatchSent

event BatchSent(bytes32[] indexed _hashes, uint256 indexed _sourceChainID)

IntentAlreadyProven

event IntentAlreadyProven(bytes32 _intentHash)

IntentProven

event IntentProven(bytes32 indexed _hash, address indexed _claimant)

errors

AddressNotWhitelisted

error AddressNotWhitelisted(address addr)

ArrayLengthMismatch

error ArrayLengthMismatch()

ChainIdTooLarge

error ChainIdTooLarge(uint256 _chainId)

InboxCannotBeZeroAddress

error InboxCannotBeZeroAddress()

InsufficientFee

error InsufficientFee(uint256 _requiredFee)

InvalidOriginChainId

error InvalidOriginChainId()

MailboxCannotBeZeroAddress

error MailboxCannotBeZeroAddress()

NativeTransferFailed

error NativeTransferFailed()

ProverCannotBeZeroAddress

error ProverCannotBeZeroAddress()

RouterCannotBeZeroAddress

error RouterCannotBeZeroAddress()

SenderCannotBeZeroAddress

error SenderCannotBeZeroAddress()

UnauthorizedHandle

error UnauthorizedHandle(address _sender)

UnauthorizedIncomingProof

error UnauthorizedIncomingProof(address _sender)

UnauthorizedProve

error UnauthorizedProve(address _sender)

bytecode

creation bytecode

0x6103806040523461067857611fdc8038038061001a816106a8565b92833981019060808183031261067857610033816106cd565b91610040602083016106cd565b60408301519091906001600160401b0381116106785783019281601f85011215610678578351916001600160401b038311610694578260051b9460206100878188016106a8565b8095815201906020829782010192831161067857602001905b82821061067c575050506060015192826080528151601481116106785760a052815115610671578151156105ea57516001600160a01b03165b60c05260018151115f1461066b578051600110156105ea5760408101516001600160a01b03165b60e05260028151115f14610665578051600210156105ea5760608101516001600160a01b03165b6101005260038151115f1461065f578051600310156105ea5760808101516001600160a01b03165b6101205260048151115f14610659578051600410156105ea5760a08101516001600160a01b03165b6101405260058151115f14610653578051600510156105ea5760c08101516001600160a01b03165b6101605260068151115f1461064d578051600610156105ea5760e08101516001600160a01b03165b6101805260078151115f14610647578051600710156105ea576101008101516001600160a01b03165b6101a05260088151115f14610641578051600810156105ea576101208101516001600160a01b03165b6101c05260098151115f1461063b578051600910156105ea576101408101516001600160a01b03165b6101e052600a8151115f14610635578051600a10156105ea576101608101516001600160a01b03165b61020052600b8151115f1461062f578051600b10156105ea576101808101516001600160a01b03165b61022052600c8151115f14610629578051600c10156105ea576101a08101516001600160a01b03165b61024052600d8151115f14610623578051600d10156105ea576101c08101516001600160a01b03165b61026052600e8151115f1461061d578051600e10156105ea576101e08101516001600160a01b03165b61028052600f8151115f14610617578051600f10156105ea576102008101516001600160a01b03165b6102a05260108151115f14610611578051601010156105ea576102208101516001600160a01b03165b6102c05260118151115f1461060b578051601110156105ea576102408101516001600160a01b03165b6102e05260128151115f14610605578051601210156105ea576102608101516001600160a01b03165b6103005260138151115f146105fe578051601310156105ea5761028001516001600160a01b03165b610320526001600160a01b0316156105db5780156105d1575b610340526001600160a01b038116156105c257610360526040516118fa90816106e282396080518181816107c30152610a39015260a05181818161010601528181610a7f0152610fd1015260c0518181816107150152611009015260e0518181816106da015261104201526101005181818161069c015261107b01526101205181818161065e01526110b401526101405181818161062001526110ed0152610160518181816105e201526111260152610180518181816105a4015261115f01526101a051818181610565015261119801526101c05181818161052601526111d101526101e0518181816104e7015261120a0152610200518181816104a80152611243015261022051818181610469015261127c01526102405181818161042a01526112b50152610260518181816103eb01526112ee0152610280518181816103ac015261132701526102a05181818161036d015261136001526102c05181818161032e015261139901526102e0518181816102ef01526113d20152610300518181816102b0015261140b01526103205181818161025d01526114430152610340518160cd0152610360518181816108a501528181610ae801528181610b5e015281816115e6015261170d0152f35b6385405fbf60e01b5f5260045ffd5b5062030d406103f4565b63384c34c960e21b5f5260045ffd5b634e487b7160e01b5f52603260045260245ffd5b505f6103db565b5f6103b3565b5f61038a565b5f610361565b5f610338565b5f61030f565b5f6102e6565b5f6102bd565b5f610294565b5f61026b565b5f610242565b5f610219565b5f6101f0565b5f6101c7565b5f61019f565b5f610177565b5f61014f565b5f610127565b5f610100565b505f6100d9565b5f80fd5b60208091610689846106cd565b8152019101906100a0565b634e487b7160e01b5f52604160045260245ffd5b6040519190601f01601f191682016001600160401b0381118382101761069457604052565b51906001600160a01b03821682036106785756fe6080806040526004361015610012575f80fd5b5f3560e01c90816301ffc9a714610e5a5750806321ec34a014610dc95780633af32abf14610d9c57806354fd4d5014610d4c57806356d5d47514610b175780637dc2b8fb14610ad357806399d145b214610aa257806399db89b514610a685780639bcd850f146109f1578063b701069714610a24578063bc8c7df2146109f1578063c87adc8c14610744578063d01f63f5146100f45763d6be695a146100b6575f80fd5b346100f0575f3660031901126100f05760206040517f00000000000000000000000000000000000000000000000000000000000000008152f35b5f80fd5b346100f0575f3660031901126100f0577f000000000000000000000000000000000000000000000000000000000000000061012e816114cd565b9061013c6040519283610f58565b808252610148816114cd565b602083019190601f19013683378061070c575b600181116106ce575b60028111610690575b60038111610652575b60048111610614575b600581116105d6575b60068111610598575b60078111610559575b6008811161051a575b600981116104db575b600a811161049c575b600b811161045d575b600c811161041e575b600d81116103df575b600e81116103a0575b600f8111610361575b60108111610322575b601181116102e3575b601281116102a4575b601310610251575b90604051918291602083019060208452518091526040830191905f5b81811061022f575050500390f35b82516001600160a01b0316845285945060209384019390920191600101610221565b815160131015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316610280830152610205565b634e487b7160e01b5f52603260045260245ffd5b825160121015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166102608401526101fd565b825160111015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166102408401526101f4565b825160101015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166102208401526101eb565b8251600f1015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166102008401526101e2565b8251600e1015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166101e08401526101d9565b8251600d1015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166101c08401526101d0565b8251600c1015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166101a08401526101c7565b8251600b1015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166101808401526101be565b8251600a1015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166101608401526101b5565b825160091015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166101408401526101ac565b825160081015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166101208401526101a3565b825160071015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031661010084015261019a565b825160061015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031660e0840152610191565b825160051015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031660c0840152610188565b825160041015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031660a084015261017f565b825160031015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166080840152610176565b825160021015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316606084015261016d565b825160011015610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166040840152610164565b825115610290577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316825261015b565b60a03660031901126100f057610758610f0a565b602435906044356001600160401b0381116100f05761077b903690600401610ead565b6064939193356001600160401b0381116100f05761079d903690600401610ead565b6084959195356001600160401b0381116100f0576107bf903690600401610edd565b96907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031633036109de57876107fb916114f8565b9261080a84848488858b6115ad565b958634106109cb575f988734116109a5575b6040516001600160fb1b0388116100f0578083918960051b8087833781010390207fd6383b4658ff90fe5c7fb8d1fe7a0b6cc87b7ecaf49d2305c1fed682f39548325f80a3606081101561098e575b509160209561087f94926108a19694611650565b6040516242e0f760e61b81529788969095879586959294929160048701611481565b03917f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03165af1801561098357610954575b5081151580610942575b6108ea57005b5f918291829182916001600160a01b0316610bb8f13d1561093d573d61090f81610f8d565b9061091d6040519283610f58565b81525f60203d92013e5b1561092e57005b633d2cec6f60e21b5f5260045ffd5b610927565b506001600160a01b03811615156108e4565b6020813d60201161097b575b8161096d60209383610f58565b810103126100f057516108da565b3d9150610960565b6040513d5f823e3d90fd5b6060959391949295116100f057919390928961086b565b98508634033481116109b7579861081c565b634e487b7160e01b5f52601160045260245ffd5b8663131398d760e21b5f5260045260245ffd5b63cc44a19b60e01b5f523360045260245ffd5b346100f0575f3660031901126100f057610a20610a0c610fa8565b604051918291602083526020830190610f34565b0390f35b346100f0575f3660031901126100f0576040517f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03168152602090f35b346100f0575f3660031901126100f05760206040517f00000000000000000000000000000000000000000000000000000000000000008152f35b346100f05760203660031901126100f0576004355f525f602052602060018060a01b0360405f205416604051908152f35b346100f0575f3660031901126100f0576040517f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03168152602090f35b60603660031901126100f05760043563ffffffff81168091036100f0576024356044356001600160401b0381116100f057610b56903690600401610edd565b9092909190337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031603610d395715610d2a576001600160a01b038111610cd9576001600160a01b03168015610cca57610bb681610fcf565b15610cb857508101906040818303126100f05780356001600160401b0381116100f05781019082601f830112156100f057813591610bf3836114cd565b92610c016040519485610f58565b80845260208085019160051b830101918583116100f057602001905b828210610ca8575050506020810135906001600160401b0382116100f057019082601f830112156100f057813592610c54846114cd565b92610c626040519485610f58565b84845260208085019560051b8201019182116100f057602001935b818510610c9057610c8e84846117db565b005b60208091610c9d87610f20565b815201940193610c7d565b8135815260209182019101610c1d565b6301195a3f60e11b5f5260045260245ffd5b635d336e1d60e11b5f5260045ffd5b60405162461bcd60e51b8152602060048201526024808201527f5479706543617374733a2062797465733332546f41646472657373206f766572604482015263666c6f7760e01b6064820152608490fd5b63c5ac559960e01b5f5260045ffd5b63188c4f9b60e01b5f523360045260245ffd5b346100f0575f3660031901126100f057610a20604051610d6d604082610f58565b600e81526d312e382e31342d6532633132653760901b6020820152604051918291602083526020830190610f34565b346100f05760203660031901126100f0576020610dbf610dba610f0a565b610fcf565b6040519015158152f35b346100f05760803660031901126100f0576024356001600160401b0381116100f057610df9903690600401610ead565b906044356001600160401b0381116100f057610e19903690600401610ead565b60643592916001600160401b0384116100f057602094610e49610e43610e52963690600401610edd565b906114f8565b936004356115ad565b604051908152f35b346100f05760203660031901126100f0576004359063ffffffff60e01b82168092036100f0576020916353b7598360e01b8114908115610e9c575b5015158152f35b6301ffc9a760e01b14905083610e95565b9181601f840112156100f0578235916001600160401b0383116100f0576020808501948460051b0101116100f057565b9181601f840112156100f0578235916001600160401b0383116100f057602083818601950101116100f057565b600435906001600160a01b03821682036100f057565b35906001600160a01b03821682036100f057565b805180835260209291819084018484015e5f828201840152601f01601f1916010190565b90601f801991011681019081106001600160401b03821117610f7957604052565b634e487b7160e01b5f52604160045260245ffd5b6001600160401b038111610f7957601f01601f191660200190565b60405190610fb7604083610f58565b600982526848797065726c616e6560b81b6020830152565b7f000000000000000000000000000000000000000000000000000000000000000090811561147b576001600160a01b031690811561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600181111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600281111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600381111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600481111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600581111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600681111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600781111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600881111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600981111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600a81111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600b81111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600c81111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600d81111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600e81111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457600f81111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457601081111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457601181111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316821461147457601281111561147b577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03168214611474576013101561146f577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03161490565b505f90565b5050600190565b50505f90565b93906080936114bd9363ffffffff6114af93999899168752602087015260a0604087015260a0860190610f34565b908482036060860152610f34565b6001600160a01b03909416910152565b6001600160401b038111610f795760051b60200190565b80518210156102905760209160051b010190565b60405191606083018381106001600160401b03821117610f79576040525f8352602083016060815260408401915f83528301916060848403126100f05760208401356001600160401b0381116100f057840183601f820112156100f05780359061156182610f8d565b9461156f6040519687610f58565b828652602083830101116100f057815f926020809301838801378501015260408401356001600160a01b03811691908290036100f057525235815290565b926115e29592602095926115c095611650565b6040516381d2ea9560e01b815296879586959194929392919060048701611481565b03817f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03165afa908115610983575f91611621575090565b90506020813d602011611648575b8161163c60209383610f58565b810103126100f0575190565b3d915061162f565b95939594929091948686036117cc5763ffffffff81116117ba5763ffffffff1695835195604051936040602086015281606086015260018060fb1b0382116100f05760a0908593949260051b8091608086013783018460808201601f19608087850301016040870152520190925f5b81811061178a5750506116db925003601f198101835282610f58565b60208201516040909201519092906001600160a01b0316806117875750604051633d1250b760e01b81526020816004817f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03165afa908115610983575f91611748575090565b90506020813d60201161177f575b8161176360209383610f58565b810103126100f057516001600160a01b03811681036100f05790565b3d9150611756565b90565b9092509060019060209081906001600160a01b036117a788610f20565b16815201940191019184929391936116bf565b631063f20160e11b5f5260045260245ffd5b63512509d360e11b5f5260045ffd5b9190825180156118be578151036117cc575f5b83518110156118be5780611804600192866114e4565b51828060a01b0361181583866114e4565b511680156118b757815f525f602052838060a01b0360405f20541615155f1461186b575060207fc86ca07015d7e87a46a98098d36c9fc68bc3120761e5c7a2023fc6c6869e561191604051908152a15b016117ee565b90805f525f60205260405f20826bffffffffffffffffffffffff60a01b8254161790557f2b45193f790d995b36e39c4104dd1b49df6fc851b6f6ae60f2072724735b5b435f80a3611865565b5050611865565b5050905056fea26469706673582212207adf7cb900064b0db37ec076e9ed539941196f39a7d02e8e1bc0a26a961a225e64736f6c634300081b0033000000000000000000000000979ca5202784112f4738403dbec5d0f3b9daabb900000000000000000000000042183220f07809a2f2f68768e3929e3b2619174a0000000000000000000000000000000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000100000000000000000000000042183220f07809a2f2f68768e3929e3b2619174a