RiscZeroGroth16Verifier | Optimism

codeslaw

RiscZeroGroth16VerifierSolidityv0.8.28+commit.7893614a

network

Optimism

address0xee50fafc11baad66d1898d712409866844a8f644

deployer0xd2C4116957A296317033CC75Cd6c8d61643ab05C

tx last 12 months

0 txs

calls last 12 months

1 call

8 Files

openzeppelin

contracts

utils

math

SafeCast.sol

risc0-ethereum

contracts

src

IRiscZeroSelectable.sol

IRiscZeroVerifier.sol

StructHash.sol

Util.sol

groth16

ControlID.sol

Groth16Verifier.sol

RiscZeroGroth16Verifier.sol

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

bytecode

creation bytecode

0x6101808060405234610c925760408161244c80380380916100208285610c96565b833981010312610c925780516020918201519091600883811c7eff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff169084901b7fff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff001617601081811c7dffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff1691901b7fffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000161780821c7bffffffff00000000ffffffff00000000ffffffff00000000ffffffff16911b7fffffffff00000000ffffffff00000000ffffffff00000000ffffffff000000001617604081811c77ffffffffffffffff0000000000000000ffffffffffffffff1691901b7fffffffffffffffff0000000000000000ffffffffffffffff00000000000000001617608081811c91901b176001600160801b031981811660a052608091821b16905260c08190526040517f72697363302e47726f74683136526563656970745665726966696572506172618152656d657465727360d01b602082810191909152905f9060269060025afa15610b11575f5190600881811c7eff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff1691901b7fff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff001617601081811c7dffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff1691901b7fffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff00001617602081811c7bffffffff00000000ffffffff00000000ffffffff00000000ffffffff1691901b7fffffffff00000000ffffffff00000000ffffffff00000000ffffffff000000001617604081811c77ffffffffffffffff0000000000000000ffffffffffffffff1691901b7fffffffffffffffff0000000000000000ffffffffffffffff00000000000000001617608081811c91901b179160e0604051916103068284610c96565b60068352601f19820136602085013760205f604051828101907f12ac9a25dcd5e1a832a9061a082c15dd1d61aa9c4d553505739d0f5d65dc3be482527f025aa744581ebe7ad91731911c898569106ff5a2d30f3eee2b23c60ee980acd4604082015260408152610377606082610c96565b604051918291518091835e8101838152039060025afa15610b11575f5161039d84610ccd565b5260205f604051828101907f0707b920bc978c02f292fae2036e057be54294114ccc3c8769d883f688a1423f82527f2e32a094b7589554f7bc357bf63481acd2d55555c203383782a4650787ff6642604082015260408152610400606082610c96565b604051918291518091835e8101838152039060025afa15610b11575f5161042684610cda565b5260205f604051828101907f0bca36e2cbe6394b3e249751853f961511011c7148e336f4fd974644850fc34782527f2ede7c9acf48cf3a3729fa3d68714e2a8435d4fa6db8f7f409c153b1fcdf9b8b604082015260408152610489606082610c96565b604051918291518091835e8101838152039060025afa15610b11575f51835160021015610b5257606084015260205f604051828101907f1b8af999dbfbb3927c091cc2aaf201e488cbacc3e2c6b6fb5a25f9112e04f2a782527f2b91a26aa92e1b6f5722949f192a81c850d586d81a60157f3e9cf04f679cccd6604082015260408152610517606082610c96565b604051918291518091835e8101838152039060025afa15610b11575f51835160031015610b5257608084015260205f604051828101907f2b5f494ed674235b8ac1750bdfd5a7615f002d4a1dcefeddd06eda5a076ccd0d82527f2fe520ad2020aab9cbba817fcbb9a863b8a76ff88f14f912c5e71665b2ad5e826040820152604081526105a5606082610c96565b604051918291518091835e8101838152039060025afa15610b11575f51835160041015610b525760a084015260205f604051828101907f0f1c3c0d5d9da0fa03666843cde4e82e869ba5252fce3c25d5940320b1c4d49382527f214bfcff74f425f6fe8c0d07b307482d8bc8bb2f3608f68287aa01bd0b69e809604082015260408152610633606082610c96565b604051918291518091835e8101838152039060025afa15610b11575f51835160051015610b525760c084015260205f601a6040517f72697363305f67726f746831362e566572696679696e674b6579000000000000815260025afa15610b11575f519460205f604051828101907f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e282527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d19266040820152604081526106f8606082610c96565b604051918291518091835e8101838152039060025afa15610b11575f519460205f604051828101907f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c82527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab60408201527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a760608201527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec86080820152608081526107c460a082610c96565b604051918291518091835e8101838152039060025afa15610b11575f519560205f604051828101907f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c282527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60408201527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60608201527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60808201526080815261089060a082610c96565b604051918291518091835e8101838152039060025afa15610b11575f519760205f604051828101907f03b03cd5effa95ac9bee94f1f5ef907157bda4812ccf0b4c91f42bb629f83a1c82527f1aa085ff28179a12d922dba0547057ccaae94b9d69cfaa4e60401fea7f3e033360408201527f110c10134f200b19f6490846d518c9aea868366efb7228ca5c91d2940d03076260608201527f1e60f31fcbf757e837e867178318832d0b2d74d59e2fea1c7142df187d3fc6d360808201526080815261095c60a082610c96565b604051918291518091835e8101838152039060025afa15610b11575f5160205f601d6040517f72697363305f67726f746831362e566572696679696e674b65792e4943000000815260025afa15610b11575f8051610140526101008190526060610120526020610160525b885180610100511015610b7a575f19810190808211610b66576101005190035f1901908111610b66578951811015610b5257610160519060051b8a0101519060405191610a176101205184610c96565b60028352610160516040903690850137610a3083610ccd565b52610a3a82610cda565b52604051610a4b6101605182610c96565b5f8152601f196101605101366101605183013781519061ffff8211610b3a5791604051928391610140516101605184015260408301815190916101605101905f905b808210610b1c575050509281610ad994600294935180926101605101825e019061ffff60f01b9061ff0060ff8260081c169160081b161760f01b16815203601d19810184520182610c96565b5f60405191805180916101605101845e820191818352806101605193039060025afa15610b11575f51610100805160010190526109c7565b6040513d5f823e3d90fd5b82518452610160518896509384019390920191600190910190610a8d565b506306dfcc6560e41b5f52601060045260245260445ffd5b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52601160045260245ffd5b505f92918b8b6040519661016051880195865260408801526060870152608086015260a085015260c0840152600560f81b8784015260c28352610bbe60e284610c96565b60405192518091845e820191818352806101605193039060025afa15610b11575f9182519060405194610160518601938452604086015260608501526080840152600360f81b60a084015260828352610c1860a284610c96565b60405192518091845e820191818352806101605193039060025afa15610b11575f516001600160e01b03191681526040516117619182610ceb83396080518281816107270152611173015260a0518281816106ad0152611199015260c05182818161021801526111d101525181818160e501526110af0152f35b5f80fd5b601f909101601f19168101906001600160401b03821190821017610cb957604052565b634e487b7160e01b5f52604160045260245ffd5b805115610b525760200190565b805160011015610b52576040019056fe60806040526004361015610011575f80fd5b5f3560e01c8063053c238d146100945780631599ead51461008f578063258038e21461008a57806334baeab9146100855780638989fa2e146100805780639181e4b11461007b578063ab750e75146100765763ffa1ad7414610071575f80fd5b6108c1565b61074b565b6106d1565b610657565b610256565b6101e3565b610112565b3461010e575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010e577fffffffff000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000001660805260206080f35b5f80fd5b3461010e5760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010e5760043567ffffffffffffffff811161010e5780360360407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc82011261010e577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdd8260040135910181121561010e57810160048101359067ffffffffffffffff821161010e5760240190803603821361010e5760246101e1930135916110ab565b005b3461010e575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010e5760206040517f00000000000000000000000000000000000000000000000000000000000000008152f35b9060049160441161010e57565b9060c4916101041161010e57565b3461010e576101a07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010e5761028f3661023b565b3660c41161010e576102a036610248565b366101a41161010e57604051906103808201604052610104356102c281610972565b61012435936102d085610972565b610144356102dd81610972565b610164356102ea81610972565b61018435916102f883610972565b6103046101a435610972565b60808701977f12ac9a25dcd5e1a832a9061a082c15dd1d61aa9c4d553505739d0f5d65dc3be4885260208801957f025aa744581ebe7ad91731911c898569106ff5a2d30f3eee2b23c60ee980acd4875261035e90896109a3565b6103689088610a69565b6103729087610b2f565b61037c9086610bf5565b6103869085610cbb565b803585527f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4760209182013581030660a085015260443560c085015260643560e085015260843561010085015260a4356101208501527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e26101408501527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d19266101608501527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c6101808501527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab6101a08501527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a76101c08501527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec86101e0850152835161020085015290516102208401527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26102408401527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6102608401527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6102808401527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa6102a084015281356102c084015201356102e08201527f03b03cd5effa95ac9bee94f1f5ef907157bda4812ccf0b4c91f42bb629f83a1c6103008201527f1aa085ff28179a12d922dba0547057ccaae94b9d69cfaa4e60401fea7f3e03336103208201527f110c10134f200b19f6490846d518c9aea868366efb7228ca5c91d2940d0307626103408201527f1e60f31fcbf757e837e867178318832d0b2d74d59e2fea1c7142df187d3fc6d36103609091015280805a7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83001602092600861030092fa9051165f5260205ff35b3461010e575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010e5760206040517fffffffffffffffffffffffffffffffff000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000168152f35b3461010e575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010e5760206040517fffffffffffffffffffffffffffffffff000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000168152f35b3461010e5760607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010e5760043567ffffffffffffffff811161010e573660238201121561010e5780600401359067ffffffffffffffff821161010e57366024838301011161010e576101e1916024359060246044359301610d81565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6040810190811067ffffffffffffffff82111761081557604052565b6107cc565b60a0810190811067ffffffffffffffff82111761081557604052565b6060810190811067ffffffffffffffff82111761081557604052565b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff82111761081557604052565b604051906108a2604083610852565b565b604051906108a260a083610852565b906108a26040519283610852565b3461010e575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261010e576040516108fb816107f9565b60058152604060208201917f312e322e3000000000000000000000000000000000000000000000000000000083527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f8351948593602085525180918160208701528686015e5f85828601015201168101030190f35b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001111561099b57565b5f805260205ff35b604051917f0707b920bc978c02f292fae2036e057be54294114ccc3c8769d883f688a1423f83527f2e32a094b7589554f7bc357bf63481acd2d55555c203383782a4650787ff664260208401526040830190815260408360608160077ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8305a01fa1561099b57604092608091835190526020830151606082015260067ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8305a01fa1561099b57565b604051917f0bca36e2cbe6394b3e249751853f961511011c7148e336f4fd974644850fc34783527f2ede7c9acf48cf3a3729fa3d68714e2a8435d4fa6db8f7f409c153b1fcdf9b8b60208401526040830190815260408360608160077ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8305a01fa1561099b57604092608091835190526020830151606082015260067ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8305a01fa1561099b57565b604051917f1b8af999dbfbb3927c091cc2aaf201e488cbacc3e2c6b6fb5a25f9112e04f2a783527f2b91a26aa92e1b6f5722949f192a81c850d586d81a60157f3e9cf04f679cccd660208401526040830190815260408360608160077ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8305a01fa1561099b57604092608091835190526020830151606082015260067ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8305a01fa1561099b57565b604051917f2b5f494ed674235b8ac1750bdfd5a7615f002d4a1dcefeddd06eda5a076ccd0d83527f2fe520ad2020aab9cbba817fcbb9a863b8a76ff88f14f912c5e71665b2ad5e8260208401526040830190815260408360608160077ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8305a01fa1561099b57604092608091835190526020830151606082015260067ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8305a01fa1561099b57565b604051917f0f1c3c0d5d9da0fa03666843cde4e82e869ba5252fce3c25d5940320b1c4d49383527f214bfcff74f425f6fe8c0d07b307482d8bc8bb2f3608f68287aa01bd0b69e80960208401526040830190815260408360608160077ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8305a01fa1561099b57604092608091835190526020830151606082015260067ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8305a01fa1561099b57565b91610e36906108a2945f6080604051610d998161081a565b828152826020820152604051610dae816107f9565b83815283602082015260408201528260608201520152610def610dcf610893565b915f83525f6020840152610de1610893565b9081525f602082015261169d565b90610df86108a4565b9283527fa3acc27117418996340b84e5a90f3ef4c49d22c79e44aad822ec9c313e1eb8e2602084015260408301525f60608301526080820152611396565b916110ab565b9060041161010e5790600490565b909291928360041161010e57831161010e57600401917ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0190565b919091357fffffffff0000000000000000000000000000000000000000000000000000000081169260048110610eb9575050565b7fffffffff00000000000000000000000000000000000000000000000000000000929350829060040360031b1b161690565b9080601f8301121561010e5760405191610f06604084610852565b82906040810192831161010e57905b828210610f225750505090565b8135815260209182019101610f15565b6101008183031261010e5760405191610f4a83610836565b610f548183610eeb565b835280605f8301121561010e576040918251610f708482610852565b8060c083019284841161010e5785809101915b848310610fa3575050506020850152610f9c9190610eeb565b9082015290565b602090610fb08785610eeb565b8152019101908590610f83565b9081602091031261010e5751801515810361010e5790565b905f905b60028210610fe657505050565b6020806001928551815201930191019091610fd9565b905f905b6005821061100d57505050565b6020806001928551815201930191019091611000565b919493929094611038836101a0810197610fd5565b5f604084015b60028210611066575050508161105f6101009260c06108a296950190610fd5565b0190610ffc565b82515f90825b6002831061108a57505050602060406001920193019101909161103e565b602080600192845181520192019201919061106c565b6040513d5f823e3d90fd5b90917f00000000000000000000000000000000000000000000000000000000000000006111096110e46110de8686610e3c565b90610e85565b7fffffffff000000000000000000000000000000000000000000000000000000001690565b7fffffffff000000000000000000000000000000000000000000000000000000008216036112a057509061115561114d846111456020956114d8565b969094610e4a565b810190610f32565b906112298251916040858501519401519561117060a06108b3565b917f000000000000000000000000000000000000000000000000000000000000000060801c83527f000000000000000000000000000000000000000000000000000000000000000060801c8784015260801c604083015260801c60608201527f0000000000000000000000000000000000000000000000000000000000000000608082015260405195869485947f34baeab900000000000000000000000000000000000000000000000000000000865260048601611023565b0381305afa90811561129b575f9161126c575b501561124457565b7f439cc0cd000000000000000000000000000000000000000000000000000000005f5260045ffd5b61128e915060203d602011611294575b6112868183610852565b810190610fbd565b5f61123c565b503d61127c565b6110a0565b611304906112b16110de8686610e3c565b7fb8b38d4c000000000000000000000000000000000000000000000000000000005f527fffffffff0000000000000000000000000000000000000000000000000000000090811660045216602452604490565b5ffd5b6003111561131157565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b60205f60126040517f72697363302e52656365697074436c61696d0000000000000000000000000000815260025afa1561129b575f5190565b5160038110156113115790565b805191908290602001825e015f815290565b5f6114c86020926114bc6113a861133e565b6114906060840151938051908881015190604060808201519101906113ff6113e36113f98d6113ef6113da8751611377565b6113e381611307565b60181b63ff0000001690565b9551015160ff1690565b60ff1690565b9261040094604051998a988e8a019692947fffffffff000000000000000000000000000000000000000000000000000000009460aa999686947fffff00000000000000000000000000000000000000000000000000000000000099948b5260208b015260408a01526060890152608088015260e01b1660a086015260e01b1660a484015260f01b1660a88201520190565b037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08101835282610852565b60405191828092611384565b039060025afa1561129b575f5190565b8060081c9060081b907cff000000ff000000ff000000ff000000ff000000ff000000ff000000ff7dff000000ff000000ff000000ff000000ff000000ff000000ff000000ff007fff000000ff000000ff000000ff000000ff000000ff000000ff000000ff00000084167eff000000ff000000ff000000ff000000ff000000ff000000ff000000ff000084161760101c931691161760101b176115be7bffffffff00000000ffffffff00000000ffffffff00000000ffffffff7fffffffff00000000ffffffff00000000ffffffff00000000ffffffff00000000831660201c921660201b90565b1761160f77ffffffffffffffff0000000000000000ffffffffffffffff6116077fffffffffffffffff0000000000000000ffffffffffffffff0000000000000000841660401c90565b921660401b90565b1761162461161d8260801c90565b9160801b90565b17907fffffffffffffffffffffffffffffffff0000000000000000000000000000000061169461166c6116578560801c90565b6fffffffffffffffffffffffffffffffff1690565b60801b7fffffffffffffffffffffffffffffffff000000000000000000000000000000001690565b9260801b169190565b60205f600c6040517f72697363302e4f75747075740000000000000000000000000000000000000000815260025afa1561129b575f80518251602093840151604080518087019490945283019190915260608201527f02000000000000000000000000000000000000000000000000000000000000006080820152606281526114c8906114bc60828261085256fea26469706673582212207586b559a2c92ed31ee2fb1e53160e35f4cb5555e46f9789020d9d278e13a08464736f6c634300081c00338cdad9242664be3112aba377c5425a4df735eb1c6966472b561d2855932c046904446e66d300eb7fb45c9726bb53c793dda407a62e9601618bb43c5c14657ac0

abi

bytecode