HyperProver | Optimism

codeslaw

HyperProverSolidityv0.8.27+commit.40a35a09

network

Optimism

address0xbb1216c1cf6d3e1bef55def2383d852b0561fb47

deployer0xc15F2fEA6Aad7d79a7Cab3620BAE7BBCf5237FC4

tx last 12 months

0 txs

calls last 12 months

26 calls

17 Files

contracts

interfaces

IMessageBridgeProver.sol

IProver.sol

ISemver.sol

libs

Semver.sol

prover

BaseProver.sol

HyperProver.sol

MessageBridgeProver.sol

tools

Whitelist.sol

types

Intent.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

math

SafeCast.sol

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

abi

constructor

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

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 _intentHash) view returns (tuple)

RARICHAIN_CHAIN_ID

view

function RARICHAIN_CHAIN_ID() view returns (uint32)

RARICHAIN_DOMAIN_ID

view

function RARICHAIN_DOMAIN_ID() view returns (uint32)

supportsInterface

view

function supportsInterface(bytes4 interfaceId) view returns (bool)

version

pure

function version() pure returns (string)

challengeIntentProof

nonpayable

function challengeIntentProof(tuple _intent)

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

BadProofCleared

event BadProofCleared(bytes32 indexed _intentHash)

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()

BadDestinationChainID

error BadDestinationChainID(bytes32 _hash, uint96 _expectedDestinationChainID, uint96 _actualDestinationChainID)

InboxCannotBeZeroAddress

error InboxCannotBeZeroAddress()

InsufficientFee

error InsufficientFee(uint256 _requiredFee)

InvalidOriginChainId

error InvalidOriginChainId()

MailboxCannotBeZeroAddress

error MailboxCannotBeZeroAddress()

NativeTransferFailed

error NativeTransferFailed()

RouterCannotBeZeroAddress

error RouterCannotBeZeroAddress()

SafeCastOverflowedUintDowncast

error SafeCastOverflowedUintDowncast(uint8 bits, uint256 value)

SenderCannotBeZeroAddress

error SenderCannotBeZeroAddress()

UnauthorizedHandle

error UnauthorizedHandle(address _sender)

UnauthorizedIncomingProof

error UnauthorizedIncomingProof(address _sender)

UnauthorizedProve

error UnauthorizedProve(address _sender)

bytecode

creation bytecode

0x61038060405234610664576125348038038061001a81610694565b92833981019060608183031261066457610033816106b9565b91610040602083016106b9565b604083015190926001600160401b038211610664570181601f82011215610664578051916001600160401b038311610680578260051b916020610084818501610694565b8095815201906020829482010192831161066457602001905b82821061066857505050826080528151601481116106645760a05281511561065d578151156105d657516001600160a01b03165b60c05260018151115f14610657578051600110156105d65760408101516001600160a01b03165b60e05260028151115f14610651578051600210156105d65760608101516001600160a01b03165b6101005260038151115f1461064b578051600310156105d65760808101516001600160a01b03165b6101205260048151115f14610645578051600410156105d65760a08101516001600160a01b03165b6101405260058151115f1461063f578051600510156105d65760c08101516001600160a01b03165b6101605260068151115f14610639578051600610156105d65760e08101516001600160a01b03165b6101805260078151115f14610633578051600710156105d6576101008101516001600160a01b03165b6101a05260088151115f1461062d578051600810156105d6576101208101516001600160a01b03165b6101c05260098151115f14610627578051600910156105d6576101408101516001600160a01b03165b6101e052600a8151115f14610621578051600a10156105d6576101608101516001600160a01b03165b61020052600b8151115f1461061b578051600b10156105d6576101808101516001600160a01b03165b61022052600c8151115f14610615578051600c10156105d6576101a08101516001600160a01b03165b61024052600d8151115f1461060f578051600d10156105d6576101c08101516001600160a01b03165b61026052600e8151115f14610609578051600e10156105d6576101e08101516001600160a01b03165b61028052600f8151115f14610603578051600f10156105d6576102008101516001600160a01b03165b6102a05260108151115f146105fd578051601010156105d6576102208101516001600160a01b03165b6102c05260118151115f146105f7578051601110156105d6576102408101516001600160a01b03165b6102e05260128151115f146105f1578051601210156105d6576102608101516001600160a01b03165b6103005260138151115f146105ea578051601310156105d65761028001516001600160a01b03165b610320526001600160a01b0316156105c75762030d40610340526001600160a01b038116156105b85761036052604051611e6690816106ce8239608051818181610b090152610d58015260a05181818161044f01528181610dbc0152611410015260c051818181610a5e0152611448015260e051818181610a2301526114810152610100518181816109e501526114ba0152610120518181816109a701526114f3015261014051818181610969015261152c01526101605181818161092b01526115650152610180518181816108ed015261159e01526101a0518181816108ae01526115d701526101c05181818161086f015261161001526101e05181818161083001526116490152610200518181816107f101526116820152610220518181816107b201526116bb01526102405181818161077301526116f4015261026051818181610734015261172d0152610280518181816106f5015261176601526102a0518181816106b6015261179f01526102c05181818161067701526117d801526102e05181818161063801526118110152610300518181816105f9015261184a0152610320518181816105a601526118820152610340518161041a015261036051818181610bdb01528181610e3901528181610ec701528181611afa0152611c190152f35b6385405fbf60e01b5f5260045ffd5b63384c34c960e21b5f5260045ffd5b634e487b7160e01b5f52603260045260245ffd5b505f6103d3565b5f6103ab565b5f610382565b5f610359565b5f610330565b5f610307565b5f6102de565b5f6102b5565b5f61028c565b5f610263565b5f61023a565b5f610211565b5f6101e8565b5f6101bf565b5f610197565b5f61016f565b5f610147565b5f61011f565b5f6100f8565b505f6100d1565b5f80fd5b60208091610675846106b9565b81520191019061009d565b634e487b7160e01b5f52604160045260245ffd5b6040519190601f01601f191682016001600160401b0381118382101761068057604052565b51906001600160a01b03821682036106645756fe6080806040526004361015610012575f80fd5b5f3560e01c90816301ffc9a71461127e5750806321ec34a0146111ed5780633af32abf146111c057806354fd4d501461117b57806356d5d47514610e86578063740a4cfd14610e685780637dc2b8fb14610e2457806399d145b214610ddf57806399db89b514610da55780639bcd850f14610d10578063ae1a61ca14610d87578063b701069714610d43578063bc8c7df214610d10578063c87adc8c14610a8d578063d01f63f51461043d578063d6be695a146104035763e9cd2bdd146100d7575f80fd5b3461034b57602036600319011261034b576004356001600160401b03811161034b578060040190803603604060031982011261034b57610117838061197a565b60405160208101916020835280356040830152602081013560608301526040810135608083015260018060a01b0361015160608301611344565b1660a0830152610178610167608083018361198f565b60c0808601526101008501916119c3565b9060a0810135601e198236030181121561034b570190813560208301926001600160401b03821161034b578160051b90813603851361034b57603f198685030160e087015282845285936020928101830193928101915f91607e193683900301905b85841061034f575050505050506101fa925003601f1981018352826113ab565b5190209160248101359160a2190182121561034b576001600160601b03926040926102cf92016102876102a6600483016102988751938492608460208501976020895260018060a01b0361024d84611344565b16868d01526001600160a01b0361026660248301611344565b16606087015260448101356080870152606481013560a0870152019061198f565b60a060c085015260e08401916119c3565b03601f1981018352826113ab565b51902083519060208201928352848201528381526102c56060826113ab565b519020938061197a565b01351690805f525f60205260405f20916001600160601b03835416918282036102f457005b6001600160601b039261031b575b5082546bffffffffffffffffffffffff19169116179055005b8284541684557f3dd9cba269724793ff11df09fbd9cad1bc22ee8ae462171482c6c1a3e44de5335f80a25f610302565b5f80fd5b9193959092949650601f1982820301865287358381121561034b5784016001600160a01b0361038060208301611344565b1682526040810135603e19368390030181121561034b5781602091010190602082359201906001600160401b03831161034b57823603821361034b57838360606080936020968796838860019b01528184870152868601375f85848601015201356040830152601f801991011601019901960194019188969493919795976101da565b3461034b575f36600319011261034b5760206040517f00000000000000000000000000000000000000000000000000000000000000008152f35b3461034b575f36600319011261034b577f00000000000000000000000000000000000000000000000000000000000000006104778161194f565b9061048560405192836113ab565b8082526104918161194f565b602083019190601f190136833780610a55575b60018111610a17575b600281116109d9575b6003811161099b575b6004811161095d575b6005811161091f575b600681116108e1575b600781116108a2575b60088111610863575b60098111610824575b600a81116107e5575b600b81116107a6575b600c8111610767575b600d8111610728575b600e81116106e9575b600f81116106aa575b6010811161066b575b6011811161062c575b601281116105ed575b60131061059a575b90604051918291602083019060208452518091526040830191905f5b818110610578575050500390f35b82516001600160a01b031684528594506020938401939092019160010161056a565b8151601310156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031661028083015261054e565b634e487b7160e01b5f52603260045260245ffd5b8251601210156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316610260840152610546565b8251601110156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031661024084015261053d565b8251601010156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316610220840152610534565b8251600f10156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031661020084015261052b565b8251600e10156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166101e0840152610522565b8251600d10156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166101c0840152610519565b8251600c10156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166101a0840152610510565b8251600b10156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316610180840152610507565b8251600a10156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166101608401526104fe565b8251600910156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166101408401526104f5565b8251600810156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166101208401526104ec565b8251600710156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166101008401526104e3565b8251600610156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031660e08401526104da565b8251600510156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031660c08401526104d1565b8251600410156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031660a08401526104c8565b8251600310156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031660808401526104bf565b8251600210156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031660608401526104b6565b8251600110156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031660408401526104ad565b8251156105d9577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682526104a4565b60a036600319011261034b57610aa161132e565b602435906044356001600160401b03811161034b57610ac49036906004016112d1565b92906064356001600160401b03811161034b57610ae59036906004016112d1565b9290946084356001600160401b03811161034b57610b07903690600401611301565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03163303610cfd57610b4091611a0c565b610b4e818689858888611ac1565b94853410610cea575f97863411610cc4575b604051936001600160fb1b03811161034b5760209686610bd79787610bb5988560051b8086833781010390207fd6383b4658ff90fe5c7fb8d1fe7a0b6cc87b7ecaf49d2305c1fed682f39548325f80a3611b64565b6040516242e0f760e61b81529788969095879586959294929160048701611903565b03917f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03165af18015610cb957610c8a575b5081151580610c78575b610c2057005b5f918291829182916001600160a01b0316610bb8f13d15610c73573d610c45816113cc565b90610c5360405192836113ab565b81525f60203d92013e5b15610c6457005b633d2cec6f60e21b5f5260045ffd5b610c5d565b506001600160a01b0381161515610c1a565b6020813d602011610cb1575b81610ca3602093836113ab565b8101031261034b5751610c10565b3d9150610c96565b6040513d5f823e3d90fd5b9750853403348111610cd65797610b60565b634e487b7160e01b5f52601160045260245ffd5b8563131398d760e21b5f5260045260245ffd5b63cc44a19b60e01b5f523360045260245ffd5b3461034b575f36600319011261034b57610d3f610d2b6113e7565b604051918291602083526020830190611358565b0390f35b3461034b575f36600319011261034b576040517f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03168152602090f35b3461034b575f36600319011261034b576020604051633b9afb498152f35b3461034b575f36600319011261034b5760206040517f00000000000000000000000000000000000000000000000000000000000000008152f35b3461034b57602036600319011261034b576040610dfd6004356118c0565b815181516001600160601b031681526020918201516001600160a01b031691810191909152f35b3461034b575f36600319011261034b576040517f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03168152602090f35b3461034b575f36600319011261034b57602060405163524152498152f35b606036600319011261034b5760043563ffffffff811680910361034b576044356001600160401b03811161034b57610ec2903690600401611301565b9091337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031603611168578015611159576024356001600160a01b031690811561114a57633b9afb49810361103d5750610f228161140e565b1561102b575081019060408183031261034b5780356001600160401b03811161034b5781019082601f8301121561034b57813591610f5f8361194f565b92610f6d60405194856113ab565b80845260208085019160051b8301019185831161034b57602001905b82821061101b575050506020810135906001600160401b03821161034b57019082601f8301121561034b57813592610fc08461194f565b92610fce60405194856113ab565b84845260208085019560051b82010191821161034b57602001935b81851061100357505061100192506352415249611cd5565b005b6020809161101087611344565b815201940193610fe9565b8135815260209182019101610f89565b6301195a3f60e11b5f5260045260245ffd5b91906110488161140e565b1561102b575082019160408184031261034b5780356001600160401b03811161034b5781019083601f8301121561034b578135916110858361194f565b9261109360405194856113ab565b80845260208085019160051b8301019186831161034b57602001905b82821061113a575050506020810135906001600160401b03821161034b57019183601f8401121561034b578235936110e68561194f565b936110f460405195866113ab565b85855260208086019660051b82010191821161034b57602001945b8186106111225750506110019350611cd5565b6020809161112f88611344565b81520195019461110f565b81358152602091820191016110af565b635d336e1d60e11b5f5260045ffd5b63c5ac559960e01b5f5260045ffd5b63188c4f9b60e01b5f523360045260245ffd5b3461034b575f36600319011261034b57610d3f60405161119c6040826113ab565b600381526219171b60e91b6020820152604051918291602083526020830190611358565b3461034b57602036600319011261034b5760206111e36111de61132e565b61140e565b6040519015158152f35b3461034b57608036600319011261034b576024356001600160401b03811161034b5761121d9036906004016112d1565b906044356001600160401b03811161034b5761123d9036906004016112d1565b60643592916001600160401b03841161034b5760209461126d611267611276963690600401611301565b90611a0c565b93600435611ac1565b604051908152f35b3461034b57602036600319011261034b576004359063ffffffff60e01b821680920361034b576020916308eacdfb60e21b81149081156112c0575b5015158152f35b6301ffc9a760e01b149050836112b9565b9181601f8401121561034b578235916001600160401b03831161034b576020808501948460051b01011161034b57565b9181601f8401121561034b578235916001600160401b03831161034b576020838186019501011161034b57565b600435906001600160a01b038216820361034b57565b35906001600160a01b038216820361034b57565b805180835260209291819084018484015e5f828201840152601f01601f1916010190565b604081019081106001600160401b0382111761139757604052565b634e487b7160e01b5f52604160045260245ffd5b90601f801991011681019081106001600160401b0382111761139757604052565b6001600160401b03811161139757601f01601f191660200190565b604051906113f66040836113ab565b600982526848797065726c616e6560b81b6020830152565b7f00000000000000000000000000000000000000000000000000000000000000009081156118ba576001600160a01b03169081156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b35760018111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b35760028111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b35760038111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b35760048111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b35760058111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b35760068111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b35760078111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b35760088111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b35760098111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b357600a8111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b357600b8111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b357600c8111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b357600d8111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b357600e8111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b357600f8111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b35760108111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b35760118111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b35760128111156118ba577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682146118b357601310156118ae577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03161490565b505f90565b5050600190565b50505f90565b5f60206040516118cf8161137c565b82815201525f525f60205260405f20604051906118eb8261137c565b546001600160601b038116825260601c602082015290565b939060809361193f9363ffffffff61193193999899168752602087015260a0604087015260a0860190611358565b908482036060860152611358565b6001600160a01b03909416910152565b6001600160401b0381116113975760051b60200190565b80518210156105d95760209160051b010190565b90359060be198136030182121561034b570190565b9035601e198236030181121561034b5701602081359101916001600160401b03821161034b578160061b3603831361034b57565b916020908281520191905f5b8181106119dc5750505090565b909192604080600192838060a01b036119f488611344565b168152602087810135908201520194019291016119cf565b60405191606083018381106001600160401b03821117611397576040525f8352602083016060815260408401915f835283019160608484031261034b5760208401356001600160401b03811161034b57840183601f8201121561034b57803590611a75826113cc565b94611a8360405196876113ab565b8286526020838301011161034b57815f926020809301838801378501015260408401356001600160a01b038116919082900361034b57525235815290565b92611af6959260209592611ad495611b64565b6040516381d2ea9560e01b815296879586959194929392919060048701611903565b03817f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03165afa908115610cb9575f91611b35575090565b90506020813d602011611b5c575b81611b50602093836113ab565b8101031261034b575190565b3d9150611b43565b9593959492909194868603611cc657611b7c90611e27565b95835195604051936040602086015281606086015260018060fb1b03821161034b5760a0908593949260051b8091608086013783018460808201601f19608087850301016040870152520190925f5b818110611c96575050611be7925003601f1981018352826113ab565b60208201516040909201519092906001600160a01b031680611c935750604051633d1250b760e01b81526020816004817f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03165afa908115610cb9575f91611c54575090565b90506020813d602011611c8b575b81611c6f602093836113ab565b8101031261034b57516001600160a01b038116810361034b5790565b3d9150611c62565b90565b9092509060019060209081906001600160a01b03611cb388611344565b1681520194019101918492939193611bcb565b63512509d360e11b5f5260045ffd5b92919080518015611e2057825103611cc6579291905f935b8051851015611e1957611d008582611966565b5194611d0c8184611966565b51956001600160a01b038716908115611e0a576001600160601b03611d30826118c0565b5116976001600160601b03881698808a141580611e01575b611de6575060019495969798825f525f60205260405f2091825460601c15155f14611da8575050507fc86ca07015d7e87a46a98098d36c9fc68bc3120761e5c7a2023fc6c6869e56119150602090604051908152a15b0193929190611ced565b60601b6bffffffffffffffffffffffff19161790557f2b45193f790d995b36e39c4104dd1b49df6fc851b6f6ae60f2072724735b5b435f80a3611d9e565b89908363058a3b9d60e41b5f5260045260245260445260645ffd5b50801515611d48565b50506001919293949550611d9e565b5050915050565b5050509050565b63524152498114611e5d5763ffffffff8111611e465763ffffffff1690565b6306dfcc6560e41b5f52602060045260245260445ffd5b50633b9afb499056000000000000000000000000d4c1905bb1d26bc93dac913e13cacc278cdcc80d00000000000000000000000004c816032a076df65b411bb3f31c8d569d411ee200000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000002000000000000000000000000bb1216c1cf6d3e1bef55def2383d852b0561fb470000000000000000000000002fef458725b7e18a87bbb53dbfaef4294bd5c673