@settlemint/solidity-zeto/out/verifier_anon_batch.sol/Groth16Verifier_AnonBatch.json

Smart contract set to build Zero Knowledge tokens in SettleMint

{"abi":[{"type":"function","name":"verifyProof","inputs":[{"name":"_pA","type":"uint256[2]","internalType":"uint256[2]"},{"name":"_pB","type":"uint256[2][2]","internalType":"uint256[2][2]"},{"name":"_pC","type":"uint256[2]","internalType":"uint256[2]"},{"name":"_pubSignals","type":"uint256[20]","internalType":"uint256[20]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"}],"bytecode":{"object":"0x608080604052346015576110de908161001a8239f35b5f80fdfe60806040526004361015610011575f80fd5b5f3560e01c63e56ac42f14610024575f80fd5b3461017d576103807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261017d5761005d36610181565b3660c41161017d5761006e3661018e565b366103841161017d576101769161040060405261008d6101043561019c565b6100996101243561019c565b6100a56101443561019c565b6100b16101643561019c565b6100bd6101843561019c565b6100c96101a43561019c565b6100d56101c43561019c565b6100e16101e43561019c565b6100ed6102043561019c565b6100f96102243561019c565b6101056102443561019c565b6101116102643561019c565b61011d6102843561019c565b6101296102a43561019c565b6101356102c43561019c565b6101416102e43561019c565b61014d6103043561019c565b6101596103243561019c565b6101656103443561019c565b6101716103643561019c565b610cbd565b5f5260205ff35b5f80fd5b9060049160441161017d57565b9060c4916101041161017d57565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000111156101c557565b5f805260205ff35b604051917f216a766138323c0accb0f210a9b901646f21657a7f8cce91ecc35484fcc8d46c83527f20ce0d7b00fe2d3254c941a299031644ae3f4822c86d0ab6287e3463bbd6d4a760208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f019d5b8abf9754a95a375ab9cc248f920ffa65278512ea02b43ce6d5bd36b6fb83527f2c2f645af63ef0a88b645044903311c483d6939f5110b71c4d4ebda5aa680bd960208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f1488e6a0e538525dfa838731668af52c6c93c97cb3b80a6a2da96ee2a87d325983527f2588c88b7844a19fdb5712b8801422615a1c5a74536f37df16b75cfe4015e54060208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f2f8e8a00adf91b2bcdbc7e4afe898c88fac541889208dde08ad18179fa2c593d83527f06eae33bae55a1c3eab4653b8b93303b6a3c263a26f3071edab4ecb9be03533660208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f05388e15a94d1785517f7ffef691f87bb7abb1b6fee1e753f14986202907bfd083527f1ce20628dcf982f0473808c071cf66526f6324bd46fca5ed720d24f541184a1d60208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f301135a8934c8e291c931a174c550603a65972b3a2ffcb53474e1d266ad5bc2c83527f28f78848e610aabf572bd02ab0f5e22f0773645769efa2d34ba288c00143accc60208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f19e70e91a3e00fb4ab356d2a6d5d92dab000624453da8bb32b5641d70835c98383527f1eda3725b52b29565a0a08a54f8d41d3a2b95d4a3148fdbe176cdbf504cfe51760208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f28fd04d3e8c06ee0cffdd62a6bf343d93770079d53ab620a0acad0accd92df0883527f0347974fe7adf89e850bccf33155d204e1a6d40005310a01eece44b02701e6c960208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f2cd92ef419ca34af661e651ea44f079a2cda3e8ce253a638e764e3fdc450478783527f0eedafa3abdce831cf2b30450c8cbe0bec405c8d8f360dba2e51ff186dc10b7b60208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f011ad6c1a6960a41eef63191ceb9adb92ffd258b7867bf1420b1bd83dc2b536e83527f225b41bba5641378a6b153ead99c3fb316fd73856e6339e3f83cab4466e735d560208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f210220d66db8a3bd96e6dc26411c934a04300626a6c726ec91a32f9b1767c41883527f2371477986b2a0a5fffceba962b0129525dd1eb5d03e1f9654af13aa1c6eed7860208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f0f52c91512a65a2b1a064a82aaa4029c942eff416b01dbdac25cb82499bdfaad83527f2423978f17c3251ea3a9e3fbc08a52b186426137759df957fb8f499900742a4c60208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f148880db16f1f94ffb91cd0f5bd350c7637d953d246c44498b679d154f96e7ed83527f17ddbc58ffd7ac0675bfe5727255ce3aaa66d23a11eb405a160cb0ace931504460208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f131b4ec1afd5eb360d2ed7738cc29c2e0673fca0382c029e64b173dc4e6f8d7d83527f09944d0467bc29f9fea4e091c60c50b62d896e0c43313565446887fce41f2d8660208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f1f1a29d043bbf8578dab91b8639d870b70714c8527134546f059551db3dacf9983527f202b12abd60bb0bab25485631b33d3ed6426037010a374976e5978d1157c57e360208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f01e56ed84bc65f5de393f64a692f6893675cb8f7055fa985b3fa833cce3a65a483527f03fe872882f8a0c5d5ee110eb9f09b28041498abb3f2e8a06d9079ae7e67383e60208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f0e8beb93ac347c8bbe1ee2e65b8a21dbbfd02be47d18d94603c320383c0ec0a783527f0192156075fd2a69062b6f9dde9929bb4d5c62d9c99c66482d3dbaf9d50f683b60208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f19a642ae387db262618dba9f22cc6ec8ab45e449ddd613616700048838c4981483527f0ff175233ccf9e538f56582073c5838b2cf3317e94a67650ef019068f1045c8060208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f2cbaa63f666658d4ed975e72939b03f0151feb7696ab53c44451008564f4fe0683527f01f003c427e4a260ce0da4ecaea708263cf2240e6687b8955779f8e74aa55d7660208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f20d54dab2a35f6a25af7f6750e31d308abaf7f25e76667341eac3b2d27cd188683527f1c18cebde99752b996c243b1a9ca3e2bb91b9112ccf38f3f3cf1c0e524465b6560208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b907f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47602080937f104059f05b86014587c0d94c9f773c5ffb928907db5e173a001dcfed2fda42916080527f06303fdcb2453a76772cde77178b6ce6bfa489b6bb90674771677928ce4d5a4760a052610d396101043560806101cd565b610d47610124356080610259565b610d556101443560806102e5565b610d63610164356080610371565b610d716101843560806103fd565b610d7f6101a4356080610489565b610d8d6101c4356080610515565b610d9b6101e43560806105a1565b610da961020435608061062d565b610db76102243560806106b9565b610dc5610244356080610745565b610dd36102643560806107d1565b610de161028435608061085d565b610def6102a43560806108e9565b610dfd6102c4356080610975565b610e0b6102e4356080610a01565b610e19610304356080610a8d565b610e27610324356080610b19565b610e35610344356080610ba5565b610e43610364356080610c31565b80356101005201358103066101205260443561014052606435610160526084356101805260a4356101a0527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e26101c0527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d19266101e0527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c610200527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab610220527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a7610240527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec8610260526080516102805260a0516102a0527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26102c0527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6102e0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b610300527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa610320528035610340520135610360527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c2610380527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6103a0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6103c0527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa6103e05260206101006103008160086107cf195a01fa61010051169056fea26469706673582212207dffc907b589cf235611ce3491b1cb1a0ab7b2c05bbc1d37af76238340dbae8464736f6c634300081b0033","sourceMap":"831:13670:10:-:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x60806040526004361015610011575f80fd5b5f3560e01c63e56ac42f14610024575f80fd5b3461017d576103807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261017d5761005d36610181565b3660c41161017d5761006e3661018e565b366103841161017d576101769161040060405261008d6101043561019c565b6100996101243561019c565b6100a56101443561019c565b6100b16101643561019c565b6100bd6101843561019c565b6100c96101a43561019c565b6100d56101c43561019c565b6100e16101e43561019c565b6100ed6102043561019c565b6100f96102243561019c565b6101056102443561019c565b6101116102643561019c565b61011d6102843561019c565b6101296102a43561019c565b6101356102c43561019c565b6101416102e43561019c565b61014d6103043561019c565b6101596103243561019c565b6101656103443561019c565b6101716103643561019c565b610cbd565b5f5260205ff35b5f80fd5b9060049160441161017d57565b9060c4916101041161017d57565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000111156101c557565b5f805260205ff35b604051917f216a766138323c0accb0f210a9b901646f21657a7f8cce91ecc35484fcc8d46c83527f20ce0d7b00fe2d3254c941a299031644ae3f4822c86d0ab6287e3463bbd6d4a760208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f019d5b8abf9754a95a375ab9cc248f920ffa65278512ea02b43ce6d5bd36b6fb83527f2c2f645af63ef0a88b645044903311c483d6939f5110b71c4d4ebda5aa680bd960208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f1488e6a0e538525dfa838731668af52c6c93c97cb3b80a6a2da96ee2a87d325983527f2588c88b7844a19fdb5712b8801422615a1c5a74536f37df16b75cfe4015e54060208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f2f8e8a00adf91b2bcdbc7e4afe898c88fac541889208dde08ad18179fa2c593d83527f06eae33bae55a1c3eab4653b8b93303b6a3c263a26f3071edab4ecb9be03533660208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f05388e15a94d1785517f7ffef691f87bb7abb1b6fee1e753f14986202907bfd083527f1ce20628dcf982f0473808c071cf66526f6324bd46fca5ed720d24f541184a1d60208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f301135a8934c8e291c931a174c550603a65972b3a2ffcb53474e1d266ad5bc2c83527f28f78848e610aabf572bd02ab0f5e22f0773645769efa2d34ba288c00143accc60208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f19e70e91a3e00fb4ab356d2a6d5d92dab000624453da8bb32b5641d70835c98383527f1eda3725b52b29565a0a08a54f8d41d3a2b95d4a3148fdbe176cdbf504cfe51760208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f28fd04d3e8c06ee0cffdd62a6bf343d93770079d53ab620a0acad0accd92df0883527f0347974fe7adf89e850bccf33155d204e1a6d40005310a01eece44b02701e6c960208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f2cd92ef419ca34af661e651ea44f079a2cda3e8ce253a638e764e3fdc450478783527f0eedafa3abdce831cf2b30450c8cbe0bec405c8d8f360dba2e51ff186dc10b7b60208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f011ad6c1a6960a41eef63191ceb9adb92ffd258b7867bf1420b1bd83dc2b536e83527f225b41bba5641378a6b153ead99c3fb316fd73856e6339e3f83cab4466e735d560208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f210220d66db8a3bd96e6dc26411c934a04300626a6c726ec91a32f9b1767c41883527f2371477986b2a0a5fffceba962b0129525dd1eb5d03e1f9654af13aa1c6eed7860208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f0f52c91512a65a2b1a064a82aaa4029c942eff416b01dbdac25cb82499bdfaad83527f2423978f17c3251ea3a9e3fbc08a52b186426137759df957fb8f499900742a4c60208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f148880db16f1f94ffb91cd0f5bd350c7637d953d246c44498b679d154f96e7ed83527f17ddbc58ffd7ac0675bfe5727255ce3aaa66d23a11eb405a160cb0ace931504460208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f131b4ec1afd5eb360d2ed7738cc29c2e0673fca0382c029e64b173dc4e6f8d7d83527f09944d0467bc29f9fea4e091c60c50b62d896e0c43313565446887fce41f2d8660208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f1f1a29d043bbf8578dab91b8639d870b70714c8527134546f059551db3dacf9983527f202b12abd60bb0bab25485631b33d3ed6426037010a374976e5978d1157c57e360208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f01e56ed84bc65f5de393f64a692f6893675cb8f7055fa985b3fa833cce3a65a483527f03fe872882f8a0c5d5ee110eb9f09b28041498abb3f2e8a06d9079ae7e67383e60208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f0e8beb93ac347c8bbe1ee2e65b8a21dbbfd02be47d18d94603c320383c0ec0a783527f0192156075fd2a69062b6f9dde9929bb4d5c62d9c99c66482d3dbaf9d50f683b60208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f19a642ae387db262618dba9f22cc6ec8ab45e449ddd613616700048838c4981483527f0ff175233ccf9e538f56582073c5838b2cf3317e94a67650ef019068f1045c8060208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f2cbaa63f666658d4ed975e72939b03f0151feb7696ab53c44451008564f4fe0683527f01f003c427e4a260ce0da4ecaea708263cf2240e6687b8955779f8e74aa55d7660208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b604051917f20d54dab2a35f6a25af7f6750e31d308abaf7f25e76667341eac3b2d27cd188683527f1c18cebde99752b996c243b1a9ca3e2bb91b9112ccf38f3f3cf1c0e524465b6560208401526040830190815260408360608160076107cf195a01fa156101c557604092608091835190526020830151606082015260066107cf195a01fa156101c557565b907f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47602080937f104059f05b86014587c0d94c9f773c5ffb928907db5e173a001dcfed2fda42916080527f06303fdcb2453a76772cde77178b6ce6bfa489b6bb90674771677928ce4d5a4760a052610d396101043560806101cd565b610d47610124356080610259565b610d556101443560806102e5565b610d63610164356080610371565b610d716101843560806103fd565b610d7f6101a4356080610489565b610d8d6101c4356080610515565b610d9b6101e43560806105a1565b610da961020435608061062d565b610db76102243560806106b9565b610dc5610244356080610745565b610dd36102643560806107d1565b610de161028435608061085d565b610def6102a43560806108e9565b610dfd6102c4356080610975565b610e0b6102e4356080610a01565b610e19610304356080610a8d565b610e27610324356080610b19565b610e35610344356080610ba5565b610e43610364356080610c31565b80356101005201358103066101205260443561014052606435610160526084356101805260a4356101a0527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e26101c0527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d19266101e0527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c610200527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab610220527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a7610240527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec8610260526080516102805260a0516102a0527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26102c0527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6102e0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b610300527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa610320528035610340520135610360527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c2610380527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6103a0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6103c0527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa6103e05260206101006103008160086107cf195a01fa61010051169056fea26469706673582212207dffc907b589cf235611ce3491b1cb1a0ab7b2c05bbc1d37af76238340dbae8464736f6c634300081b0033","sourceMap":"831:13670:10:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;7581:6910;;;831:13670;7581:6910;;831:13670;7581:6910;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;:::i;:::-;831:13670;7581:6910;;831:13670;7581:6910;831:13670;;;;;;;;;;;;:::o;:::-;;;;;;;;:::o;7581:6910::-;;-1:-1:-1;7581:6910:10;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;:::o;:::-;;;;;;;831:13670;7581:6910;;;;;831:13670;7581:6910;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;831:13670;7581:6910;:::i;:::-;;;;;;;;;;;;831:13670;7581:6910;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;831:13670;7581:6910;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7581:6910:10;;;;;;;:::o","linkReferences":{}},"methodIdentifiers":{"verifyProof(uint256[2],uint256[2][2],uint256[2],uint256[20])":"e56ac42f"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.27+commit.40a35a09\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"uint256[2]\",\"name\":\"_pA\",\"type\":\"uint256[2]\"},{\"internalType\":\"uint256[2][2]\",\"name\":\"_pB\",\"type\":\"uint256[2][2]\"},{\"internalType\":\"uint256[2]\",\"name\":\"_pC\",\"type\":\"uint256[2]\"},{\"internalType\":\"uint256[20]\",\"name\":\"_pubSignals\",\"type\":\"uint256[20]\"}],\"name\":\"verifyProof\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"view\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contracts/lib/verifier_anon_batch.sol\":\"Groth16Verifier_AnonBatch\"},\"evmVersion\":\"cancun\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":10000},\"remappings\":[\":@iden3/=node_modules/@iden3/\",\":@openzeppelin/=node_modules/@openzeppelin/\",\":eth-gas-reporter/=node_modules/eth-gas-reporter/\",\":forge-std/=lib/forge-std/src/\",\":hardhat/=node_modules/hardhat/\"],\"viaIR\":true},\"sources\":{\"contracts/lib/verifier_anon_batch.sol\":{\"keccak256\":\"0xc94a57d08ee903d7beecf820f4a51b1a207968070b54578858d616170a866c7f\",\"license\":\"GPL-3.0\",\"urls\":[\"bzz-raw://dd58985d0781aa73f2e672086d4113e18a016bc01bd368640481111d9bdaa227\",\"dweb:/ipfs/QmaLKHmHE2oEAFdJn6F4cAXAyiS3yKTMijTsVVZeLChqe9\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.27+commit.40a35a09"},"language":"Solidity","output":{"abi":[{"inputs":[{"internalType":"uint256[2]","name":"_pA","type":"uint256[2]"},{"internalType":"uint256[2][2]","name":"_pB","type":"uint256[2][2]"},{"internalType":"uint256[2]","name":"_pC","type":"uint256[2]"},{"internalType":"uint256[20]","name":"_pubSignals","type":"uint256[20]"}],"stateMutability":"view","type":"function","name":"verifyProof","outputs":[{"internalType":"bool","name":"","type":"bool"}]}],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@iden3/=node_modules/@iden3/","@openzeppelin/=node_modules/@openzeppelin/","eth-gas-reporter/=node_modules/eth-gas-reporter/","forge-std/=lib/forge-std/src/","hardhat/=node_modules/hardhat/"],"optimizer":{"enabled":true,"runs":10000},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"contracts/lib/verifier_anon_batch.sol":"Groth16Verifier_AnonBatch"},"evmVersion":"cancun","libraries":{},"viaIR":true},"sources":{"contracts/lib/verifier_anon_batch.sol":{"keccak256":"0xc94a57d08ee903d7beecf820f4a51b1a207968070b54578858d616170a866c7f","urls":["bzz-raw://dd58985d0781aa73f2e672086d4113e18a016bc01bd368640481111d9bdaa227","dweb:/ipfs/QmaLKHmHE2oEAFdJn6F4cAXAyiS3yKTMijTsVVZeLChqe9"],"license":"GPL-3.0"}},"version":1},"id":10}