Polygon0 txs
107 calls
abi
constructor
No constructor.
functions
compressProof
viewfunction compressProof(uint256[8] proof) view returns (uint256[4] compressed)
verifyCompressedProof
viewfunction verifyCompressedProof(uint256[4] compressedProof, uint256[1] input) view
verifyProof
viewfunction verifyProof(uint256[8] proof, uint256[1] input) view
events
No events.
errors
ProofInvalid
error ProofInvalid()
PublicInputNotInField
error PublicInputNotInField()
bytecode
creation bytecode
0x608060405234801561001057600080fd5b506112d0806100206000396000f3fe608060405234801561001057600080fd5b50600436106100415760003560e01c80631b81f8291461004657806344f636921461005b578063ce6c832c14610084575b600080fd5b61005961005436600461117c565b610097565b005b61006e6100693660046111b3565b610317565b60405161007b91906111d7565b60405180910390f35b610059610092366004611208565b610374565b6000806100a383610692565b9150915060006040516101008682377f302a22a25593ac733502f66c4e6cd3e98be21195c244e484f63e8578c10fd96a6101008201527f2651ca687327a577dc0f5b7f16932ac00364b6a1cc86e035ea1556cd2b4f60e66101208201527f26a6c7b7f08418f08c41d32fd0f2b9b8bfd321ba9e04c8799056badbcdf6fd056101408201527f216bbf18abaeb6977f889ea348fc44f5ee98c3292a86d2559bd156dab64d1ac86101608201527f129ee38c979c20b4f3d569979b97a9c14bcf0e43bb5a27d13148a3a5d17282026101808201527f22a2706a23775fc9434cfc12f2643e7740227a021a8590dbfc2c0139fdaa1c736101a08201527f02f79aa442c9972c4eb474a388071caa2798dbb334e1571472e55c38837fc8936101c08201527f088fed650748553ce8703871b748f202d816ca7f532d25453107a4fb940c04276101e08201527f1fd6222866305a67073ea3c98f2ee4babce42b0e664b16658c6a094503f48dbd6102008201527f216258f00cf5abb5099e7206a838449abc8cce4356edb3ded0ecc41b41a630cd61022082015283610240820152826102608201527f0a8f9a50a1f854f0ed9ea8b852b1fad145753f7bf7c8c6c5e4300a8c9b674a6d6102808201527f2b87ad9a84abd785f943d506c71ec4865c1bfeabe38bc0c4b4214b9caa633e2e6102a08201527f1bf356c8e2ae4b7eb696ae96b84f044982e3ca024f7895748b157bab968baf336102c08201527f19d9478ab5ec80419b3085f730a0e32f41f65a6d27b5000d888c1d839cab08e56102e08201526020816103008360085afa90511690508061031057604051631ff3747d60e21b815260040160405180910390fd5b5050505050565b61031f6110fe565b61033282358360015b60200201356107b4565b81526103506060830135604084013560a085013560808601356108a9565b6020830152604082015261036a60c0830135836007610328565b6060820152919050565b60008061038784825b6020020135610ba0565b909250905060008080806103a3604089013560208a0135610c45565b929650909450925090506000806103bb8a600361037d565b915091506000806103cb8b610692565b915091506103d761111c565b8a8152602081018a905260408101889052606081018990526080810186905260a0810187905260c0810185905260e081018490527f302a22a25593ac733502f66c4e6cd3e98be21195c244e484f63e8578c10fd96a6101008201527f2651ca687327a577dc0f5b7f16932ac00364b6a1cc86e035ea1556cd2b4f60e66101208201527f26a6c7b7f08418f08c41d32fd0f2b9b8bfd321ba9e04c8799056badbcdf6fd056101408201527f216bbf18abaeb6977f889ea348fc44f5ee98c3292a86d2559bd156dab64d1ac86101608201527f129ee38c979c20b4f3d569979b97a9c14bcf0e43bb5a27d13148a3a5d17282026101808201527f22a2706a23775fc9434cfc12f2643e7740227a021a8590dbfc2c0139fdaa1c736101a08201527f02f79aa442c9972c4eb474a388071caa2798dbb334e1571472e55c38837fc8936101c08201527f088fed650748553ce8703871b748f202d816ca7f532d25453107a4fb940c04276101e08201527f1fd6222866305a67073ea3c98f2ee4babce42b0e664b16658c6a094503f48dbd6102008201527f216258f00cf5abb5099e7206a838449abc8cce4356edb3ded0ecc41b41a630cd610220820152610240810183905261026081018290527f0a8f9a50a1f854f0ed9ea8b852b1fad145753f7bf7c8c6c5e4300a8c9b674a6d6102808201527f2b87ad9a84abd785f943d506c71ec4865c1bfeabe38bc0c4b4214b9caa633e2e6102a08201527f1bf356c8e2ae4b7eb696ae96b84f044982e3ca024f7895748b157bab968baf336102c08201527f19d9478ab5ec80419b3085f730a0e32f41f65a6d27b5000d888c1d839cab08e56102e0820152600061064761113b565b6020816103008560085afa915081158061066357508051600114155b1561068157604051631ff3747d60e21b815260040160405180910390fd5b505050505050505050505050505050565b6000806000600190506040516040810160007f010a751666779ccf84cd51ddedef86b916eff50b87f6b9b83b675963aa5ea39b83527f13658885acba5f05241c907561e3a7ee3883233afc6a9e1cb7d62c960d5079c160208401527f161321c9938f2f9f76feffa5535ce8fd562c95fc3c5e41596fe3b0a373430f8582527f2c63df2cb88b47e25e17289963b420aac0222c65ae2c6f583cd9bc7dc9d855406020830152863590508060408301527f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000018110841693505060408160608360075afa831692505060408160808360065afa815160209092015191945090925016806107ae5760405163a54f8e2760e01b815260040160405180910390fd5b50915091565b600060008051602061127b833981519152831015806107e1575060008051602061127b8339815191528210155b156107ff57604051631ff3747d60e21b815260040160405180910390fd5b8215801561080b575081155b15610818575060006108a3565b600061085760008051602061127b833981519152600360008051602061127b8339815191528760008051602061127b833981519152898a090908610e2b565b905080830361086c575050600182901b6108a3565b61087581610e8f565b8303610888575050600182811b176108a3565b604051631ff3747d60e21b815260040160405180910390fd5b505b92915050565b60008060008051602061127b833981519152861015806108d7575060008051602061127b8339815191528510155b806108f0575060008051602061127b8339815191528410155b80610909575060008051602061127b8339815191528310155b1561092757604051631ff3747d60e21b815260040160405180910390fd5b8284868817171760000361094057506000905080610b97565b6000808060008051602061127b83398151915261096c600360008051602061127b833981519152611259565b60008051602061127b8339815191528a8c09099050600060008051602061127b8339815191528a60008051602061127b8339815191528c8d09099050600060008051602061127b8339815191528a60008051602061127b8339815191528c8d0909905060008051602061127b8339815191528060008051602061127b8339815191528c860984087f2b149d40ceb8aaae81be18991be06ac3b5b4c5e559dbefa33267e6dc24a138e5089450610a6560008051602061127b8339815191528060008051602061127b8339815191528e870984087f2fcd3ac2a640a154eb23960892a85a68f031ca0c8344b23a577dcf1052b9e77508610e8f565b9350505050600080610ab660008051602061127b83398151915280610a8c57610a8c611243565b60008051602061127b83398151915285860960008051602061127b83398151915287880908610e2b565b9050610b0360008051602061127b8339815191527f183227397098d014dc2822db40c0ac2ecbc0b548b438e5469e10460b6c3e7ea460008051602061127b83398151915284880809610ea8565b15915050610b12838383610ef2565b90935091508683148015610b2557508186145b15610b4f5780610b36576000610b39565b60025b60ff1660028a901b176000179450879350610b93565b610b5883610e8f565b87148015610b6d5750610b6a82610e8f565b86145b156108885780610b7e576000610b81565b60025b60ff1660028a901b1760011794508793505b5050505b94509492505050565b60008082600003610bb657506000928392509050565b600183811c92508084161460008051602061127b8339815191528310610bef57604051631ff3747d60e21b815260040160405180910390fd5b610c2c60008051602061127b833981519152600360008051602061127b8339815191528660008051602061127b8339815191528889090908610e2b565b915080156107ae57610c3d82610e8f565b915050915091565b600080808085158015610c56575084155b15610c6c57506000925082915081905080610e22565b600286811c9450859350600180881614908088161460008051602061127b83398151915286101580610cac575060008051602061127b8339815191528510155b15610cca57604051631ff3747d60e21b815260040160405180910390fd5b600060008051602061127b833981519152610cf4600360008051602061127b833981519152611259565b60008051602061127b833981519152888a09099050600060008051602061127b8339815191528860008051602061127b8339815191528a8b09099050600060008051602061127b8339815191528860008051602061127b8339815191528a8b0909905060008051602061127b8339815191528060008051602061127b8339815191528a860984087f2b149d40ceb8aaae81be18991be06ac3b5b4c5e559dbefa33267e6dc24a138e5089650610ded60008051602061127b8339815191528060008051602061127b8339815191528c870984087f2fcd3ac2a640a154eb23960892a85a68f031ca0c8344b23a577dcf1052b9e77508610e8f565b9550610dfa878786610ef2565b90975095508415610e1c57610e0e87610e8f565b9650610e1986610e8f565b95505b50505050505b92959194509250565b6000610e57827f0c19139cb84c680a6e14116da060561765e05aa45a1c72a34f082305b61f3f52611039565b90508160008051602061127b83398151915282830914610e8a57604051631ff3747d60e21b815260040160405180910390fd5b919050565b60008051602061127b8339815191529081900681030690565b600080610ed5837f0c19139cb84c680a6e14116da060561765e05aa45a1c72a34f082305b61f3f52611039565b90508260008051602061127b833981519152828309149392505050565b60008080610f2460008051602061127b8339815191528087880960008051602061127b833981519152898a0908610e2b565b90508315610f3857610f3581610e8f565b90505b610f8360008051602061127b8339815191527f183227397098d014dc2822db40c0ac2ecbc0b548b438e5469e10460b6c3e7ea460008051602061127b833981519152848a0809610e2b565b925060008051602061127b833981519152610faf60008051602061127b8339815191526002860961109e565b8609915060008051602061127b833981519152610fdc60008051602061127b833981519152848509610e8f565b60008051602061127b8339815191528586090886141580611012575060008051602061127b833981519152808385096002098514155b1561103057604051631ff3747d60e21b815260040160405180910390fd5b50935093915050565b600080604051602081526020808201526020604082015284606082015283608082015260008051602061127b83398151915260a082015260208160c08360055afa905192509050806108a157604051631ff3747d60e21b815260040160405180910390fd5b60006110ca827f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd45611039565b905060008051602061127b833981519152818309600114610e8a57604051631ff3747d60e21b815260040160405180910390fd5b60405180608001604052806004906020820280368337509192915050565b6040518061030001604052806018906020820280368337509192915050565b60405180602001604052806001906020820280368337509192915050565b8061010081018310156108a357600080fd5b80602081018310156108a357600080fd5b600080610120838503121561119057600080fd5b61119a8484611159565b91506111aa84610100850161116b565b90509250929050565b600061010082840312156111c657600080fd5b6111d08383611159565b9392505050565b60808101818360005b60048110156111ff5781518352602092830192909101906001016111e0565b50505092915050565b60008060a0838503121561121b57600080fd5b608083018481111561122c57600080fd5b839250611239858261116b565b9150509250929050565b634e487b7160e01b600052601260045260246000fd5b818103818111156108a357634e487b7160e01b600052601160045260246000fdfe30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47a26469706673582212205a9f6e523b0f1f60d191bbc2c249a9254dfd958f3dacfeeee40a29f811e5395e64736f6c63430008120033
