0xce172ce1F20EC0B3728c9965470eaf994A03557A

on Ethereum Mainnet (1)

Match

Runtime Bytecode

Creation Bytecode

Contract Name: Verifier
Compilation Target: Verifier.sol:Verifier
Language: Solidity
Compiler: solc 0.5.17+commit.d19bba13
EVM Version: default
Verified At: 2025-07-04 18:25:42 UTC
Deployer: 0x8589427373D6D84E98730D7795D8f6f8731FDA16
Deployment Transaction: 0xe4516b4c13cbc18062d5737436ee5e1fd3cf80c3b9a65aeacc0f6fc7db466bc2
Block Number: 10050743
Transaction Index: 62

Read/Write Contract on:

ABI

Expand to view

Loading contract data...

Source Code

View on Remix IDE

EXPLORER

Verifier.sol

Loading files...

Loading contract data...

Compiler Settings

Contract Metadata

Creation Bytecode

Annotated On-chain Bytecode

On-chain Bytecode

Recompiled Bytecode

0x608060405234801561001057600080fd5b50610ec5806100206000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c8063functionSignature695ef6f914610030575b600080fd5b610102600480360360e081101561004657600080fd5b81019060208101813564010000000081111561006157600080fd5b82018360208201111561007357600080fd5b8035906020019184600183028401116401000000008311171561009557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250506040805160c081810190925293969594818101949350915060069083908390808284376000920191909152509194506101169350505050565b604080519115158252519081900360200190f35b6000610120610c9d565b8380602001905161010081101561013657600080fd5b50905060005b60088160ff1610156101c1577f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47828260ff166008811061017857fe5b6020020151106101b95760405162461bcd60e51b8152600401808060200182810382526022815260200180610e6f6022913960400191505060405180910390fd5b60010161013c565b506101ca610cbc565b6040805180820182528351815260208085015181830152908352815160808082018452858401518285019081526060808801519084015282528351808501855290860151815260a08601518184015281830152838201528151808301835260c0850151815260e08501519181019190915290820152610247610cee565b61024f6103a7565b9050610259610d35565b6040518060400160405280600081526020016000815250905061029181836080015160006007811061028757fe5b6020020151610872565b905060005b6006811015610367577f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018782600681106102cc57fe5b602002015110610323576040805162461bcd60e51b815260206004820152601f60248201527f76657269666965722d6774652d736e61726b2d7363616c61722d6669656c6400604482015290519081900360640190fd5b61035d826103588560800151846001016007811061033d57fe5b60200201518a856006811061034e57fe5b6020020151610912565b610872565b9150600101610296565b5061039c6103788460000151610998565b84602001518460000151856020015185876040015189604001518960600151610a3f565b979650505050505050565b6103af610cee565b6040805180820182527f2dbfc3ec62a3eee5a3b4b464bcf1f8527bbca12adea0f1f12033cd4f61b0e09181527f19e55bd0b72c126da18665039556776642ff82e2f347f24fcea2475f4db087df6020808301919091529083528151608080820184527f1ae724ab134e5a7c6bd8a116fa5505b259522c0f164a5e8126e3ec7d34465f6e8285019081527e9f1bcdc853f8e3531756bb625b0d1dc014f4ab57c3f79f4f4e2e7ef7e0ead6606080850191909152908352845180860186527f23a8ca5760457e726365b92fd0ceb486665797cd68c35dcffd8e4ae8066691e981527f13ec7182c9fd68331a10f8be0fe885d730de5c7f89aa7d0b7bafaa009bbc9e3e818601528385015285840192909252835180820185527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c28186019081527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed828501528152845180860186527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b81527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa818601528185015285850152835180820185527f2f0c63d0c53b3dfbca27b6b43ae7fbf55a38d78a21470996485b03128accc2088186019081527e556502356e37ed150db2e36531b0f275fd6835c0fc1945922e270b48c48a86828501528152845180860186527f02644c27b5dbd793592a70b735e22c798a5e309fa17a992a7dc2a050e01b298f81527f194776b6a53439d7336f389d2a8f6651e40885f5ca2538b0dc9cb534fb23f7fa818601528185015282860152835180850185527f23df1bc9165e9c1c9b2bc036d8ebdd10e7aeae7e5e8019fde68aec7c818bb23e81527f0b6c92080d37c5fb2ddf30892a33665e5478432ef3f71ac8768ecbbe62c7789281850152818601805191909152845180860186527f1c7b2adf45e046caea000956b2ecb2d8617e710d2a7bb201a95ea276f92307b481527f2b15f07536f45948cf4abe6596637d902ffabb18c8c2f5c151544c294ce4a672818601528151850152845180860186527f1cecfe92882a8c835a47bf01bfa655cf628cbba7f81cf4042179fd13edcd6a3981527f0154bfbb2cb786ca247d4b69183d1751f267bbc7656be8d0f0e7a5a47e2c1101818601528151860152845180860186527f1584616a7423efcc72f69ea84fa0b2bc01433677297f4e8351bebfc15bcd0cda81527f0623755b1488526daa9fecf0e11b110dd6df12c461579d792e1db65af523c8be81860152815190930192909252835180850185527f12fbb5bfca9d61357ba2d641604cf4852e21ef54faa180fe539c18994dc1da5a81527f2f09dd9972a1af5f7bcfccf3d7ab600c9d898ea6d6933150ba0ae228ece17e5f81850152825190910152825180840184527f0adb513796fdf2103022c64151ce05f7c7a6d9200e8d819fa59e654fc4bfe83c81527f2d64f72ef4eddf9ca032058ed2bf691758387e913a77cf99d6a3cfb37c8ba7ee81840152815160a0015282518084019093527f21e7c9bffda74bfd2c4393b6803d775545de6fa89145f4a23476241d9881b66183527f0bbe41e52237ac13eb7b01f3cb999b7394d08734e71b1c3ada62713e17eb560c918301919091525160c0015290565b61087a610d35565b610882610d4f565b8351815260208085015181830152835160408301528301516060808301919091526000908360c08460066107d05a03fa90508080156108c0576108c2565bfe5b508061090a576040805162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5859190b59985a5b195960721b604482015290519081900360640190fd5b505092915050565b61091a610d35565b610922610d6d565b835181526020808501519082015260408101839052600060608360808460076107d05a03fa90508080156108c057508061090a576040805162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5b5d5b0b59985a5b195960721b604482015290519081900360640190fd5b6109a0610d35565b81511580156109b157506020820151155b156109d057506040805180820190915260008082526020820152610a3a565b6040518060400160405280836000015181526020017f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47846020015181610a1257fe5b067f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4703905290505b919050565b6000610a49610d8b565b60405180608001604052808b8152602001898152602001878152602001858152509050610a74610db8565b50604080516080810182528a81526020810189905280820187905260608082018690528251601880825261032082019094529192918281602001602082028038833901905050905060005b6004811015610c165760068102858260048110610ad857fe5b6020020151518351849083908110610aec57fe5b602002602001018181525050858260048110610b0457fe5b602002015160200151838260010181518110610b1c57fe5b602002602001018181525050848260048110610b3457fe5b602002015151518351849060028401908110610b4c57fe5b602002602001018181525050848260048110610b6457fe5b60200201515160016020020151838260030181518110610b8057fe5b602002602001018181525050848260048110610b9857fe5b602002015160200151600060028110610bad57fe5b6020020151838260040181518110610bc157fe5b602002602001018181525050848260048110610bd957fe5b602002015160200151600160028110610bee57fe5b6020020151838260050181518110610c0257fe5b602090810291909101015250600101610abf565b50610c1f610de5565b6000602082602086026020860160086107d05a03fa90508080156108c0575080610c88576040805162461bcd60e51b81526020600482015260156024820152741c185a5c9a5b99cb5bdc18dbd9194b59985a5b1959605a1b604482015290519081900360640190fd5b505115159d9c50505050505050505050505050565b6040518061010001604052806008906020820280388339509192915050565b6040518060600160405280610ccf610d35565b8152602001610cdc610e03565b8152602001610ce9610d35565b905290565b6040518060a00160405280610d01610d35565b8152602001610d0e610e03565b8152602001610d1b610e03565b8152602001610d28610e03565b8152602001610ce9610e23565b604051806040016040528060008152602001600081525090565b60405180608001604052806004906020820280388339509192915050565b60405180606001604052806003906020820280388339509192915050565b60405180608001604052806004905b610da2610d35565b815260200190600190039081610d9a5790505090565b60405180608001604052806004905b610dcf610e03565b815260200190600190039081610dc75790505090565b60405180602001604052806001906020820280388339509192915050565b6040518060400160405280610e16610e50565b8152602001610ce9610e50565b6040518060e001604052806007905b610e3a610d35565b815260200190600190039081610e325790505090565b6040518060400160405280600290602082028038833950919291505056fe76657269666965722d70726f6f662d656c656d656e742d6774652d7072696d652d71cborAuxdataa265627a7a723158207411c70ea4c8fcf101a376bd598e7a2d94032315e73353c578bf158b44ce960a64736f6c63430005110032

Loading contract data...

CBOR Auxdata

These values are what Sourcify extracted from the recompiled bytecode. If these values are different in the on-chain bytecode, they will show up in Transformations section.

CBOR Auxdata id: 1

Raw

Decoded

Length: 52 bytes

0xa265627a7a72315820d02090e9a4f906304ef52652b0a38eb5b6afbb75f4b57a9abe2a710368f6b4cd64736f6c63430005110032

Loading contract data...

Transformations

CBOR Auxdata Transformations

Byte Offsets	Length (bytes)	Values
3761	53	Original (recompiled):0xa265627a7a72315820d02090e9a4f906304ef52652b0a38eb5b6afbb75f4b57a9abe2a710368f6b4cd64736f6c63430005110032 Transformed (onchain):0xa265627a7a723158207411c70ea4c8fcf101a376bd598e7a2d94032315e73353c578bf158b44ce960a64736f6c63430005110032

Runtime Bytecode

Annotated On-chain Bytecode

On-chain Bytecode

Recompiled Bytecode

0x608060405234801561001057600080fd5b506004361061002b5760003560e01c8063functionSignature695ef6f914610030575b600080fd5b610102600480360360e081101561004657600080fd5b81019060208101813564010000000081111561006157600080fd5b82018360208201111561007357600080fd5b8035906020019184600183028401116401000000008311171561009557600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250506040805160c081810190925293969594818101949350915060069083908390808284376000920191909152509194506101169350505050565b604080519115158252519081900360200190f35b6000610120610c9d565b8380602001905161010081101561013657600080fd5b50905060005b60088160ff1610156101c1577f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47828260ff166008811061017857fe5b6020020151106101b95760405162461bcd60e51b8152600401808060200182810382526022815260200180610e6f6022913960400191505060405180910390fd5b60010161013c565b506101ca610cbc565b6040805180820182528351815260208085015181830152908352815160808082018452858401518285019081526060808801519084015282528351808501855290860151815260a08601518184015281830152838201528151808301835260c0850151815260e08501519181019190915290820152610247610cee565b61024f6103a7565b9050610259610d35565b6040518060400160405280600081526020016000815250905061029181836080015160006007811061028757fe5b6020020151610872565b905060005b6006811015610367577f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018782600681106102cc57fe5b602002015110610323576040805162461bcd60e51b815260206004820152601f60248201527f76657269666965722d6774652d736e61726b2d7363616c61722d6669656c6400604482015290519081900360640190fd5b61035d826103588560800151846001016007811061033d57fe5b60200201518a856006811061034e57fe5b6020020151610912565b610872565b9150600101610296565b5061039c6103788460000151610998565b84602001518460000151856020015185876040015189604001518960600151610a3f565b979650505050505050565b6103af610cee565b6040805180820182527f2dbfc3ec62a3eee5a3b4b464bcf1f8527bbca12adea0f1f12033cd4f61b0e09181527f19e55bd0b72c126da18665039556776642ff82e2f347f24fcea2475f4db087df6020808301919091529083528151608080820184527f1ae724ab134e5a7c6bd8a116fa5505b259522c0f164a5e8126e3ec7d34465f6e8285019081527e9f1bcdc853f8e3531756bb625b0d1dc014f4ab57c3f79f4f4e2e7ef7e0ead6606080850191909152908352845180860186527f23a8ca5760457e726365b92fd0ceb486665797cd68c35dcffd8e4ae8066691e981527f13ec7182c9fd68331a10f8be0fe885d730de5c7f89aa7d0b7bafaa009bbc9e3e818601528385015285840192909252835180820185527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c28186019081527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed828501528152845180860186527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b81527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa818601528185015285850152835180820185527f2f0c63d0c53b3dfbca27b6b43ae7fbf55a38d78a21470996485b03128accc2088186019081527e556502356e37ed150db2e36531b0f275fd6835c0fc1945922e270b48c48a86828501528152845180860186527f02644c27b5dbd793592a70b735e22c798a5e309fa17a992a7dc2a050e01b298f81527f194776b6a53439d7336f389d2a8f6651e40885f5ca2538b0dc9cb534fb23f7fa818601528185015282860152835180850185527f23df1bc9165e9c1c9b2bc036d8ebdd10e7aeae7e5e8019fde68aec7c818bb23e81527f0b6c92080d37c5fb2ddf30892a33665e5478432ef3f71ac8768ecbbe62c7789281850152818601805191909152845180860186527f1c7b2adf45e046caea000956b2ecb2d8617e710d2a7bb201a95ea276f92307b481527f2b15f07536f45948cf4abe6596637d902ffabb18c8c2f5c151544c294ce4a672818601528151850152845180860186527f1cecfe92882a8c835a47bf01bfa655cf628cbba7f81cf4042179fd13edcd6a3981527f0154bfbb2cb786ca247d4b69183d1751f267bbc7656be8d0f0e7a5a47e2c1101818601528151860152845180860186527f1584616a7423efcc72f69ea84fa0b2bc01433677297f4e8351bebfc15bcd0cda81527f0623755b1488526daa9fecf0e11b110dd6df12c461579d792e1db65af523c8be81860152815190930192909252835180850185527f12fbb5bfca9d61357ba2d641604cf4852e21ef54faa180fe539c18994dc1da5a81527f2f09dd9972a1af5f7bcfccf3d7ab600c9d898ea6d6933150ba0ae228ece17e5f81850152825190910152825180840184527f0adb513796fdf2103022c64151ce05f7c7a6d9200e8d819fa59e654fc4bfe83c81527f2d64f72ef4eddf9ca032058ed2bf691758387e913a77cf99d6a3cfb37c8ba7ee81840152815160a0015282518084019093527f21e7c9bffda74bfd2c4393b6803d775545de6fa89145f4a23476241d9881b66183527f0bbe41e52237ac13eb7b01f3cb999b7394d08734e71b1c3ada62713e17eb560c918301919091525160c0015290565b61087a610d35565b610882610d4f565b8351815260208085015181830152835160408301528301516060808301919091526000908360c08460066107d05a03fa90508080156108c0576108c2565bfe5b508061090a576040805162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5859190b59985a5b195960721b604482015290519081900360640190fd5b505092915050565b61091a610d35565b610922610d6d565b835181526020808501519082015260408101839052600060608360808460076107d05a03fa90508080156108c057508061090a576040805162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5b5d5b0b59985a5b195960721b604482015290519081900360640190fd5b6109a0610d35565b81511580156109b157506020820151155b156109d057506040805180820190915260008082526020820152610a3a565b6040518060400160405280836000015181526020017f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47846020015181610a1257fe5b067f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd4703905290505b919050565b6000610a49610d8b565b60405180608001604052808b8152602001898152602001878152602001858152509050610a74610db8565b50604080516080810182528a81526020810189905280820187905260608082018690528251601880825261032082019094529192918281602001602082028038833901905050905060005b6004811015610c165760068102858260048110610ad857fe5b6020020151518351849083908110610aec57fe5b602002602001018181525050858260048110610b0457fe5b602002015160200151838260010181518110610b1c57fe5b602002602001018181525050848260048110610b3457fe5b602002015151518351849060028401908110610b4c57fe5b602002602001018181525050848260048110610b6457fe5b60200201515160016020020151838260030181518110610b8057fe5b602002602001018181525050848260048110610b9857fe5b602002015160200151600060028110610bad57fe5b6020020151838260040181518110610bc157fe5b602002602001018181525050848260048110610bd957fe5b602002015160200151600160028110610bee57fe5b6020020151838260050181518110610c0257fe5b602090810291909101015250600101610abf565b50610c1f610de5565b6000602082602086026020860160086107d05a03fa90508080156108c0575080610c88576040805162461bcd60e51b81526020600482015260156024820152741c185a5c9a5b99cb5bdc18dbd9194b59985a5b1959605a1b604482015290519081900360640190fd5b505115159d9c50505050505050505050505050565b6040518061010001604052806008906020820280388339509192915050565b6040518060600160405280610ccf610d35565b8152602001610cdc610e03565b8152602001610ce9610d35565b905290565b6040518060a00160405280610d01610d35565b8152602001610d0e610e03565b8152602001610d1b610e03565b8152602001610d28610e03565b8152602001610ce9610e23565b604051806040016040528060008152602001600081525090565b60405180608001604052806004906020820280388339509192915050565b60405180606001604052806003906020820280388339509192915050565b60405180608001604052806004905b610da2610d35565b815260200190600190039081610d9a5790505090565b60405180608001604052806004905b610dcf610e03565b815260200190600190039081610dc75790505090565b60405180602001604052806001906020820280388339509192915050565b6040518060400160405280610e16610e50565b8152602001610ce9610e50565b6040518060e001604052806007905b610e3a610d35565b815260200190600190039081610e325790505090565b6040518060400160405280600290602082028038833950919291505056fe76657269666965722d70726f6f662d656c656d656e742d6774652d7072696d652d71cborAuxdataa265627a7a723158207411c70ea4c8fcf101a376bd598e7a2d94032315e73353c578bf158b44ce960a64736f6c63430005110032

Loading contract data...

CBOR Auxdata

These values are what Sourcify extracted from the recompiled bytecode. If these values are different in the on-chain bytecode, they will show up in Transformations section.

CBOR Auxdata id: 1

Raw

Decoded

Length: 52 bytes

0xa265627a7a72315820d02090e9a4f906304ef52652b0a38eb5b6afbb75f4b57a9abe2a710368f6b4cd64736f6c63430005110032

Loading contract data...

Transformations

CBOR Auxdata Transformations

Byte Offsets	Length (bytes)	Values
3729	53	Original (recompiled):0xa265627a7a72315820d02090e9a4f906304ef52652b0a38eb5b6afbb75f4b57a9abe2a710368f6b4cd64736f6c63430005110032 Transformed (onchain):0xa265627a7a723158207411c70ea4c8fcf101a376bd598e7a2d94032315e73353c578bf158b44ce960a64736f6c63430005110032

Storage Layout

For non-default storage allocations (e.g. EIP-7201) check out

Transient Storage Layout

Transient storage layout is only available for Solidity contracts compiled with version ≥ 0.8.27.

Standard JSON Input

This isn't the original compiler JSON data. Generated for compatibility.

Standard JSON Output

This isn't the original compiler JSON data. Generated for compatibility.