Optimism0 txs
1.8k calls
abi
constructor
No constructor.
functions
verifyProof
viewfunction verifyProof(uint256[8] proof, uint256[2] commitment, uint256[2] commitmentPOK, uint256[7] input) view returns (bool)
verifyRaw
viewfunction verifyRaw(bytes proofData) view returns (bool)
events
No events.
errors
ProofInvalid
error ProofInvalid()
PublicInputNotInField
error PublicInputNotInField()
bytecode
creation bytecode
0x6080806040523461001657610e98908161001c8239f35b600080fdfe6080806040526004908136101561001557600080fd5b600090813560e01c908163457726e614610a98575063e6cc9bc91461003957600080fd5b34610a7157610260366003190112610a71573660231215610a71576040519061006182610daf565b61010482368211610a845784905b828210610a88575050366101231215610a59576040519161008f83610de2565b8261014492368411610a8457905b838210610a74575050366101631215610a7157604051916100bd83610de2565b8261018491368311610a6d57905b828210610a5d575050366101a31215610a5957604051906100eb82610dfe565b8161026491368311610a5557905b828210610a45575050508351602085015192604051936020850192835260408501526040845283606081011067ffffffffffffffff606086011117610a325750600080516020610e4383398151915290606084016040528351902006907f25ce86ac17e95688c18160aa7cd9f98362fba48bccadf72b7a8e4bfeecf6077760608401527f270f2c4c0ab78a8b046c105b233da39dd5b35f43ec8f497668ae20bb749e291960808401527f029226b61bd6786b19c561d6353f0f4e251a1da4bf6904972c1030f1635d8f8960a08401527f107f86eb586e0f46ea6d2e03b3281a84f81c009664c6d13eac0ada48e0e0fba960c084015260e081518082860152600080516020610e43833981519152604060a08701606060a0890160075afa91101660406060860160808160065afa167f0af4a307d57d7c06b36a042836369270af44396cae244d043b9c4919f8abf12060a08601527f1b80695cf9b34274845792a8e9aee43cc8e0b17f90559f4da641e4866c0fd16960c08601526020830151908183870152604060a08701606060a0890160075afa90600080516020610e4383398151915260406060890160808160065afa93101616167f061332025ac15b2c63bcb52811ce677010f61f872af61b11fda16b9ace7b1a6360a08601527f14387b70c02d3e62eae862bd4b672487cbf6c9d494ea18268dfa00eac1274ab760c08601526040830151908183870152604060a08701606060a0890160075afa90600080516020610e4383398151915260406060890160808160065afa93101616167f27f9e707ba66a1c39f6d391675b719b887fbf6bceabe224b8dc8fd638d37db7160a08601527f03830723edf5024d4a14916b6f951f7296b416c5bf7af47258e868ef9046f8fb60c08601526060830151908183870152604060a08701606060a0890160075afa90600080516020610e4383398151915260406060890160808160065afa93101616167f301be427cb0200a98c04522a9c0046cd2070760fb38d170f13e6c67628f9e0f460a08601527f1bc71a8445dff5633e540a6d948ab4e57269d8ad8a54d5299220518da568870560c086015260808301519081838701526001604060a08801606060a08a0160075afa91600080516020610e43833981519152604060608a0160808160065afa9410161616167f0a4f1d668aa4efdec26495b3051e246cbba72e2b1443318167b576d00b1035c060a08601527f13a484d41ac263e0675d16c788ed1b1937d9291289fad6c023da57a78d52f85b60c086015260a0830151908183870152604060a08701606060a0890160075afa90600080516020610e4383398151915260406060890160808160065afa93101616167f3054f08f78c58b590c420d31fbbd7033ec2f0da20bc216f70aad62cf8968934d60a08601527f300e3ca2aee602293c41a099647f1c1cd3ca1f39ff9a2cad76561e94f82bae8060c086015260c0830151908183870152604060a08701606060a0890160075afa90600080516020610e4383398151915260406060890160808160065afa9310161616917f0d266bd956c87321828a3068ecbd488c80a8d78e0a4a5c4c6774385f75c3071460a08601527f0cb08038032e2b38a648cfaa8cd7746a11b97efa525e1fb1f351ea1542eb6eed60c086015201519160e0840152604060a08401606060a0860160075afa90600080516020610e4383398151915260406060860160808160065afa875160a0870152602088015160c0870152931016161660406060830160808160065afa1692608060608301519201519315610a2157602093849286519684810151906040810151606082015160808301519060a08401519260e060c0860151950151958a6040519e8f908152015260408d015260608c015260808b015260a08a015260c089015260e08801527f23e28badf6d57717e8b81b4f20126ac75e6fbd3533a12e317b79b1a366ba07746101008801527f01e8ebcde824281fae78d96ecf30620b2a508af56b266d60f454871d5ca407806101208801527f07fe7d1205f608c3b01ac1ae7aeef582e19bf4cd061e09bc245fc9ce603be16a6101408801527f0b7474e715e05b36bdcb978edbeeb01a37cf69cf4284e2748e6950393098b6b66101608801527f08069c0776b150841ca7ea66c650505e7da49b85e25f3dae82dd94270832d7606101808801527f1d2cc8a092706cb13155ac1dca1c89be8feac32db0c9fc279b9d0c0b26dacaf06101a08801527f011a3ed923ee7d8eed9498f5757af0487a0e696d8d9e328ac1099c4e84053e066101c08801527f0a99040e05005665022e8bb3e22c9c9f97af622f9fdb8149e89a652183dca2536101e08801527f1aaf8e1873ee89a93f8ea4a220e8e809b39e647f62ddd3cb7ac8cbb6d6b058396102008801527f1a1f65eac7308501a3ce05e3345fc342d3c3575108d1bdd9892b75e8594e42de6102208801526102408701526102608601527f043c205ab6c853cbc0eb811c4017c072d51c2e69492580ab168bd5342cc2701a6102808601527f0d2adc82347aa5ecae2f385a263986809449dfed3915690bd8f9861194dc97d56102a08601527f1eeba56149a81701784f4257bc73e2a8e3a39e38b6325933e6f68e2f15015adc6102c08601527f1027c4a16b1dbd0880ee40ba425800953e5fc1e0e76b11bd0241e12889af1c7b6102e0860152805161030086015201516103208401527f1ca51788a633ed889202ff81ab983bf5317cae7e925755708297cc8c055f55356103408401527f108f4a95a5b961d0e4a723fc2caace4874ba3af922f61517c0a33f002d7d2ae36103608401527f1716f5383b5b2ad930e079788baa4bac56e19954be6a43816ad6f662e7538e856103808401527f0dcf078d231da5fb54dae1041a3fac870ea63ab64304e30c4cf417daae30e7116103a084015280516103c084015201516103e08201527f0e44c7b10c717cce048f6487f92fb88f47e82c01aac96eed1189f496aeebd6586104008201527f0101333f0aad92c27a3c0a3f005f9f683a5d37b370bd4dd931ce74a75f25bf7f6104208201527f224c25e4fe4070bbbd78ac1cce6c0947e456ef731b5ff7dca1b8b8b998995ae16104408201527f0563ea2571039001a0c6142d3d773e9d6cc86109e1b3a3e1f62160f05c6037626104608201526020816104808160085afa90511615610a1257602060405160018152f35b604051631ff3747d60e21b8152fd5b60405163a54f8e2760e01b81528690fd5b634e487b7160e01b815260418852602490fd5b81358152602091820191016100f9565b8480fd5b5080fd5b81358152602091820191016100cb565b8380fd5b80fd5b813581526020918201910161009d565b8280fd5b813581526020918201910161006f565b838334610a715760209283600319360112610a595767ffffffffffffffff928035848111610a6d5736602382011215610a6d5780820135858111610a55573660248284010111610a5557610aeb84610daf565b6101009182368637818811610da7576024810135855281604011610da75760448101358886015281606011610da75760648101356040860152608092828411610dab57608482013560608701528260a011610dab5760a4820135848701528260c011610dab5760c482013560a08701528260e011610dab57829060e483013560c088015211610da7576101048082013560e0870152604051610b8c81610de2565b60403682378361012011610da35761012483013581528361014011610da35761014491828401358b83015260405193610bc485610de2565b60403686378561016011610d975761016481013585528561018011610d975761018495868201358d87015260405197610bfc89610dfe565b60e0368a37816101a011610d9f576101a48301358952816101b011610d9f578d6101c4840135821c908a0152816101c011610d9f576101d4830135811c60408a0152816101d011610d9f576101e4830135811c60608a0152816101e011610d9f576101f4830135811c908901528061020011610d9b5761020482013560a089015261022011610d9757610224013560c087015260405163e6cc9bc960e01b815297898c898b015b60088310610d805750505050610cc9939291610cc191890190610e1a565b860190610e1a565b830184905b8760078310610d6c57925050508261026481305afa938415610d61578394610cfd575b85856040519015158152f35b909192935084913d8611610d59575b601f8301601f1916840191821184831017610d4657508491839160405281010312610a595751908115158203610a71575082808080610cf1565b634e487b7160e01b855260419052602484fd5b3d9250610d0c565b6040513d85823e3d90fd5b806001928551815201930191019091610cce565b908060019285518152019301910190918d90610ca3565b8980fd5b8a80fd5b8b80fd5b8780fd5b8580fd5b8680fd5b610100810190811067ffffffffffffffff821117610dcc57604052565b634e487b7160e01b600052604160045260246000fd5b6040810190811067ffffffffffffffff821117610dcc57604052565b60e0810190811067ffffffffffffffff821117610dcc57604052565b6000915b60028310610e2b57505050565b600190825181526020809101920192019190610e1e56fe30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001a2646970667358221220f6526cb16e0ddaa8fe007b0a09c70d72cdff2efce8e97bbdab8754648f30c9d664736f6c63430008140033
