@settlemint/solidity-zeto/out/verifier_anon_enc.sol/Groth16Verifier_AnonEnc.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[15]","internalType":"uint256[15]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"}],"bytecode":{"object":"0x60808060405234601557610d9f908161001a8239f35b5f80fdfe60806040526004361015610011575f80fd5b5f3560e01c63f054a9a314610024575f80fd5b34610141576102e07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101415761005d36610145565b3660c4116101415761006e36610152565b366102e4116101415761013a9161040060405261008d61010435610160565b61009961012435610160565b6100a561014435610160565b6100b161016435610160565b6100bd61018435610160565b6100c96101a435610160565b6100d56101c435610160565b6100e16101e435610160565b6100ed61020435610160565b6100f961022435610160565b61010561024435610160565b61011161026435610160565b61011d61028435610160565b6101296102a435610160565b6101356102c435610160565b6109c4565b5f5260205ff35b5f80fd5b9060049160441161014157565b9060c4916101041161014157565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001111561018957565b5f805260205ff35b604051917f05215f4ae6d638ee917dbf63182df75393df3a8cc751dbd7e4544e8ad36fe25283527f043cf68af82f76608511581525aa8842e5d47eb05765e3d46ba34eb20202805360208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f2fbeef92bfceee867422c9a6eea4a7740a129c383a15ea43ffb1cd8322b40ce083527f2f3c7f336cd38123d2092e591026efd880c3d242d5d7aded9fd785b2b63cdc7f60208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f1f958b577ca38816f2eb9d715d90ae06f0e7353230549fb40a70efc3e71f2d6883527e9439db8f13e6c856a55dceedfc07235ba7eb67fe480f0d6e00e494c4537acb60208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f02b76dfe25f9e5220c345e422dc8daf68a9a2cc2f40ebe300cfb2340711551a183527f2bd85a1a41a81f53840e486249e9ad00cb8f1396a1973bb129a865a97ba229f560208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f138c43647bacceb430bf66d29185128bda2929e06f778e4886ce831e5377386483527f2db848bd37b560ee3cac62c74b60baac90d3358986dad027884cf06b61d00de260208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f0d3b631333cdc2660f142d7e04fa38e6ea8faeefd2dc6e4d4df0819c659b303083527f0e0b8e3eb8f0ca891d44ba8ed6fb0eaa65c70fa96920d73ec5a130c6d18dd2e760208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f074fec723872d411d0f9cb310751382d8eaea73749076862c6cf2aaea3043b5883527f1a6874044134144009e89f91f6a2ba329f063c6c5e1d5a93ce3097a46767d74260208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f04cb0010c50d5e255b0cedce23e3b943264c2a7549b0f3c06b2d7aedc31bc2b783527f28c58d7b4d949146ec86f021c18cb5aca7283f0f2e6bb5c232d9486fdcd6d0f660208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f23cda943482b827f41cc874538710af715df746d32b43afc2a2021f5970ab35d83527f14a2a26cb1346e226119135d535d5121b765a6296ac6caf4d016d5589c759bc160208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f1a01b1563386596db4e91af5fa2b4a0b043700ea7314be1b6cdc756df7005a0d83527f195e8923a360b9a0cde4032ad436c74ecde58c575fd7c74e4287f6eca10c9a4b60208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f2d3dfb4eb177ef7047949603bdc8f3c2ca7844d5a5533afca8de58aa5f2160a883527f053fed0688491d9fa68c6b863f6b5203210eade4a6555d1e757098a714ca06c160208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f0bda072c1fa495fb1898ed3391924d164f321213c52d1c9801d08976ad7b337883527f212b6d2286b63ddb3a8ef78c45992da785e34f0bfa7bba6b919761179200aec460208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f0e45b5dd9478f8faca5eb34a0ba240a66dbf1853a8b3ee14ea52f5a77490d92883527f0407e7500162f8954f82fb21ca05693b3d1e8d102a9fc54594c79fb013fede9260208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f184ea8f238429c4d041938b3147a6a2c8cc2d9fce91c797c73a442cb321d6bec83527f222e991f378649bfe3a1f11d94b9b1c8d336abb0571386add865aed82c12da6660208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f0a1845836a1b8488d3ae8beef31b226912b0e26c69f5910b5a1c3af04adc179083527f1d9d6f02552e1c70ce4bc9c3f9d9c93eedfee59c7bfaf5b6614c9b53595b569660208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b907f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47602080937f0de08362e9647aafffbe6737b08f24181aaeb48e7efd1a7b571be934fb6180bb6080527f083d6abf3582aa82c3944321824c3df6350ab4aacdf4e8de103b3c44d33f6f7660a052610a40610104356080610191565b610a4e61012435608061021d565b610a5c6101443560806102a9565b610a6a610164356080610334565b610a786101843560806103c0565b610a866101a435608061044c565b610a946101c43560806104d8565b610aa26101e4356080610564565b610ab06102043560806105f0565b610abe61022435608061067c565b610acc610244356080610708565b610ada610264356080610794565b610ae8610284356080610820565b610af66102a43560806108ac565b610b046102c4356080610938565b80356101005201358103066101205260443561014052606435610160526084356101805260a4356101a0527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e26101c0527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d19266101e0527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c610200527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab610220527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a7610240527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec8610260526080516102805260a0516102a0527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26102c0527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6102e0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b610300527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa610320528035610340520135610360527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c2610380527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6103a0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6103c0527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa6103e05260206101006103008160086107cf195a01fa61010051169056fea2646970667358221220f2cc65fcaec87fed8c2b2cc485039837ee84ba80bd85fac46ed44d8d4abe117c64736f6c634300081b0033","sourceMap":"831:11704:11:-:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x60806040526004361015610011575f80fd5b5f3560e01c63f054a9a314610024575f80fd5b34610141576102e07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101415761005d36610145565b3660c4116101415761006e36610152565b366102e4116101415761013a9161040060405261008d61010435610160565b61009961012435610160565b6100a561014435610160565b6100b161016435610160565b6100bd61018435610160565b6100c96101a435610160565b6100d56101c435610160565b6100e16101e435610160565b6100ed61020435610160565b6100f961022435610160565b61010561024435610160565b61011161026435610160565b61011d61028435610160565b6101296102a435610160565b6101356102c435610160565b6109c4565b5f5260205ff35b5f80fd5b9060049160441161014157565b9060c4916101041161014157565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001111561018957565b5f805260205ff35b604051917f05215f4ae6d638ee917dbf63182df75393df3a8cc751dbd7e4544e8ad36fe25283527f043cf68af82f76608511581525aa8842e5d47eb05765e3d46ba34eb20202805360208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f2fbeef92bfceee867422c9a6eea4a7740a129c383a15ea43ffb1cd8322b40ce083527f2f3c7f336cd38123d2092e591026efd880c3d242d5d7aded9fd785b2b63cdc7f60208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f1f958b577ca38816f2eb9d715d90ae06f0e7353230549fb40a70efc3e71f2d6883527e9439db8f13e6c856a55dceedfc07235ba7eb67fe480f0d6e00e494c4537acb60208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f02b76dfe25f9e5220c345e422dc8daf68a9a2cc2f40ebe300cfb2340711551a183527f2bd85a1a41a81f53840e486249e9ad00cb8f1396a1973bb129a865a97ba229f560208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f138c43647bacceb430bf66d29185128bda2929e06f778e4886ce831e5377386483527f2db848bd37b560ee3cac62c74b60baac90d3358986dad027884cf06b61d00de260208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f0d3b631333cdc2660f142d7e04fa38e6ea8faeefd2dc6e4d4df0819c659b303083527f0e0b8e3eb8f0ca891d44ba8ed6fb0eaa65c70fa96920d73ec5a130c6d18dd2e760208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f074fec723872d411d0f9cb310751382d8eaea73749076862c6cf2aaea3043b5883527f1a6874044134144009e89f91f6a2ba329f063c6c5e1d5a93ce3097a46767d74260208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f04cb0010c50d5e255b0cedce23e3b943264c2a7549b0f3c06b2d7aedc31bc2b783527f28c58d7b4d949146ec86f021c18cb5aca7283f0f2e6bb5c232d9486fdcd6d0f660208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f23cda943482b827f41cc874538710af715df746d32b43afc2a2021f5970ab35d83527f14a2a26cb1346e226119135d535d5121b765a6296ac6caf4d016d5589c759bc160208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f1a01b1563386596db4e91af5fa2b4a0b043700ea7314be1b6cdc756df7005a0d83527f195e8923a360b9a0cde4032ad436c74ecde58c575fd7c74e4287f6eca10c9a4b60208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f2d3dfb4eb177ef7047949603bdc8f3c2ca7844d5a5533afca8de58aa5f2160a883527f053fed0688491d9fa68c6b863f6b5203210eade4a6555d1e757098a714ca06c160208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f0bda072c1fa495fb1898ed3391924d164f321213c52d1c9801d08976ad7b337883527f212b6d2286b63ddb3a8ef78c45992da785e34f0bfa7bba6b919761179200aec460208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f0e45b5dd9478f8faca5eb34a0ba240a66dbf1853a8b3ee14ea52f5a77490d92883527f0407e7500162f8954f82fb21ca05693b3d1e8d102a9fc54594c79fb013fede9260208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f184ea8f238429c4d041938b3147a6a2c8cc2d9fce91c797c73a442cb321d6bec83527f222e991f378649bfe3a1f11d94b9b1c8d336abb0571386add865aed82c12da6660208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b604051917f0a1845836a1b8488d3ae8beef31b226912b0e26c69f5910b5a1c3af04adc179083527f1d9d6f02552e1c70ce4bc9c3f9d9c93eedfee59c7bfaf5b6614c9b53595b569660208401526040830190815260408360608160076107cf195a01fa1561018957604092608091835190526020830151606082015260066107cf195a01fa1561018957565b907f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47602080937f0de08362e9647aafffbe6737b08f24181aaeb48e7efd1a7b571be934fb6180bb6080527f083d6abf3582aa82c3944321824c3df6350ab4aacdf4e8de103b3c44d33f6f7660a052610a40610104356080610191565b610a4e61012435608061021d565b610a5c6101443560806102a9565b610a6a610164356080610334565b610a786101843560806103c0565b610a866101a435608061044c565b610a946101c43560806104d8565b610aa26101e4356080610564565b610ab06102043560806105f0565b610abe61022435608061067c565b610acc610244356080610708565b610ada610264356080610794565b610ae8610284356080610820565b610af66102a43560806108ac565b610b046102c4356080610938565b80356101005201358103066101205260443561014052606435610160526084356101805260a4356101a0527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e26101c0527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d19266101e0527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c610200527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab610220527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a7610240527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec8610260526080516102805260a0516102a0527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26102c0527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6102e0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b610300527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa610320528035610340520135610360527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c2610380527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6103a0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6103c0527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa6103e05260206101006103008160086107cf195a01fa61010051169056fea2646970667358221220f2cc65fcaec87fed8c2b2cc485039837ee84ba80bd85fac46ed44d8d4abe117c64736f6c634300081b0033","sourceMap":"831:11704:11:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;6480:6045;;;831:11704;6480:6045;;831:11704;6480:6045;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;:::i;:::-;831:11704;6480:6045;;831:11704;6480:6045;831:11704;;;;;;;;;;;;:::o;:::-;;;;;;;;:::o;6480:6045::-;;-1:-1:-1;6480:6045:11;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;:::o;:::-;;;;;;;831:11704;6480:6045;;;;;831:11704;6480:6045;831:11704;6480:6045;:::i;:::-;;;;831:11704;6480:6045;:::i;:::-;;;;831:11704;6480:6045;:::i;:::-;;;;831:11704;6480:6045;:::i;:::-;;;;831:11704;6480:6045;:::i;:::-;;;;831:11704;6480:6045;:::i;:::-;;;;831:11704;6480:6045;:::i;:::-;;;;831:11704;6480:6045;:::i;:::-;;;;831:11704;6480:6045;:::i;:::-;;;;831:11704;6480:6045;:::i;:::-;;;;831:11704;6480:6045;:::i;:::-;;;;831:11704;6480:6045;:::i;:::-;;;;831:11704;6480:6045;:::i;:::-;;;;831:11704;6480:6045;:::i;:::-;;;;831:11704;6480:6045;:::i;:::-;;;;;;;;;;;;831:11704;6480:6045;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;831:11704;6480:6045;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;6480:6045:11;;;;;;;:::o","linkReferences":{}},"methodIdentifiers":{"verifyProof(uint256[2],uint256[2][2],uint256[2],uint256[15])":"f054a9a3"},"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[15]\",\"name\":\"_pubSignals\",\"type\":\"uint256[15]\"}],\"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_enc.sol\":\"Groth16Verifier_AnonEnc\"},\"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_enc.sol\":{\"keccak256\":\"0x3800ae9931e2818aafa0eb0c1fe1f6abf02c1a41b81c3bed1339b256e885e54c\",\"license\":\"GPL-3.0\",\"urls\":[\"bzz-raw://da575c18c2d36fd0c0f92e0442835958671c008752bc33056cf088dd9113c4b1\",\"dweb:/ipfs/QmQmS2LaQiQw3nQxeEyqr9tBXk1PP9ZSPVyznev9dKwzbD\"]}},\"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[15]","name":"_pubSignals","type":"uint256[15]"}],"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_enc.sol":"Groth16Verifier_AnonEnc"},"evmVersion":"cancun","libraries":{},"viaIR":true},"sources":{"contracts/lib/verifier_anon_enc.sol":{"keccak256":"0x3800ae9931e2818aafa0eb0c1fe1f6abf02c1a41b81c3bed1339b256e885e54c","urls":["bzz-raw://da575c18c2d36fd0c0f92e0442835958671c008752bc33056cf088dd9113c4b1","dweb:/ipfs/QmQmS2LaQiQw3nQxeEyqr9tBXk1PP9ZSPVyznev9dKwzbD"],"license":"GPL-3.0"}},"version":1},"id":11}