0 txs
0 calls
constructor
No constructor.
functions
validateMPT
viewfunction validateMPT(bytes _proof) view returns (tuple receipt)
verifyProof
viewfunction verifyProof(uint256[2] a, uint256[2][2] b, uint256[2] c, uint256[1] input) view returns (bool r)
events
No events.
errors
No errors.
creation bytecode
0x608060405234801561001057600080fd5b50611476806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80630afb22da1461003b57806343753b4d1461006e575b600080fd5b61004e61004936600461109a565b610091565b604080518251815260209283015192810192909252015b60405180910390f35b61008161007c3660046111ea565b6101a6565b6040519015158152602001610065565b60408051808201909152600080825260208201526100ad610ec0565b6100b9838501856112a2565b60608501526040840152602083015281526100d2610eff565b6100df82606001516106a6565b81528151602083015160408401516100f9929190846101a6565b61013c5760405162461bcd60e51b815260206004820152600f60248201526e34b73b30b634b2103d35a83937b7b360891b60448201526064015b60405180910390fd5b506060908101516040805180820182526000808252602091820181905282518084018452818152808301918252845183860151608090811b909117825284860151959096015190951b90931783528151808301909252925181529051918101919091529392505050565b60006101b0610f1d565b60408051808201825287518152602080890151818301529083528151608081018352875151818401908152885183015160608301528152825180840184528883018051518252518301518184015281830152838201528151808301835286518152868201519181019190915290820152600061022a610703565b604080518082019091526000808252602082015283515191925090600080516020611421833981519152116102a15760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d61582d6774652d7072696d652d710000000000000000006044820152606401610133565b825160200151600080516020611421833981519152116103035760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d61592d6774652d7072696d652d710000000000000000006044820152606401610133565b60208301515151600080516020611421833981519152116103665760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6258302d6774652d7072696d652d7100000000000000006044820152606401610133565b602083810151015151600080516020611421833981519152116103cb5760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6259302d6774652d7072696d652d7100000000000000006044820152606401610133565b602083810151510151600080516020611421833981519152116104305760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6258312d6774652d7072696d652d7100000000000000006044820152606401610133565b6020838101518101510151600080516020611421833981519152116104975760405162461bcd60e51b815260206004820152601860248201527f76657269666965722d6259312d6774652d7072696d652d7100000000000000006044820152606401610133565b604083015151600080516020611421833981519152116104f95760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d63582d6774652d7072696d652d710000000000000000006044820152606401610133565b6000805160206114218339815191528360400151602001511061055e5760405162461bcd60e51b815260206004820152601760248201527f76657269666965722d63592d6774652d7072696d652d710000000000000000006044820152606401610133565b60005b6001811015610652577f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000186826001811061059d5761059d61135a565b6020020151106105ef5760405162461bcd60e51b815260206004820152601f60248201527f76657269666965722d6774652d736e61726b2d7363616c61722d6669656c64006044820152606401610133565b61063e8261063985608001518460016106089190611386565b600281106106185761061861135a565b602002015189856001811061062f5761062f61135a565b6020020151610a24565b610aba565b91508061064a8161139f565b915050610561565b50608082015151610664908290610aba565b905061069a6106768460000151610b53565b84602001518460000151856020015185876040015189604001518960600151610be9565b98975050505050505050565b8051602080830151604080850151606080870151835180870197909752868401949094528501526080808501929092528051808503909201825260a090930190925281519101206000906106fc610100826113ce565b9392505050565b61070b610f69565b6040805180820182527f05ec08b59dea2069bd9fbdbabf88faa3cccd1c1c738ef9452410db4b79162bf281527f295564d2bb98e1324ef3edc8c8ebfd225ccec46e144b6c90a0b7571cb1856e436020808301919091529083528151608080820184527f26641926ba5524e38fff9b0d0f4faa3cfd9a0e4641513e21fed45df5372405568285019081527f108366c787a1a8ec66fc0e51589bc388bb658e4080b1f095cc9110fe3f8cb232606080850191909152908352845180860186527f22cd994d8a7c5de90933bb3c5d3168d4fbde5393070a8cbce268c9ddae1f3b7481527f2d33972b48bcd4122cbf542e0319a9aeb9248ef9d171bfac8e0c34f8c923e21c818601528385015285840192909252835180820185527f08c22decc3dc1c743cd6cc6744f0870ecf7b461746d8b04bc47690c38291dbc78186019081527f13ac1c6ee79a1e073606f9793811d608486393fa127c9a9e3caba297aabab45e828501528152845180860186527f26fe4d3aea023c982c0a21007ec42713dfd4d34e3dcb795b033f401ba5125b7481527f2f86a411a06642662ea3e692550feb9f181cc637f4a38cf3d8235d42dff49b78818601528185015285850152835180820185527f0be704fc4db805e2d9f5b17611b6a2c79428dce01a4a52e3f86f50b6cf028b518186019081527f0ef5628c793e756e1d0ff155411f0601bba95074f0941433c2176364953d4b85828501528152845180860186527f04066e10739da5bf19c043379acbdedf844fb66955ac897f133fcd2d07443e4381527f01d3328f78526e75854fe6ad38e36cce4f278e1e5c510b5f46624ae065ce37ae818601528185015291850191909152825180840184527f13bedb6b441f8fbb0e0dff36c2a91060c7e0382edc4276d0f651155783f0b6c381527f20c7e44ec4ca929ca6d9a774932bca646cd6e47a4312656386fc8455e1d875088184015290840180519190915282518084019093527f0242e0dab33eab1168b9f9bdcf3af61e7dca2be3f8d5cd21f950f471556e380983527f2897a0ec5f90b391241b11727b406dc8410a9695d4adf0eb79778e42690bc1198383015251015290565b6040805180820190915260008082526020820152610a40610fba565b835181526020808501519082015260408101839052600060608360808460076107d05a03fa90508080610a6f57fe5b5080610ab25760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5b5d5b0b59985a5b195960721b6044820152606401610133565b505092915050565b6040805180820190915260008082526020820152610ad6610fd8565b8351815260208085015181830152835160408301528301516060808301919091526000908360c08460066107d05a03fa90508080610b1057fe5b5080610ab25760405162461bcd60e51b81526020600482015260126024820152711c185a5c9a5b99cb5859190b59985a5b195960721b6044820152606401610133565b60408051808201909152600080825260208201528151158015610b7857506020820151155b15610b96575050604080518082019091526000808252602082015290565b6040518060400160405280836000015181526020016000805160206114218339815191528460200151610bc991906113e2565b610be1906000805160206114218339815191526113f6565b905292915050565b60408051608080820183528a825260208083018a90528284018890526060808401879052845192830185528b83528282018a9052828501889052820185905283516018808252610320820190955260009491859190839082016103008036833701905050905060005b6004811015610e3d576000610c68826006611409565b9050858260048110610c7c57610c7c61135a565b60200201515183610c8e836000611386565b81518110610c9e57610c9e61135a565b602002602001018181525050858260048110610cbc57610cbc61135a565b60200201516020015183826001610cd39190611386565b81518110610ce357610ce361135a565b602002602001018181525050848260048110610d0157610d0161135a565b6020020151515183610d14836002611386565b81518110610d2457610d2461135a565b602002602001018181525050848260048110610d4257610d4261135a565b6020020151516001602002015183610d5b836003611386565b81518110610d6b57610d6b61135a565b602002602001018181525050848260048110610d8957610d8961135a565b602002015160200151600060028110610da457610da461135a565b602002015183610db5836004611386565b81518110610dc557610dc561135a565b602002602001018181525050848260048110610de357610de361135a565b602002015160200151600160028110610dfe57610dfe61135a565b602002015183610e0f836005611386565b81518110610e1f57610e1f61135a565b60209081029190910101525080610e358161139f565b915050610c52565b50610e46610eff565b6000602082602086026020860160086107d05a03fa90508080610e6557fe5b5080610eab5760405162461bcd60e51b81526020600482015260156024820152741c185a5c9a5b99cb5bdc18dbd9194b59985a5b1959605a1b6044820152606401610133565b505115159d9c50505050505050505050505050565b6040518060800160405280610ed3610ff6565b8152602001610ee0611014565b8152602001610eed610ff6565b8152602001610efa610fd8565b905290565b60405180602001604052806001906020820280368337509192915050565b6040805160a081019091526000606082018181526080830191909152815260208101610f47611041565b8152602001610efa604051806040016040528060008152602001600081525090565b6040805160e08101909152600060a0820181815260c0830191909152815260208101610f93611041565b8152602001610fa0611041565b8152602001610fad611041565b8152602001610efa611061565b60405180606001604052806003906020820280368337509192915050565b60405180608001604052806004906020820280368337509192915050565b60405180604001604052806002906020820280368337509192915050565b60405180604001604052806002905b61102b610ff6565b8152602001906001900390816110235790505090565b6040518060400160405280611054610ff6565b8152602001610efa610ff6565b60405180604001604052806002905b60408051808201909152600080825260208201528152602001906001900390816110705790505090565b600080602083850312156110ad57600080fd5b823567ffffffffffffffff808211156110c557600080fd5b818501915085601f8301126110d957600080fd5b8135818111156110e857600080fd5b8660208285010111156110fa57600080fd5b60209290920196919550909350505050565b634e487b7160e01b600052604160045260246000fd5b6040805190810167ffffffffffffffff811182821017156111455761114561110c565b60405290565b600082601f83011261115c57600080fd5b611164611122565b80604084018581111561117657600080fd5b845b81811015611190578035845260209384019301611178565b509095945050505050565b600082601f8301126111ac57600080fd5b6111b4611122565b8060808401858111156111c657600080fd5b845b81811015611190576111da878261114b565b84526020909301926040016111c8565b60008060008061012080868803121561120257600080fd5b61120c878761114b565b945061121b876040880161119b565b935061122a8760c0880161114b565b92508661011f87011261123c57600080fd5b604051602080820182811067ffffffffffffffff821117156112605761126061110c565b60405291870191818984111561127557600080fd5b61010089015b84811015611292578035825290820190820161127b565b5096999598509396509450505050565b6000806000806101808086880312156112ba57600080fd5b6112c4878761114b565b94506112d3876040880161119b565b93506112e28760c0880161114b565b92508661011f8701126112f457600080fd5b6040516080810181811067ffffffffffffffff821117156113175761131761110c565b60405290860190808883111561132c57600080fd5b61010088015b8381101561134a578035825260209182019101611332565b5050809250505092959194509250565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b8082018082111561139957611399611370565b92915050565b6000600182016113b1576113b1611370565b5060010190565b634e487b7160e01b600052601260045260246000fd5b6000826113dd576113dd6113b8565b500490565b6000826113f1576113f16113b8565b500690565b8181038181111561139957611399611370565b80820281158282048414176113995761139961137056fe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47a2646970667358221220897860a5797a7adc6f3b8b6b69b1cbfca6584279b43f1e394aee4d3467c496f364736f6c63430008120033