MockVerifier | Arbitrum

codeslaw

MockVerifierSolidityv0.8.19+commit.7dd6d404

network

Arbitrum

address0x763ff43c80896cfe639f1baef69b921d0479eb30

deployer0x8898502BA35AB64b3562aBC509Befb7Eb178D4df

tx last 12 months

0 txs

calls last 12 months

0 calls

1 File

contracts

MockVerifier.sol

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

bytecode

creation bytecode

0x6101006040523480156200001257600080fd5b5060405162002bea38038062002bea83398181016040528101906200003891906200012f565b836040516020016200004b9190620001f1565b60405160208183030381529060405280519060200120608081815250508160e081815250508260c081815250508060a08181525050505050506200020e565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000620000bc826200008f565b9050919050565b620000ce81620000af565b8114620000da57600080fd5b50565b600081519050620000ee81620000c3565b92915050565b6000819050919050565b6200010981620000f4565b81146200011557600080fd5b50565b6000815190506200012981620000fe565b92915050565b600080600080608085870312156200014c576200014b6200008a565b5b60006200015c87828801620000dd565b94505060206200016f8782880162000118565b9350506040620001828782880162000118565b9250506060620001958782880162000118565b91505092959194509250565b60008160601b9050919050565b6000620001bb82620001a1565b9050919050565b6000620001cf82620001ae565b9050919050565b620001eb620001e582620000af565b620001c2565b82525050565b6000620001ff8284620001d6565b60148201915081905092915050565b60805160a05160c05160e05161297f6200026b600039600081816105b6015281816105fe015261071601526000818161065101526106f20152600081816104a7015261073a0152600081816105020152610587015261297f6000f3fe608060405234801561001057600080fd5b50600436106100a95760003560e01c80639fc422b1116100715780639fc422b11461018c578063a3fc1884146101bc578063b33aa039146101ec578063bf83c8831461021c578063dbb97c151461023a578063e33e963714610258576100a9565b806302d1c538146100ae5780631d2440eb146100de5780636b8b720e1461010e57806370a5fed01461013e5780638af2f2211461016e575b600080fd5b6100c860048036038101906100c39190611dc2565b610276565b6040516100d59190611e88565b60405180910390f35b6100f860048036038101906100f39190611ea3565b610357565b6040516101059190611f80565b60405180910390f35b610128600480360381019061012391906120dc565b61049a565b6040516101359190611e88565b60405180910390f35b6101586004803603810190610153919061215f565b6104f5565b6040516101659190612251565b60405180910390f35b610176610585565b604051610183919061227b565b60405180910390f35b6101a660048036038101906101a19190612296565b6105a9565b6040516101b39190611f80565b60405180910390f35b6101d660048036038101906101d19190612349565b61064a565b6040516101e391906123db565b60405180910390f35b610206600480360381019061020191906123f6565b610693565b6040516102139190612498565b60405180910390f35b6102246106f0565b60405161023191906123db565b60405180910390f35b610242610714565b60405161024f91906123db565b60405180910390f35b610260610738565b60405161026d91906123db565b60405180910390f35b61027e611ba2565b60006102d56102d085858080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505061075c565b61078a565b90506001815114610312576040517f7504d75000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b61034187878761033c8560008151811061032f5761032e6124b3565b5b602002602001015161089f565b61049a565b9150428260200181815250505095945050505050565b61035f611bbc565b60006103b66103b185858080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505061075c565b61078a565b905060038151146103f3576040517f7504d75000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600061042488888861041f86600081518110610412576104116124b3565b5b602002602001015161089f565b61064a565b905061047988888861045086600181518110610443576104426124b3565b5b602002602001015161089f565b61047487600281518110610467576104666124b3565b5b602002602001015161089f565b6105a9565b92508083604001818152505042836060018181525050505095945050505050565b6104a2611ba2565b6104e47f0000000000000000000000000000000000000000000000000000000000000000868660001b6000876104df6104da8961075c565b61078a565b610932565b816000018181525050949350505050565b6104fd611be4565b61057c7f00000000000000000000000000000000000000000000000000000000000000008561057761057287878080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f8201169050808301925050505050505061075c565b61078a565b6109fe565b90509392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b6105b1611bbc565b6105f07f000000000000000000000000000000000000000000000000000000000000000087876000886105eb6105e68a61075c565b61078a565b610b4b565b8160000181815250506106387f0000000000000000000000000000000000000000000000000000000000000000878760028861063361062e8961075c565b61078a565b610b4b565b81602001818152505095945050505050565b60006106897f000000000000000000000000000000000000000000000000000000000000000086868661068461067f8861075c565b61078a565b610c17565b9050949350505050565b61069b611c1b565b6106e883838080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050610cb1565b905092915050565b7f000000000000000000000000000000000000000000000000000000000000000081565b7f000000000000000000000000000000000000000000000000000000000000000081565b7f000000000000000000000000000000000000000000000000000000000000000081565b610764611c49565b600060208301905060405180604001604052808451815260200182815250915050919050565b606061079582610d89565b61079e57600080fd5b60006107a983610dd6565b905060008167ffffffffffffffff8111156107c7576107c6611fb1565b5b60405190808252806020026020018201604052801561080057816020015b6107ed611c49565b8152602001906001900390816107e55790505b50905060006108128560200151610e63565b85602001516108219190612511565b9050600080600090505b848110156108925761083c83610f22565b9150604051806040016040528083815260200184815250848281518110610866576108656124b3565b5b6020026020010181905250818361087d9190612511565b9250808061088a90612545565b91505061082b565b5082945050505050919050565b606060008260000151116108b257600080fd5b6000806108be84610ffe565b9150915060008167ffffffffffffffff8111156108de576108dd611fb1565b5b6040519080825280601f01601f1916602001820160405280156109105781602001600182028036833780820191505090505b5090506000816020019050610926848285611048565b81945050505050919050565b60008084888860405160200161094992919061259c565b60405160208183030381529060405280519060200120876040516020016109719291906125c5565b60405160208183030381529060405280519060200120604051602001610997919061227b565b6040516020818303038152906040528051906020012060001c6109ba9190612511565b6040516020016109ca91906123db565b6040516020818303038152906040528051906020012090506109ed8185856110ea565b602001519150509695505050505050565b610a06611be4565b6000610a328486604051602001610a1d919061260f565b60405160208183030381529060405285611169565b9050610a3c611be4565b6000825103610a4f578092505050610b44565b6000610a62610a5d8461075c565b61078a565b90506004815114610a7257600080fd5b6001826000019015159081151581525050610aa781600081518110610a9a57610a996124b3565b5b60200260200101516116e3565b826020018181525050610ad481600181518110610ac757610ac66124b3565b5b60200260200101516116e3565b826040018181525050610b0181600281518110610af457610af36124b3565b5b60200260200101516116e3565b60001b826060018181525050610b3181600381518110610b2457610b236124b3565b5b60200260200101516116e3565b60001b8260800181815250508193505050505b9392505050565b600080848888604051602001610b6292919061259c565b6040516020818303038152906040528051906020012087604051602001610b8a92919061262a565b60405160208183030381529060405280519060200120604051602001610bb0919061227b565b6040516020818303038152906040528051906020012060001c610bd39190612511565b604051602001610be391906123db565b604051602081830303815290604052805190602001209050610c068185856110ea565b602001519150509695505050505050565b6000808686604051602001610c2d92919061259c565b6040516020818303038152906040528051906020012085604051602001610c5592919061262a565b6040516020818303038152906040528051906020012060001c604051602001610c7e91906123db565b604051602081830303815290604052805190602001209050610ca18185856110ea565b6020015191505095945050505050565b610cb9611c1b565b610cc1611c1b565b6000610cd4610ccf8561075c565b61078a565b9050600b815111610ce457600080fd5b610d0881600381518110610cfb57610cfa6124b3565b5b60200260200101516116e3565b60001b826020018181525050610d3881600881518110610d2b57610d2a6124b3565b5b60200260200101516116e3565b826040018181525050610d6581600b81518110610d5857610d576124b3565b5b60200260200101516116e3565b82606001818152505083805190602001208260000181815250508192505050919050565b600080826000015103610d9f5760009050610dd1565b60008083602001519050805160001a915060c060ff168260ff161015610dca57600092505050610dd1565b6001925050505b919050565b600080826000015103610dec5760009050610e5e565b600080610dfc8460200151610e63565b8460200151610e0b9190612511565b9050600084600001518560200151610e239190612511565b90505b80821015610e5757610e3782610f22565b82610e429190612511565b91508280610e4f90612545565b935050610e26565b8293505050505b919050565b600080825160001a9050608060ff16811015610e83576000915050610f1d565b60b860ff16811080610ea8575060c060ff168110158015610ea7575060f860ff1681105b5b15610eb7576001915050610f1d565b60c060ff16811015610ef25760018060b8610ed29190612660565b60ff1682610ee09190612695565b610eea9190612511565b915050610f1d565b60018060f8610f019190612660565b60ff1682610f0f9190612695565b610f199190612511565b9150505b919050565b6000806000835160001a9050608060ff16811015610f435760019150610ff4565b60b860ff16811015610f72576001608060ff1682610f619190612695565b610f6b9190612511565b9150610ff3565b60c060ff16811015610fa25760b78103600185019450806020036101000a85510460018201810193505050610ff2565b60f860ff16811015610fd157600160c060ff1682610fc09190612695565b610fca9190612511565b9150610ff1565b60f78103600185019450806020036101000a855104600182018101935050505b5b5b5b8192505050919050565b60008060006110108460200151610e63565b905060008185602001516110249190612511565b905060008286600001516110389190612695565b9050818194509450505050915091565b60008103156110e5575b602060ff16811061109c5782518252602060ff16836110719190612511565b9250602060ff16826110839190612511565b9150602060ff16816110959190612695565b9050611052565b60008111156110e4576000600182602060ff166110b99190612695565b6101006110c691906127fc565b6110d09190612695565b905080198451168184511681811785525050505b5b505050565b6110f2611c63565b600061111e8486604051602001611109919061260f565b60405160208183030381529060405285611169565b9050611128611c63565b600082511461115d57600181600001901515908115158152505061115361114e8361075c565b6116e3565b8160200181815250505b80925050509392505050565b6060600061117884600061173d565b90506000806060611187611c49565b6000875103611219577f56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b42160001b89146111bf57600080fd5b600067ffffffffffffffff8111156111da576111d9611fb1565b5b6040519080825280601f01601f19166020018201604052801561120c5781602001600182028036833780820191505090505b50955050505050506116dc565b60005b87518110156116d5576000811480156112575750611253888281518110611246576112456124b3565b5b6020026020010151611932565b8a14155b1561126157600080fd5b600081141580156112945750611290888281518110611283576112826124b3565b5b6020026020010151611957565b8414155b1561129e57600080fd5b6112c18882815181106112b4576112b36124b3565b5b602002602001015161078a565b925060028351036114fb57600060606112fc6112f7866000815181106112ea576112e96124b3565b5b602002602001015161089f565b6119ad565b80925081935050506000611311888a84611a65565b9050808861131f9190612511565b975081518110156113a25760018b516113389190612695565b84101561134457600080fd5b600067ffffffffffffffff81111561135f5761135e611fb1565b5b6040519080825280601f01601f1916602001820160405280156113915781602001600182028036833780820191505090505b5099505050505050505050506116dc565b82156114605760018b516113b69190612695565b8410156113c257600080fd5b885188101561142957600067ffffffffffffffff8111156113e6576113e5611fb1565b5b6040519080825280601f01601f1916602001820160405280156114185781602001600182028036833780820191505090505b5099505050505050505050506116dc565b8560018151811061143d5761143c6124b3565b5b602002602001015194506114508561089f565b99505050505050505050506116dc565b60018b5161146e9190612695565b840361147957600080fd5b61149d866001815181106114905761148f6124b3565b5b6020026020010151610d89565b6114cc576114c5866001815181106114b8576114b76124b3565b5b6020026020010151611b45565b96506114f3565b6114f0866001815181106114e3576114e26124b3565b5b6020026020010151611932565b96505b5050506116c2565b60118351036116c15785518514611676576000868681518110611521576115206124b3565b5b602001015160f81c60f81b60f81c905060018661153e9190612511565b955060108160ff161061155057600080fd5b611576848260ff1681518110611569576115686124b3565b5b6020026020010151611b69565b156115f057600189516115899190612695565b821461159457600080fd5b600067ffffffffffffffff8111156115af576115ae611fb1565b5b6040519080825280601f01601f1916602001820160405280156115e15781602001600182028036833780820191505090505b509750505050505050506116dc565b611616848260ff1681518110611609576116086124b3565b5b6020026020010151610d89565b61164757611640848260ff1681518110611633576116326124b3565b5b6020026020010151611b45565b9450611670565b61166d848260ff16815181106116605761165f6124b3565b5b6020026020010151611932565b94505b506116c0565b600188516116849190612695565b811461168f57600080fd5b6116b3836010815181106116a6576116a56124b3565b5b602002602001015161089f565b96505050505050506116dc565b5b5b80806116cd90612545565b91505061121c565b5050505050505b9392505050565b60008082600001511180156116fd57506021826000015111155b61170657600080fd5b60008061171284610ffe565b91509150600082519050602082101561173257816020036101000a810490505b809350505050919050565b6060600083511161174d57600080fd5b60006002845161175d9190612847565b90508083111561176c57600080fd5b82816117789190612695565b90508067ffffffffffffffff81111561179457611793611fb1565b5b6040519080825280601f01601f1916602001820160405280156117c65781602001600182028036833780820191505090505b5091506000808490505b82856117dc9190612511565b8110156119185760006002826117f291906128b8565b0361187857600f60048760028461180991906128e9565b8151811061181a576118196124b3565b5b602001015160f81c60f81b60f81c60ff16901c1660f81b848381518110611844576118436124b3565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053506118f5565b600f60008760028461188a91906128e9565b8151811061189b5761189a6124b3565b5b602001015160f81c60f81b60f81c60ff16901c1660f81b8483815181106118c5576118c46124b3565b5b60200101907effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916908160001a9053505b6001826119029190612511565b91506001816119119190612511565b90506117d0565b508251811461192a5761192961291a565b5b505092915050565b6000808260200151905060008360000151905060008183209050809350505050919050565b60006020826000015110156119765761196f82611932565b90506119a8565b61197f82611932565b60405160200161198f919061260f565b6040516020818303038152906040528051906020012090505b919050565b6000606060008351116119bf57600080fd5b6000600f6004856000815181106119d9576119d86124b3565b5b602001015160f81c60f81b60f81c60ff16901c1660ff1690506000808203611a08576002905060009350611a4f565b60018203611a1d576001905060009350611a4e565b60028203611a32576002905060019350611a4d565b60038203611a47576001905060019350611a4c565b600080fd5b5b5b5b83611a5a868361173d565b935093505050915091565b600080600090505b83518582611a7b9190612511565b108015611a885750825181105b15611b3957828181518110611aa057611a9f6124b3565b5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916848683611ada9190612511565b81518110611aeb57611aea6124b3565b5b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191614611b265780915050611b3e565b8080611b3190612545565b915050611a6d565b809150505b9392505050565b6000806000611b5384610ffe565b9150915060008183209050809350505050919050565b60006001826000015114611b805760009050611b9d565b60008083602001519050805160001a915060808260ff1614925050505b919050565b604051806040016040528060008152602001600081525090565b6040518060800160405280600081526020016000815260200160008152602001600081525090565b6040518060a00160405280600015158152602001600081526020016000815260200160008019168152602001600080191681525090565b6040518060800160405280600080191681526020016000801916815260200160008152602001600081525090565b604051806040016040528060008152602001600081525090565b6040518060400160405280600015158152602001600081525090565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000611cbe82611c93565b9050919050565b611cce81611cb3565b8114611cd957600080fd5b50565b600081359050611ceb81611cc5565b92915050565b6000819050919050565b611d0481611cf1565b8114611d0f57600080fd5b50565b600081359050611d2181611cfb565b92915050565b6000819050919050565b611d3a81611d27565b8114611d4557600080fd5b50565b600081359050611d5781611d31565b92915050565b600080fd5b600080fd5b600080fd5b60008083601f840112611d8257611d81611d5d565b5b8235905067ffffffffffffffff811115611d9f57611d9e611d62565b5b602083019150836001820283011115611dbb57611dba611d67565b5b9250929050565b600080600080600060808688031215611dde57611ddd611c89565b5b6000611dec88828901611cdc565b9550506020611dfd88828901611d12565b9450506040611e0e88828901611d48565b935050606086013567ffffffffffffffff811115611e2f57611e2e611c8e565b5b611e3b88828901611d6c565b92509250509295509295909350565b611e5381611cf1565b82525050565b604082016000820151611e6f6000850182611e4a565b506020820151611e826020850182611e4a565b50505050565b6000604082019050611e9d6000830184611e59565b92915050565b600080600080600060808688031215611ebf57611ebe611c89565b5b6000611ecd88828901611cdc565b9550506020611ede88828901611cdc565b9450506040611eef88828901611d48565b935050606086013567ffffffffffffffff811115611f1057611f0f611c8e565b5b611f1c88828901611d6c565b92509250509295509295909350565b608082016000820151611f416000850182611e4a565b506020820151611f546020850182611e4a565b506040820151611f676040850182611e4a565b506060820151611f7a6060850182611e4a565b50505050565b6000608082019050611f956000830184611f2b565b92915050565b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b611fe982611fa0565b810181811067ffffffffffffffff8211171561200857612007611fb1565b5b80604052505050565b600061201b611c7f565b90506120278282611fe0565b919050565b600067ffffffffffffffff82111561204757612046611fb1565b5b61205082611fa0565b9050602081019050919050565b82818337600083830152505050565b600061207f61207a8461202c565b612011565b90508281526020810184848401111561209b5761209a611f9b565b5b6120a684828561205d565b509392505050565b600082601f8301126120c3576120c2611d5d565b5b81356120d384826020860161206c565b91505092915050565b600080600080608085870312156120f6576120f5611c89565b5b600061210487828801611cdc565b945050602061211587828801611d12565b935050604061212687828801611d48565b925050606085013567ffffffffffffffff81111561214757612146611c8e565b5b612153878288016120ae565b91505092959194509250565b60008060006040848603121561217857612177611c89565b5b600061218686828701611d48565b935050602084013567ffffffffffffffff8111156121a7576121a6611c8e565b5b6121b386828701611d6c565b92509250509250925092565b60008115159050919050565b6121d4816121bf565b82525050565b6121e381611d27565b82525050565b60a0820160008201516121ff60008501826121cb565b5060208201516122126020850182611e4a565b5060408201516122256040850182611e4a565b50606082015161223860608501826121da565b50608082015161224b60808501826121da565b50505050565b600060a08201905061226660008301846121e9565b92915050565b61227581611d27565b82525050565b6000602082019050612290600083018461226c565b92915050565b600080600080600060a086880312156122b2576122b1611c89565b5b60006122c088828901611cdc565b95505060206122d188828901611cdc565b94505060406122e288828901611d48565b935050606086013567ffffffffffffffff81111561230357612302611c8e565b5b61230f888289016120ae565b925050608086013567ffffffffffffffff8111156123305761232f611c8e565b5b61233c888289016120ae565b9150509295509295909350565b6000806000806080858703121561236357612362611c89565b5b600061237187828801611cdc565b945050602061238287828801611cdc565b935050604061239387828801611d48565b925050606085013567ffffffffffffffff8111156123b4576123b3611c8e565b5b6123c0878288016120ae565b91505092959194509250565b6123d581611cf1565b82525050565b60006020820190506123f060008301846123cc565b92915050565b6000806020838503121561240d5761240c611c89565b5b600083013567ffffffffffffffff81111561242b5761242a611c8e565b5b61243785828601611d6c565b92509250509250929050565b60808201600082015161245960008501826121da565b50602082015161246c60208501826121da565b50604082015161247f6040850182611e4a565b5060608201516124926060850182611e4a565b50505050565b60006080820190506124ad6000830184612443565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061251c82611cf1565b915061252783611cf1565b925082820190508082111561253f5761253e6124e2565b5b92915050565b600061255082611cf1565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203612582576125816124e2565b5b600182019050919050565b61259681611cb3565b82525050565b60006040820190506125b160008301856123cc565b6125be602083018461258d565b9392505050565b60006040820190506125da600083018561226c565b6125e7602083018461226c565b9392505050565b6000819050919050565b61260961260482611d27565b6125ee565b82525050565b600061261b82846125f8565b60208201915081905092915050565b600060408201905061263f600083018561226c565b61264c602083018461258d565b9392505050565b600060ff82169050919050565b600061266b82612653565b915061267683612653565b9250828203905060ff81111561268f5761268e6124e2565b5b92915050565b60006126a082611cf1565b91506126ab83611cf1565b92508282039050818111156126c3576126c26124e2565b5b92915050565b60008160011c9050919050565b6000808291508390505b6001851115612720578086048111156126fc576126fb6124e2565b5b600185161561270b5780820291505b8081029050612719856126c9565b94506126e0565b94509492505050565b60008261273957600190506127f5565b8161274757600090506127f5565b816001811461275d576002811461276757612796565b60019150506127f5565b60ff841115612779576127786124e2565b5b8360020a9150848211156127905761278f6124e2565b5b506127f5565b5060208310610133831016604e8410600b84101617156127cb5782820a9050838111156127c6576127c56124e2565b5b6127f5565b6127d884848460016126d6565b925090508184048111156127ef576127ee6124e2565b5b81810290505b9392505050565b600061280782611cf1565b915061281283611cf1565b925061283f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484612729565b905092915050565b600061285282611cf1565b915061285d83611cf1565b925082820261286b81611cf1565b91508282048414831517612882576128816124e2565b5b5092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60006128c382611cf1565b91506128ce83611cf1565b9250826128de576128dd612889565b5b828206905092915050565b60006128f482611cf1565b91506128ff83611cf1565b92508261290f5761290e612889565b5b828204905092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052600160045260246000fdfea264697066735822122060e9932e447e7b589f0f916ee89f08372ef744742b6b58e8ca52cd4f1f97a68a64736f6c634300081300330000000000000000000000002f50d538606fa9edd2b11e2446beb18c9d5846bb000000000000000000000000000000000000000000000000000000000000000b0000000000000000000000000000000000000000000000000000000000000009000000000000000000000000000000000000000000000000000000000000000c

abi

bytecode