[{"inputs":[{"internalType":"address","name":"mailbox","type":"address"},{"internalType":"address","name":"portal","type":"address"},{"internalType":"bytes32[]","name":"provers","type":"bytes32[]"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"bytes32","name":"addr","type":"bytes32"}],"name":"AddressNotWhitelisted","type":"error"},{"inputs":[],"name":"ArrayLengthMismatch","type":"error"},{"inputs":[{"internalType":"uint256","name":"chainId","type":"uint256"}],"name":"ChainIdTooLarge","type":"error"},{"inputs":[{"internalType":"uint64","name":"domainId","type":"uint64"}],"name":"DomainIdTooLarge","type":"error"},{"inputs":[{"internalType":"uint256","name":"requiredFee","type":"uint256"}],"name":"InsufficientFee","type":"error"},{"inputs":[{"internalType":"bytes32","name":"value","type":"bytes32"}],"name":"InvalidAddress","type":"error"},{"inputs":[],"name":"InvalidProofMessage","type":"error"},{"inputs":[],"name":"MailboxCannotBeZeroAddress","type":"error"},{"inputs":[],"name":"RouterCannotBeZeroAddress","type":"error"},{"inputs":[],"name":"SenderCannotBeZeroAddress","type":"error"},{"inputs":[{"internalType":"bytes32","name":"sender","type":"bytes32"}],"name":"UnauthorizedIncomingProof","type":"error"},{"inputs":[{"internalType":"address","name":"expected","type":"address"},{"internalType":"address","name":"actual","type":"address"}],"name":"UnauthorizedSender","type":"error"},{"inputs":[{"internalType":"uint256","name":"size","type":"uint256"},{"internalType":"uint256","name":"maxSize","type":"uint256"}],"name":"WhitelistSizeExceeded","type":"error"},{"inputs":[],"name":"ZeroDomainID","type":"error"},{"inputs":[],"name":"ZeroPortal","type":"error"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bytes32","name":"intentHash","type":"bytes32"}],"name":"IntentAlreadyProven","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"intentHash","type":"bytes32"}],"name":"IntentProofInvalidated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"intentHash","type":"bytes32"},{"indexed":true,"internalType":"address","name":"claimant","type":"address"},{"indexed":false,"internalType":"uint64","name":"destination","type":"uint64"}],"name":"IntentProven","type":"event"},{"inputs":[],"name":"MAILBOX","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"MIN_GAS_LIMIT","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PORTAL","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"PROOF_TYPE","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint64","name":"destination","type":"uint64"},{"internalType":"bytes32","name":"routeHash","type":"bytes32"},{"internalType":"bytes32","name":"rewardHash","type":"bytes32"}],"name":"challengeIntentProof","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint64","name":"domainID","type":"uint64"},{"internalType":"bytes","name":"encodedProofs","type":"bytes"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"fetchFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getProofType","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getWhitelist","outputs":[{"internalType":"bytes32[]","name":"","type":"bytes32[]"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getWhitelistSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint32","name":"origin","type":"uint32"},{"internalType":"bytes32","name":"sender","type":"bytes32"},{"internalType":"bytes","name":"messageBody","type":"bytes"}],"name":"handle","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"addr","type":"bytes32"}],"name":"isWhitelisted","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"uint64","name":"domainID","type":"uint64"},{"internalType":"bytes","name":"encodedProofs","type":"bytes"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"prove","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"intentHash","type":"bytes32"}],"name":"provenIntents","outputs":[{"components":[{"internalType":"address","name":"claimant","type":"address"},{"internalType":"uint64","name":"destination","type":"uint64"}],"internalType":"struct IProver.ProofData","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes4","name":"interfaceId","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"version","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"}]

0x608080604052600436101561001357600080fd5b60003560e01c90816301a5e3fe146110a45750806301ffc9a714610fe55780630ff754ea14610f7657806354f10f0e14610edf57806354fd4d5014610e6257806356d5d47514610cb85780637ce1ffeb14610c5f5780637dc2b8fb14610bf057806399d145b214610b5157806399db89b514610af85780639bcd850f14610aa6578063bc8c7df214610aa6578063bcd58bd2146107e8578063d01f63f5146101fc5763fc0eab91146100c457600080fd5b346101f75760607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101f7576100fb6110e7565b60405160208101907fffffffffffffffff0000000000000000000000000000000000000000000000008360c01b168252602435602882015260443560488201526048815261014a6068826111f2565b51902090816000526000602052602060406000206040519061016b8261118b565b549067ffffffffffffffff73ffffffffffffffffffffffffffffffffffffffff83169283835260a01c169283910152151591826101e2575b50506101ab57005b806000526000602052600060408120557fae165391a85a2219c7e5367bc7775dc0a2bc5cdf1f35e95204d716f6d96c2758600080a2005b67ffffffffffffffff161415905038806101a3565b600080fd5b346101f75760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101f7577f000000000000000000000000000000000000000000000000000000000000000361025581611663565b9061026360405192836111f2565b80825261026f81611663565b907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0602084019201368337806107b9575b60018111610784575b6002811161074f575b6003811161071a575b600481116106e5575b600581116106b0575b6006811161067b575b60078111610645575b6008811161060f575b600981116105d9575b600a81116105a3575b600b811161056d575b600c8111610537575b600d8111610501575b600e81116104cb575b600f8111610495575b6010811161045f575b60118111610429575b601281116103f3575b60131061038e575b906040519182916020830190602084525180915260408301919060005b818110610375575050500390f35b8251845285945060209384019390920191600101610367565b8151601310156103c4577f000000000000000000000000000000000000000000000000000000000000000061028083015261034a565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b8251601210156103c4577f0000000000000000000000000000000000000000000000000000000000000000610260840152610342565b8251601110156103c4577f0000000000000000000000000000000000000000000000000000000000000000610240840152610339565b8251601010156103c4577f0000000000000000000000000000000000000000000000000000000000000000610220840152610330565b8251600f10156103c4577f0000000000000000000000000000000000000000000000000000000000000000610200840152610327565b8251600e10156103c4577f00000000000000000000000000000000000000000000000000000000000000006101e084015261031e565b8251600d10156103c4577f00000000000000000000000000000000000000000000000000000000000000006101c0840152610315565b8251600c10156103c4577f00000000000000000000000000000000000000000000000000000000000000006101a084015261030c565b8251600b10156103c4577f0000000000000000000000000000000000000000000000000000000000000000610180840152610303565b8251600a10156103c4577f00000000000000000000000000000000000000000000000000000000000000006101608401526102fa565b8251600910156103c4577f00000000000000000000000000000000000000000000000000000000000000006101408401526102f1565b8251600810156103c4577f00000000000000000000000000000000000000000000000000000000000000006101208401526102e8565b8251600710156103c4577f00000000000000000000000000000000000000000000000000000000000000006101008401526102df565b8251600610156103c4577f000000000000000000000000000000000000000000000000000000000000000060e08401526102d6565b8251600510156103c4577f000000000000000000000000000000000000000000000000000000000000000060c08401526102cd565b8251600410156103c4577f000000000000000000000000000000000000000000000000000000000000000060a08401526102c4565b8251600310156103c4577f000000000000000000000000000000000000000000000000000000000000000060808401526102bb565b8251600210156103c4577fa412dbc15610ba57a3e42b4c0bde6e24336c98298f136473598390865033119360608401526102b2565b8251600110156103c4577f0000000000000000000000001e0a9c5491fc1f2ee3d65fb6744ff99f4e78794f60408401526102a9565b8251156103c4577f00000000000000000000000027770b9569d0a81ea237e9b878321525cfb44f2282526102a0565b60807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101f75760043573ffffffffffffffffffffffffffffffffffffffff811681036101f75760243567ffffffffffffffff811681036101f75760443567ffffffffffffffff81116101f7576108669036906004016110fe565b9060643567ffffffffffffffff81116101f7576108879036906004016110fe565b909373ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000399dbd5df04f83103f77a58cba2b7c4d3cdede9716803303610a7557506108dd6108d583876116e0565b8585846117ee565b93843410610a4757843411600014610a355784340393348511610a065761090a61091094602096986116e0565b9261194a565b9163ffffffff835116908284015160408501519261097d73ffffffffffffffffffffffffffffffffffffffff6080606089015198015116604051978896879586957f10b83dc000000000000000000000000000000000000000000000000000000000875260048701611797565b039173ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000ffaef09b3cd11d9b20d1a19becca54eec2884766165af180156109fa576109cf575b506109cd916118fb565b005b602090813d83116109f3575b6109e581836111f2565b810103126101f757826109c3565b503d6109db565b6040513d6000823e3d90fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60209361090a610910946000986116e0565b847f4c4e635c0000000000000000000000000000000000000000000000000000000060005260045260246000fd5b7f85faaab5000000000000000000000000000000000000000000000000000000006000526004523360245260446000fd5b346101f75760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101f757610af4610ae0611233565b60405191829160208352602083019061112c565b0390f35b346101f75760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101f75760206040517f00000000000000000000000000000000000000000000000000000000000000038152f35b346101f75760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101f75760006020604051610b908161118b565b8281520152600435600052600060205260408060002067ffffffffffffffff825191610bbb8361118b565b5481602073ffffffffffffffffffffffffffffffffffffffff831694858152019160a01c168152835192835251166020820152f35b346101f75760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101f757602060405173ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000ffaef09b3cd11d9b20d1a19becca54eec2884766168152f35b346101f75760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101f75760206040517f0000000000000000000000000000000000000000000000000000000000030d408152f35b60607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101f75760043563ffffffff81168091036101f75760243560443567ffffffffffffffff81116101f757610d169036906004016110fe565b91909273ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000ffaef09b3cd11d9b20d1a19becca54eec288476616803303610a75575015610e38578015610e0e57610d6c8161126e565b15610de1575060088110610db757806008116101f7576109cd9160087ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8823560c01c93019101611b6e565b7fae192a000000000000000000000000000000000000000000000000000000000060005260046000fd5b7f06c61a900000000000000000000000000000000000000000000000000000000060005260045260246000fd5b7fba66dc3a0000000000000000000000000000000000000000000000000000000060005260046000fd5b7fc15569280000000000000000000000000000000000000000000000000000000060005260046000fd5b346101f75760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101f757610af46040805190610ea381836111f2565b600382527f332e32000000000000000000000000000000000000000000000000000000000060208301525191829160208352602083019061112c565b346101f75760607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101f757610f166110e7565b60243567ffffffffffffffff81116101f757610f369036906004016110fe565b90916044359167ffffffffffffffff83116101f757602093610f68610f62610f6e9536906004016110fe565b906116e0565b926117ee565b604051908152f35b346101f75760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101f757602060405173ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000399dbd5df04f83103f77a58cba2b7c4d3cdede97168152f35b346101f75760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101f7576004357fffffffff0000000000000000000000000000000000000000000000000000000081168091036101f757807f42c7e0fe000000000000000000000000000000000000000000000000000000006020921490811561107a575b506040519015158152f35b7f01ffc9a7000000000000000000000000000000000000000000000000000000009150148261106f565b346101f75760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101f7576020906110e160043561126e565b15158152f35b6004359067ffffffffffffffff821682036101f757565b9181601f840112156101f75782359167ffffffffffffffff83116101f757602083818601950101116101f757565b919082519283825260005b8481106111765750507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f8460006020809697860101520116010190565b80602080928401015182828601015201611137565b6040810190811067ffffffffffffffff8211176111a757604052565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6060810190811067ffffffffffffffff8211176111a757604052565b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff8211176111a757604052565b604051906112426040836111f2565b600982527f48797065726c616e6500000000000000000000000000000000000000000000006020830152565b7f0000000000000000000000000000000000000000000000000000000000000003801561165c57811561165c57817f00000000000000000000000027770b9569d0a81ea237e9b878321525cfb44f221461165557600181111561165c57817f0000000000000000000000001e0a9c5491fc1f2ee3d65fb6744ff99f4e78794f1461165557600281111561165c57817fa412dbc15610ba57a3e42b4c0bde6e24336c98298f13647359839086503311931461165557600381111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557600481111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557600581111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557600681111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557600781111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557600881111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557600981111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557600a81111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557600b81111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557600c81111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557600d81111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557600e81111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557600f81111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557601081111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557601181111561165c57817f00000000000000000000000000000000000000000000000000000000000000001461165557601281111561165c57817f000000000000000000000000000000000000000000000000000000000000000014611655576013101561164f577f00000000000000000000000000000000000000000000000000000000000000001490565b50600090565b5050600190565b5050600090565b67ffffffffffffffff81116111a75760051b60200190565b92919267ffffffffffffffff82116111a757604051916116c3601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016602001846111f2565b8294818452818301116101f7578281602093846000960137010152565b906000604080516116f0816111d6565b8281526060602082015201528101906020818303126101f75780359067ffffffffffffffff82116101f75701906060828203126101f75760405191611734836111d6565b80358352602081013567ffffffffffffffff81116101f757810182601f820112156101f75760409281602061176b9335910161167b565b6020840152013573ffffffffffffffffffffffffffffffffffffffff811681036101f757604082015290565b936117d960809473ffffffffffffffffffffffffffffffffffffffff9463ffffffff6117e7959a999a168852602088015260a0604088015260a087019061112c565b90858203606087015261112c565b9416910152565b906117fa93929161194a565b602063ffffffff825116818301519061186760408501519473ffffffffffffffffffffffffffffffffffffffff60806060830151920151169060405196879586957f81d2ea9500000000000000000000000000000000000000000000000000000000875260048701611797565b038173ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000ffaef09b3cd11d9b20d1a19becca54eec2884766165afa9081156109fa576000916118b4575090565b90506020813d6020116118db575b816118cf602093836111f2565b810103126101f7575190565b3d91506118c2565b909392938483116101f75784116101f7578101920390565b73ffffffffffffffffffffffffffffffffffffffff1680158015611942575b61193e5760008080938193828215611935575bf1156109fa57565b506108fc61192d565b5050565b50811561191a565b9392906040519260a0840184811067ffffffffffffffff8211176111a75760405260008452602084019160008352604085019160608352606086019360608552608087019660008852809967ffffffffffffffff811663ffffffff8111611b065750926119e192604097959263ffffffff73ffffffffffffffffffffffffffffffffffffffff9a989616905286519052369161167b565b90526020820151905201511680611aec57506040517f3d1250b700000000000000000000000000000000000000000000000000000000815260208160048173ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000ffaef09b3cd11d9b20d1a19becca54eec2884766165afa9081156109fa57600091611a82575b5073ffffffffffffffffffffffffffffffffffffffff169052565b6020813d602011611ae4575b81611a9b602093836111f2565b81010312611ae057519073ffffffffffffffffffffffffffffffffffffffff82168203611add575073ffffffffffffffffffffffffffffffffffffffff611a67565b80fd5b5080fd5b3d9150611a8e565b73ffffffffffffffffffffffffffffffffffffffff169052565b7ff17764200000000000000000000000000000000000000000000000000000000060005260045260246000fd5b359060208110611b41575090565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9060200360031b1b1690565b918115611d8857603f8216611d5e578160061c9160005b838110611b93575050505050565b8060061b81810460401482151715610a06576020810190818111610a0657611bc6611bc08383878b6118e3565b90611b33565b9060009260408201809211611d3157611bc0600195949392611be992888c6118e3565b8060a01c611d295773ffffffffffffffffffffffffffffffffffffffff16918215611d29578181526020819052604081205473ffffffffffffffffffffffffffffffffffffffff1615611c6b57507fc86ca07015d7e87a46a98098d36c9fc68bc3120761e5c7a2023fc6c6869e56119150602090604051908152a15b01611b85565b60207fa79bcebf1cb6259b008ad946df35c764dd6b25206bb5c47ec11976cdce4f014591604051611c9b8161118b565b85815282810173ffffffffffffffffffffffffffffffffffffffff604067ffffffffffffffff8d1694858452888152808752209251167fffffffff000000000000000000000000000000000000000000000000000000007bffffffffffffffff00000000000000000000000000000000000000008454935160a01b16921617179055604051908152a3611c65565b505050611c65565b6024847f4e487b710000000000000000000000000000000000000000000000000000000081526011600452fd5b7fa24a13a60000000000000000000000000000000000000000000000000000000060005260046000fd5b50505056