[{"inputs":[{"internalType":"bytes32","name":"control_root","type":"bytes32"},{"internalType":"bytes32","name":"bn254_control_id","type":"bytes32"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"uint8","name":"bits","type":"uint8"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"SafeCastOverflowedUintDowncast","type":"error"},{"inputs":[{"internalType":"bytes4","name":"received","type":"bytes4"},{"internalType":"bytes4","name":"expected","type":"bytes4"}],"name":"SelectorMismatch","type":"error"},{"inputs":[],"name":"VerificationFailed","type":"error"},{"inputs":[],"name":"BN254_CONTROL_ID","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"CONTROL_ROOT_0","outputs":[{"internalType":"bytes16","name":"","type":"bytes16"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"CONTROL_ROOT_1","outputs":[{"internalType":"bytes16","name":"","type":"bytes16"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"SELECTOR","outputs":[{"internalType":"bytes4","name":"","type":"bytes4"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"VERSION","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes","name":"seal","type":"bytes"},{"internalType":"bytes32","name":"imageId","type":"bytes32"},{"internalType":"bytes32","name":"journalDigest","type":"bytes32"}],"name":"verify","outputs":[],"stateMutability":"view","type":"function"},{"inputs":[{"components":[{"internalType":"bytes","name":"seal","type":"bytes"},{"internalType":"bytes32","name":"claimDigest","type":"bytes32"}],"internalType":"struct Receipt","name":"receipt","type":"tuple"}],"name":"verifyIntegrity","outputs":[],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256[2]","name":"_pA","type":"uint256[2]"},{"internalType":"uint256[2][2]","name":"_pB","type":"uint256[2][2]"},{"internalType":"uint256[2]","name":"_pC","type":"uint256[2]"},{"internalType":"uint256[5]","name":"_pubSignals","type":"uint256[5]"}],"name":"verifyProof","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"}]

6101808060405234610c33576040816121a680380380916100208285610c38565b833981010312610c335780516020918201519091600883811c7eff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff169084901b7fff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff001617601081811c7dffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff1691901b7fffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000161780821c7bffffffff00000000ffffffff00000000ffffffff00000000ffffffff16911b7fffffffff00000000ffffffff00000000ffffffff00000000ffffffff000000001617604081811c77ffffffffffffffff0000000000000000ffffffffffffffff1691901b7fffffffffffffffff0000000000000000ffffffffffffffff00000000000000001617608081811c91901b176001600160801b031981811660a052608091821b16905260c08190526040517f72697363302e47726f74683136526563656970745665726966696572506172618152656d657465727360d01b6020828101919091529060009060269060025afa15610a9e5760005190600881811c7eff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff1691901b7fff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff001617601081811c7dffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff1691901b7fffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff00001617602081811c7bffffffff00000000ffffffff00000000ffffffff00000000ffffffff1691901b7fffffffff00000000ffffffff00000000ffffffff00000000ffffffff000000001617604081811c77ffffffffffffffff0000000000000000ffffffffffffffff1691901b7fffffffffffffffff0000000000000000ffffffffffffffff00000000000000001617608081811c91901b179060e0604051916103088284610c38565b60068352601f198201366020850137602060006103876040517f12ac9a25dcd5e1a832a9061a082c15dd1d61aa9c4d553505739d0f5d65dc3be4848201527f025aa744581ebe7ad91731911c898569106ff5a2d30f3eee2b23c60ee980acd460408201526040815261037b606082610c38565b60405191828092610c71565b039060025afa15610a9e5760005161039e84610c9c565b52602060006104036040517f0707b920bc978c02f292fae2036e057be54294114ccc3c8769d883f688a1423f848201527f2e32a094b7589554f7bc357bf63481acd2d55555c203383782a4650787ff664260408201526040815261037b606082610c38565b039060025afa15610a9e5760005161041a84610ca9565b526020600061047f6040517f0bca36e2cbe6394b3e249751853f961511011c7148e336f4fd974644850fc347848201527f2ede7c9acf48cf3a3729fa3d68714e2a8435d4fa6db8f7f409c153b1fcdf9b8b60408201526040815261037b606082610c38565b039060025afa15610a9e57600051835160021015610c1d576060840152602060006105006040517f1b8af999dbfbb3927c091cc2aaf201e488cbacc3e2c6b6fb5a25f9112e04f2a7848201527f2b91a26aa92e1b6f5722949f192a81c850d586d81a60157f3e9cf04f679cccd660408201526040815261037b606082610c38565b039060025afa15610a9e57600051835160031015610c1d576080840152602060006105816040517f2b5f494ed674235b8ac1750bdfd5a7615f002d4a1dcefeddd06eda5a076ccd0d848201527f2fe520ad2020aab9cbba817fcbb9a863b8a76ff88f14f912c5e71665b2ad5e8260408201526040815261037b606082610c38565b039060025afa15610a9e57600051835160041015610c1d5760a0840152602060006106026040517f0f1c3c0d5d9da0fa03666843cde4e82e869ba5252fce3c25d5940320b1c4d493848201527f214bfcff74f425f6fe8c0d07b307482d8bc8bb2f3608f68287aa01bd0b69e80960408201526040815261037b606082610c38565b039060025afa15610a9e57600051835160051015610c1d5760c084015260206000601a6040517f72697363305f67726f746831362e566572696679696e674b6579000000000000815260025afa15610a9e5760005194602060006106bc6040517f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e2848201527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d192660408201526040815261037b606082610c38565b039060025afa15610a9e57600051946020600061077b6040517f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c848201527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab60408201527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a760608201527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec860808201526080815261037b60a082610c38565b039060025afa15610a9e57600051966020600061083a6040517f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c2848201527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60408201527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60608201527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60808201526080815261037b60a082610c38565b039060025afa15610a9e57600051602060006108f86040517f03b03cd5effa95ac9bee94f1f5ef907157bda4812ccf0b4c91f42bb629f83a1c848201527f1aa085ff28179a12d922dba0547057ccaae94b9d69cfaa4e60401fea7f3e033360408201527f110c10134f200b19f6490846d518c9aea868366efb7228ca5c91d2940d03076260608201527f1e60f31fcbf757e837e867178318832d0b2d74d59e2fea1c7142df187d3fc6d360808201526080815261037b60a082610c38565b039060025afa15610a9e576000519060206000601d6040517f72697363305f67726f746831362e566572696679696e674b65792e4943000000815260025afa15610a9e5760008051610140526101008190526060610120526020610160525b885180610100511015610b0c57600019810190808211610af65761010051900360001901908111610af65760008a51821015610ae25750610160519060051b8a01015190604051916109ac6101205184610c38565b600283526101605160409036908501376109c583610c9c565b526109cf82610ca9565b52604051906109e16101605183610c38565b60008252601f196101605101366101605184013780519061ffff8211610ac85791604051928391610140516101605184015260408301825190926101605101906000905b808210610aaa5750505092610a4060029392610a6d95610c71565b9061ffff60f01b9061ff0060ff8260081c169160081b161760f01b16815203601d19810184520182610c38565b600060405180610a81816101605195610c71565b039060025afa15610a9e5760005161010080516001019052610957565b6040513d6000823e3d90fd5b82518552610160518896509485019490920191600190910190610a25565b506306dfcc6560e41b600052601060045260245260446000fd5b634e487b7160e01b81526032600452602490fd5b634e487b7160e01b600052601160045260246000fd5b5091908a8a604051956101605187015260408601526060850152608084015260a083015260c0820152600560f81b8582015260c28152610b4d60e282610c38565b600060405180610b61816101605195610c71565b039060025afa15610a9e57600051916040519361016051850152604084015260608301526080820152600360f81b60a082015260828152610ba360a282610c38565b600060405180610bb7816101605195610c71565b039060025afa15610a9e576000516001600160e01b03191681526040516114ec9182610cba83396080518281816106360152610f15015260a0518281816105d90152610f3b015260c0518281816101a60152610f7301525181818160cb0152610e510152f35b634e487b7160e01b600052603260045260246000fd5b600080fd5b601f909101601f19168101906001600160401b03821190821017610c5b57604052565b634e487b7160e01b600052604160045260246000fd5b9081519160005b838110610c89575050016000815290565b8060208092840101518185015201610c78565b805115610c1d5760200190565b805160011015610c1d576040019056fe6080604052600436101561001257600080fd5b60003560e01c8063053c238d146100975780631599ead514610092578063258038e21461008d57806334baeab9146100885780638989fa2e146100835780639181e4b11461007e578063ab750e75146100795763ffa1ad741461007457600080fd5b6107d7565b61065a565b6105fd565b6105a0565b6101e4565b61018e565b6100f9565b346100f45760006003193601126100f4577fffffffff000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000001660805260206080f35b600080fd5b346100f45760206003193601126100f45760043567ffffffffffffffff81116100f45780360360406003198201126100f4577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdd826004013591018112156100f457810160048101359067ffffffffffffffff82116100f4576024019080360382136100f457602461018c93013591610e4d565b005b346100f45760006003193601126100f45760206040517f00000000000000000000000000000000000000000000000000000000000000008152f35b906004916044116100f457565b9060c491610104116100f457565b346100f4576101a06003193601126100f4576101ff366101c9565b3660c4116100f457610210366101d6565b366101a4116100f457604051906103808201604052610104356102328161086a565b61012435936102408561086a565b6101443561024d8161086a565b6101643561025a8161086a565b61018435916102688361086a565b60808701977f12ac9a25dcd5e1a832a9061a082c15dd1d61aa9c4d553505739d0f5d65dc3be4885260208801957f025aa744581ebe7ad91731911c898569106ff5a2d30f3eee2b23c60ee980acd487526102c2908961089d565b6102cc9088610929565b6102d690876109b5565b6102e09086610a41565b6102ea9085610acd565b803585527f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4760209182013581030660a085015260443560c085015260643560e085015260843561010085015260a4356101208501527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e26101408501527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d19266101608501527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c6101808501527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab6101a08501527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a76101c08501527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec86101e0850152835161020085015290516102208401527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26102408401527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6102608401527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6102808401527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa6102a084015281356102c084015201356102e08201527f03b03cd5effa95ac9bee94f1f5ef907157bda4812ccf0b4c91f42bb629f83a1c6103008201527f1aa085ff28179a12d922dba0547057ccaae94b9d69cfaa4e60401fea7f3e03336103208201527f110c10134f200b19f6490846d518c9aea868366efb7228ca5c91d2940d0307626103408201527f1e60f31fcbf757e837e867178318832d0b2d74d59e2fea1c7142df187d3fc6d36103609091015280805a6107cf1901602092600861030092fa90511660005260206000f35b346100f45760006003193601126100f45760206040517fffffffffffffffffffffffffffffffff000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000168152f35b346100f45760006003193601126100f45760206040517fffffffffffffffffffffffffffffffff000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000168152f35b346100f45760606003193601126100f45760043567ffffffffffffffff81116100f457366023820112156100f45780600401359067ffffffffffffffff82116100f45736602483830101116100f45761018c916024359060246044359301610b59565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6040810190811067ffffffffffffffff82111761070857604052565b6106bd565b60a0810190811067ffffffffffffffff82111761070857604052565b6060810190811067ffffffffffffffff82111761070857604052565b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff82111761070857604052565b60405190610795604083610745565b565b6040519061079560a083610745565b906107956040519283610745565b60005b8381106107c75750506000910152565b81810151838201526020016107b7565b346100f45760006003193601126100f457610861604080516107f8816106ec565b600581527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f602083017f332e302e300000000000000000000000000000000000000000000000000000008152845195869460208652518092816020880152878701906107b4565b01168101030190f35b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001111561089357565b6000805260206000f35b604051917f0707b920bc978c02f292fae2036e057be54294114ccc3c8769d883f688a1423f83527f2e32a094b7589554f7bc357bf63481acd2d55555c203383782a4650787ff664260208401526040830190815260408360608160076107cf195a01fa1561089357604092608091835190526020830151606082015260066107cf195a01fa1561089357565b604051917f0bca36e2cbe6394b3e249751853f961511011c7148e336f4fd974644850fc34783527f2ede7c9acf48cf3a3729fa3d68714e2a8435d4fa6db8f7f409c153b1fcdf9b8b60208401526040830190815260408360608160076107cf195a01fa1561089357604092608091835190526020830151606082015260066107cf195a01fa1561089357565b604051917f1b8af999dbfbb3927c091cc2aaf201e488cbacc3e2c6b6fb5a25f9112e04f2a783527f2b91a26aa92e1b6f5722949f192a81c850d586d81a60157f3e9cf04f679cccd660208401526040830190815260408360608160076107cf195a01fa1561089357604092608091835190526020830151606082015260066107cf195a01fa1561089357565b604051917f2b5f494ed674235b8ac1750bdfd5a7615f002d4a1dcefeddd06eda5a076ccd0d83527f2fe520ad2020aab9cbba817fcbb9a863b8a76ff88f14f912c5e71665b2ad5e8260208401526040830190815260408360608160076107cf195a01fa1561089357604092608091835190526020830151606082015260066107cf195a01fa1561089357565b604051917f0f1c3c0d5d9da0fa03666843cde4e82e869ba5252fce3c25d5940320b1c4d49383527f214bfcff74f425f6fe8c0d07b307482d8bc8bb2f3608f68287aa01bd0b69e80960208401526040830190815260408360608160076107cf195a01fa1561089357604092608091835190526020830151606082015260066107cf195a01fa1561089357565b91610c13906107959460006080604051610b728161070d565b828152826020820152604051610b87816106ec565b83815283602082015260408201528260608201520152610bcb610ba8610786565b916000835260006020840152610bbc610786565b9081526000602082015261144f565b90610bd4610797565b9283527fa3acc27117418996340b84e5a90f3ef4c49d22c79e44aad822ec9c313e1eb8e260208401526040830152600060608301526080820152611146565b91610e4d565b906004116100f45790600490565b90929192836004116100f45783116100f457600401916003190190565b919091357fffffffff0000000000000000000000000000000000000000000000000000000081169260048110610c78575050565b7fffffffff00000000000000000000000000000000000000000000000000000000929350829060040360031b1b161690565b9080601f830112156100f4576040805192610cc58285610745565b839181019283116100f457905b828210610cdf5750505090565b8135815260209182019101610cd2565b610100818303126100f457604051916000610d0984610729565b610d138284610caa565b845281605f84011215610d7f57604092835190610d308583610745565b819060c0810193858511610d7f575085809101915b848310610d65575050506020850152610d5e9190610caa565b9082015290565b602090610d728785610caa565b8152019101908590610d45565b80fd5b908160209103126100f4575180151581036100f45790565b906000905b60028210610dac57505050565b6020806001928551815201930191019091610d9f565b919493929094610dd7836101a0810197610d9a565b6000604084015b60028210610e235750505090610dfb6101009260c0830190610d9a565b016000905b60058210610e0d57505050565b6020806001928551815201930191019091610e00565b6020604082610e356001948751610d9a565b01930191019091610dde565b6040513d6000823e3d90fd5b90917f0000000000000000000000000000000000000000000000000000000000000000610eab610e86610e808686610c19565b90610c44565b7fffffffff000000000000000000000000000000000000000000000000000000001690565b7fffffffff00000000000000000000000000000000000000000000000000000000821603611045575090610ef7610eef84610ee760209561128a565b969094610c27565b810190610cef565b90610fcb82519160408585015194015195610f1260a06107a6565b917f000000000000000000000000000000000000000000000000000000000000000060801c83527f000000000000000000000000000000000000000000000000000000000000000060801c8784015260801c604083015260801c60608201527f0000000000000000000000000000000000000000000000000000000000000000608082015260405195869485947f34baeab900000000000000000000000000000000000000000000000000000000865260048601610dc2565b0381305afa90811561104057600091611011575b5015610fe757565b7f439cc0cd0000000000000000000000000000000000000000000000000000000060005260046000fd5b611033915060203d602011611039575b61102b8183610745565b810190610d82565b38610fdf565b503d611021565b610e41565b6110aa90611056610e808686610c19565b7fb8b38d4c000000000000000000000000000000000000000000000000000000006000527fffffffff0000000000000000000000000000000000000000000000000000000090811660045216602452604490565b6000fd5b600311156110b857565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b6020600060126040517f72697363302e52656365697074436c61696d0000000000000000000000000000815260025afa156110405760005190565b5160038110156110b85790565b90611142602092828151948592016107b4565b0190565b600061127960209261126d6111596110e7565b6112416060840151938051908881015190604060808201519101906111b06111946111aa8d6111a061118b8751611122565b611194816110ae565b60181b63ff0000001690565b9551015160ff1690565b60ff1690565b9261040094604051998a988e8a019692947fffffffff000000000000000000000000000000000000000000000000000000009460aa999686947fffff00000000000000000000000000000000000000000000000000000000000099948b5260208b015260408a01526060890152608088015260e01b1660a086015260e01b1660a484015260f01b1660a88201520190565b037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282610745565b6040519182809261112f565b039060025afa156110405760005190565b8060081c9060081b907cff000000ff000000ff000000ff000000ff000000ff000000ff000000ff7dff000000ff000000ff000000ff000000ff000000ff000000ff000000ff007fff000000ff000000ff000000ff000000ff000000ff000000ff000000ff00000084167eff000000ff000000ff000000ff000000ff000000ff000000ff000000ff000084161760101c931691161760101b176113707bffffffff00000000ffffffff00000000ffffffff00000000ffffffff7fffffffff00000000ffffffff00000000ffffffff00000000ffffffff00000000831660201c921660201b90565b176113c177ffffffffffffffff0000000000000000ffffffffffffffff6113b97fffffffffffffffff0000000000000000ffffffffffffffff0000000000000000841660401c90565b921660401b90565b176113d66113cf8260801c90565b9160801b90565b17907fffffffffffffffffffffffffffffffff0000000000000000000000000000000061144661141e6114098560801c90565b6fffffffffffffffffffffffffffffffff1690565b60801b7fffffffffffffffffffffffffffffffff000000000000000000000000000000001690565b9260801b169190565b60206000600c6040517f72697363302e4f75747075740000000000000000000000000000000000000000815260025afa1561104057600080518251602093840151604080518087019490945283019190915260608201527f02000000000000000000000000000000000000000000000000000000000000006080820152606281526112799061126d60828261074556fea164736f6c634300081a000aa54dc85ac99f851c92d7c96d7318af41dbe7c0194edfcc37eb4d422a998c1f5604446e66d300eb7fb45c9726bb53c793dda407a62e9601618bb43c5c14657ac0

0x6080604052600436101561001257600080fd5b60003560e01c8063053c238d146100975780631599ead514610092578063258038e21461008d57806334baeab9146100885780638989fa2e146100835780639181e4b11461007e578063ab750e75146100795763ffa1ad741461007457600080fd5b6107d7565b61065a565b6105fd565b6105a0565b6101e4565b61018e565b6100f9565b346100f45760006003193601126100f4577fffffffff000000000000000000000000000000000000000000000000000000007f73c457ba000000000000000000000000000000000000000000000000000000001660805260206080f35b600080fd5b346100f45760206003193601126100f45760043567ffffffffffffffff81116100f45780360360406003198201126100f4577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdd826004013591018112156100f457810160048101359067ffffffffffffffff82116100f4576024019080360382136100f457602461018c93013591610e4d565b005b346100f45760006003193601126100f45760206040517f04446e66d300eb7fb45c9726bb53c793dda407a62e9601618bb43c5c14657ac08152f35b906004916044116100f457565b9060c491610104116100f457565b346100f4576101a06003193601126100f4576101ff366101c9565b3660c4116100f457610210366101d6565b366101a4116100f457604051906103808201604052610104356102328161086a565b61012435936102408561086a565b6101443561024d8161086a565b6101643561025a8161086a565b61018435916102688361086a565b60808701977f12ac9a25dcd5e1a832a9061a082c15dd1d61aa9c4d553505739d0f5d65dc3be4885260208801957f025aa744581ebe7ad91731911c898569106ff5a2d30f3eee2b23c60ee980acd487526102c2908961089d565b6102cc9088610929565b6102d690876109b5565b6102e09086610a41565b6102ea9085610acd565b803585527f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4760209182013581030660a085015260443560c085015260643560e085015260843561010085015260a4356101208501527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e26101408501527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d19266101608501527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c6101808501527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab6101a08501527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a76101c08501527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec86101e0850152835161020085015290516102208401527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26102408401527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6102608401527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6102808401527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa6102a084015281356102c084015201356102e08201527f03b03cd5effa95ac9bee94f1f5ef907157bda4812ccf0b4c91f42bb629f83a1c6103008201527f1aa085ff28179a12d922dba0547057ccaae94b9d69cfaa4e60401fea7f3e03336103208201527f110c10134f200b19f6490846d518c9aea868366efb7228ca5c91d2940d0307626103408201527f1e60f31fcbf757e837e867178318832d0b2d74d59e2fea1c7142df187d3fc6d36103609091015280805a6107cf1901602092600861030092fa90511660005260206000f35b346100f45760006003193601126100f45760206040517fffffffffffffffffffffffffffffffff000000000000000000000000000000007f561f8c992a424deb37ccdf4e19c0e7db00000000000000000000000000000000168152f35b346100f45760006003193601126100f45760206040517fffffffffffffffffffffffffffffffff000000000000000000000000000000007f41af18736dc9d7921c859fc95ac84da500000000000000000000000000000000168152f35b346100f45760606003193601126100f45760043567ffffffffffffffff81116100f457366023820112156100f45780600401359067ffffffffffffffff82116100f45736602483830101116100f45761018c916024359060246044359301610b59565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b6040810190811067ffffffffffffffff82111761070857604052565b6106bd565b60a0810190811067ffffffffffffffff82111761070857604052565b6060810190811067ffffffffffffffff82111761070857604052565b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff82111761070857604052565b60405190610795604083610745565b565b6040519061079560a083610745565b906107956040519283610745565b60005b8381106107c75750506000910152565b81810151838201526020016107b7565b346100f45760006003193601126100f457610861604080516107f8816106ec565b600581527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f602083017f332e302e300000000000000000000000000000000000000000000000000000008152845195869460208652518092816020880152878701906107b4565b01168101030190f35b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001111561089357565b6000805260206000f35b604051917f0707b920bc978c02f292fae2036e057be54294114ccc3c8769d883f688a1423f83527f2e32a094b7589554f7bc357bf63481acd2d55555c203383782a4650787ff664260208401526040830190815260408360608160076107cf195a01fa1561089357604092608091835190526020830151606082015260066107cf195a01fa1561089357565b604051917f0bca36e2cbe6394b3e249751853f961511011c7148e336f4fd974644850fc34783527f2ede7c9acf48cf3a3729fa3d68714e2a8435d4fa6db8f7f409c153b1fcdf9b8b60208401526040830190815260408360608160076107cf195a01fa1561089357604092608091835190526020830151606082015260066107cf195a01fa1561089357565b604051917f1b8af999dbfbb3927c091cc2aaf201e488cbacc3e2c6b6fb5a25f9112e04f2a783527f2b91a26aa92e1b6f5722949f192a81c850d586d81a60157f3e9cf04f679cccd660208401526040830190815260408360608160076107cf195a01fa1561089357604092608091835190526020830151606082015260066107cf195a01fa1561089357565b604051917f2b5f494ed674235b8ac1750bdfd5a7615f002d4a1dcefeddd06eda5a076ccd0d83527f2fe520ad2020aab9cbba817fcbb9a863b8a76ff88f14f912c5e71665b2ad5e8260208401526040830190815260408360608160076107cf195a01fa1561089357604092608091835190526020830151606082015260066107cf195a01fa1561089357565b604051917f0f1c3c0d5d9da0fa03666843cde4e82e869ba5252fce3c25d5940320b1c4d49383527f214bfcff74f425f6fe8c0d07b307482d8bc8bb2f3608f68287aa01bd0b69e80960208401526040830190815260408360608160076107cf195a01fa1561089357604092608091835190526020830151606082015260066107cf195a01fa1561089357565b91610c13906107959460006080604051610b728161070d565b828152826020820152604051610b87816106ec565b83815283602082015260408201528260608201520152610bcb610ba8610786565b916000835260006020840152610bbc610786565b9081526000602082015261144f565b90610bd4610797565b9283527fa3acc27117418996340b84e5a90f3ef4c49d22c79e44aad822ec9c313e1eb8e260208401526040830152600060608301526080820152611146565b91610e4d565b906004116100f45790600490565b90929192836004116100f45783116100f457600401916003190190565b919091357fffffffff0000000000000000000000000000000000000000000000000000000081169260048110610c78575050565b7fffffffff00000000000000000000000000000000000000000000000000000000929350829060040360031b1b161690565b9080601f830112156100f4576040805192610cc58285610745565b839181019283116100f457905b828210610cdf5750505090565b8135815260209182019101610cd2565b610100818303126100f457604051916000610d0984610729565b610d138284610caa565b845281605f84011215610d7f57604092835190610d308583610745565b819060c0810193858511610d7f575085809101915b848310610d65575050506020850152610d5e9190610caa565b9082015290565b602090610d728785610caa565b8152019101908590610d45565b80fd5b908160209103126100f4575180151581036100f45790565b906000905b60028210610dac57505050565b6020806001928551815201930191019091610d9f565b919493929094610dd7836101a0810197610d9a565b6000604084015b60028210610e235750505090610dfb6101009260c0830190610d9a565b016000905b60058210610e0d57505050565b6020806001928551815201930191019091610e00565b6020604082610e356001948751610d9a565b01930191019091610dde565b6040513d6000823e3d90fd5b90917f73c457ba00000000000000000000000000000000000000000000000000000000610eab610e86610e808686610c19565b90610c44565b7fffffffff000000000000000000000000000000000000000000000000000000001690565b7fffffffff00000000000000000000000000000000000000000000000000000000821603611045575090610ef7610eef84610ee760209561128a565b969094610c27565b810190610cef565b90610fcb82519160408585015194015195610f1260a06107a6565b917f41af18736dc9d7921c859fc95ac84da50000000000000000000000000000000060801c83527f561f8c992a424deb37ccdf4e19c0e7db0000000000000000000000000000000060801c8784015260801c604083015260801c60608201527f04446e66d300eb7fb45c9726bb53c793dda407a62e9601618bb43c5c14657ac0608082015260405195869485947f34baeab900000000000000000000000000000000000000000000000000000000865260048601610dc2565b0381305afa90811561104057600091611011575b5015610fe757565b7f439cc0cd0000000000000000000000000000000000000000000000000000000060005260046000fd5b611033915060203d602011611039575b61102b8183610745565b810190610d82565b38610fdf565b503d611021565b610e41565b6110aa90611056610e808686610c19565b7fb8b38d4c000000000000000000000000000000000000000000000000000000006000527fffffffff0000000000000000000000000000000000000000000000000000000090811660045216602452604490565b6000fd5b600311156110b857565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b6020600060126040517f72697363302e52656365697074436c61696d0000000000000000000000000000815260025afa156110405760005190565b5160038110156110b85790565b90611142602092828151948592016107b4565b0190565b600061127960209261126d6111596110e7565b6112416060840151938051908881015190604060808201519101906111b06111946111aa8d6111a061118b8751611122565b611194816110ae565b60181b63ff0000001690565b9551015160ff1690565b60ff1690565b9261040094604051998a988e8a019692947fffffffff000000000000000000000000000000000000000000000000000000009460aa999686947fffff00000000000000000000000000000000000000000000000000000000000099948b5260208b015260408a01526060890152608088015260e01b1660a086015260e01b1660a484015260f01b1660a88201520190565b037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282610745565b6040519182809261112f565b039060025afa156110405760005190565b8060081c9060081b907cff000000ff000000ff000000ff000000ff000000ff000000ff000000ff7dff000000ff000000ff000000ff000000ff000000ff000000ff000000ff007fff000000ff000000ff000000ff000000ff000000ff000000ff000000ff00000084167eff000000ff000000ff000000ff000000ff000000ff000000ff000000ff000084161760101c931691161760101b176113707bffffffff00000000ffffffff00000000ffffffff00000000ffffffff7fffffffff00000000ffffffff00000000ffffffff00000000ffffffff00000000831660201c921660201b90565b176113c177ffffffffffffffff0000000000000000ffffffffffffffff6113b97fffffffffffffffff0000000000000000ffffffffffffffff0000000000000000841660401c90565b921660401b90565b176113d66113cf8260801c90565b9160801b90565b17907fffffffffffffffffffffffffffffffff0000000000000000000000000000000061144661141e6114098560801c90565b6fffffffffffffffffffffffffffffffff1690565b60801b7fffffffffffffffffffffffffffffffff000000000000000000000000000000001690565b9260801b169190565b60206000600c6040517f72697363302e4f75747075740000000000000000000000000000000000000000815260025afa1561104057600080518251602093840151604080518087019490945283019190915260608201527f02000000000000000000000000000000000000000000000000000000000000006080820152606281526112799061126d60828261074556fea164736f6c634300081a000a

a54dc85ac99f851c92d7c96d7318af41dbe7c0194edfcc37eb4d422a998c1f5604446e66d300eb7fb45c9726bb53c793dda407a62e9601618bb43c5c14657ac0

-----Decoded View---------------
Arg [0] : control_root (bytes32): 0xa54dc85ac99f851c92d7c96d7318af41dbe7c0194edfcc37eb4d422a998c1f56
Arg [1] : bn254_control_id (bytes32): 0x04446e66d300eb7fb45c9726bb53c793dda407a62e9601618bb43c5c14657ac0

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : a54dc85ac99f851c92d7c96d7318af41dbe7c0194edfcc37eb4d422a998c1f56
Arg [1] : 04446e66d300eb7fb45c9726bb53c793dda407a62e9601618bb43c5c14657ac0