@settlemint/solidity-zeto
Version:
Smart contract set to build Zero Knowledge tokens in SettleMint
1 lines • 23.7 kB
JSON
{"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[19]","internalType":"uint256[19]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"}],"bytecode":{"object":"0x60808060405234601557611038908161001a8239f35b5f80fdfe60806040526004361015610011575f80fd5b5f3560e01c63f3f22e7214610024575f80fd5b34610171576103607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101715761005d36610175565b3660c4116101715761006e36610182565b36610364116101715761016a9161040060405261008d61010435610190565b61009961012435610190565b6100a561014435610190565b6100b161016435610190565b6100bd61018435610190565b6100c96101a435610190565b6100d56101c435610190565b6100e16101e435610190565b6100ed61020435610190565b6100f961022435610190565b61010561024435610190565b61011161026435610190565b61011d61028435610190565b6101296102a435610190565b6101356102c435610190565b6101416102e435610190565b61014d61030435610190565b61015961032435610190565b61016561034435610190565b610c25565b5f5260205ff35b5f80fd5b9060049160441161017157565b9060c4916101041161017157565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000111156101b957565b5f805260205ff35b604051917f0659e7707f2b5c7c0fc0c67fb5204fc0186230c16dc405b44fb6185ebe0ff5e083527f0c102c7b8a28788124b1bd8e39bcc4d45df2b5625a4f7d45836ba8986a563d4860208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f1a7a8a76917f6eb68eb060c4ca73cc8888a65e1f0c66a178bcf88853cd10df1b83527f0c45c08734623191c2f6e2a20aef2b78f64c1c6cc407a1609488fde14d1b36a660208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f2fd350806e33bb035b79474ed21367f085b37497545b3bc5d29e62cd6d457b2d83527f269b7c7a7aa70573c152dee3cfcb4b8cb063faa5555e797f9c2a43bdc8220e2b60208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f2a386770da5246fa4245a776cece9fc3024f4544032032c9b4788cfa77e3614583527f29d83f6cd938aaca3013fb28f6011c5589291a249ded7689bbbdd1c460ce2fca60208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f181027e6896b10b3ea01c64a7b273b8b5bd745d999d88303ff2b9cacdf97671c83527f2b598cab3da793f61ef4d05d509c76cd2fac3d8496ca36d247142f0557e0473060208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f2977924c94f22175773e65e53e17a9758c3db438fc916ac9f4b1f841b128a12883527f1c86901dfbb01d23215af242c41141072fcc3b43ed57a51fc0bd20b3523498ae60208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f264bc53cd31fa69f6050b7376555ab1bdc60eb14eb9c928bf9dd8a1e5f34221983527f1add7999a19bb82ce5b3da08cf1316fd8716afbbe1408d1ac79ed5aec96575ba60208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f116a25e42d7fbe2a55d6d9f5a433f5bd678b3b7f87868c9e278487aec5ab752683527f2b9da0fc06752d10dd72cb0251e86560997fe83964ba55a19920d07ddcf4fbe160208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f15ecdf44756106875d09a8d5795ce8f79f9a9580cbfc70ba4aa50055bf86fc2d83527f2573a59fa80b76473b3e5149d71afa77e954b58a4f39e0a946da7b6a20b2ddd560208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f29ce30f08d9ac226a39210624c3fee920076c0529b3f428c600eaaf1af288f5b83527f188bdc69d68e793621509f1fbb01318b01d53abc438542f7604c7e3744c134ad60208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f15e5c480469b81f2bf46c9142a437775680a9b41ab3ab7fdaaa44ef12dc4790883527f0341b0280113b2cb1fa91e2a0a1b665cc073169564449c3322ffff05c795b67f60208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f0dd70625cd36358ddf17a3e60225160302e32ade80a167faa974c1c51398e0b883527f26d09217a26e65cf0204e3c98791e4b81de9df5f57dba29bcc53f58e5c126ca560208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f0f00d3360e0a1f3974d33f7cf4c54a893a7eb61471968e38386242e72fbd303983527f033b1214558afacc3119b9d596bc6f00b8272d94bd61d9b534d95d3192ed1af160208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f2901e2fcc02da01d8cbf253d9b0d7b531a6939f961f6c0e92d37a5900db2b2db83527f15913f23ddf95701412efeffa4b7ae937e939390772af069a5b2a57f39154c3860208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f035b46441aa2eab435e851283f23110f188c22bd409c47c7949343f2b48dc64e83527f084b1216cbb51875aca134cacad53c0b6eca2387a4f462eccdfe6ebef290d44a60208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f1f43c1322e59077c72e8d804f5c8ace440e741b00c84114af75fdcd0d26a31a383527f2f3aca223d85a817ce2c1480e59d215ad52580460bff58dcf9a54da637cede9760208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f2ccbdb357a6e3fdd74626d462e3f4a21af96ec848615c4f5b4c8bcaf7093e4d883527f18ea914a28d4c58da39ec51e485e0524ea01dda98ddc8e723268305c48d5b3b860208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f168f426083deb46c5044919c8b4b44c84d2add11e3e039601d55cb7f04bd783b83527f1d936cb76659b94310e8443c03f7c87885d88f9297ace7ba1b6be54e3f5296e060208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f2a4522ab9d7b2144d44411e838277263342747cc13b680e168245279065551a183527f293f1267e3cc255461c300346bc04f12a2809a0592370a8e4d8e3fe87ec433e160208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b907f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47602080937f0320368626f525336d51a0aceeb9d52226aab1c9580f06513094b2e491f359626080527f21a8cc5aa8e9bfa897672b8e23421b445b7a519dc049d8d8450f44dc4a23df8c60a052610ca16101043560806101c1565b610caf61012435608061024d565b610cbd6101443560806102d9565b610ccb610164356080610365565b610cd96101843560806103f1565b610ce76101a435608061047d565b610cf56101c4356080610509565b610d036101e4356080610595565b610d11610204356080610621565b610d1f6102243560806106ad565b610d2d610244356080610739565b610d3b6102643560806107c5565b610d49610284356080610851565b610d576102a43560806108dd565b610d656102c4356080610969565b610d736102e43560806109f5565b610d81610304356080610a81565b610d8f610324356080610b0d565b610d9d610344356080610b99565b80356101005201358103066101205260443561014052606435610160526084356101805260a4356101a0527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e26101c0527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d19266101e0527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c610200527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab610220527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a7610240527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec8610260526080516102805260a0516102a0527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26102c0527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6102e0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b610300527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa610320528035610340520135610360527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c2610380527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6103a0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6103c0527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa6103e05260206101006103008160086107cf195a01fa61010051169056fea26469706673582212208d4ddac63f22d24d8a55109288e97cef728193c8468a960234aa7eb13abbfda964736f6c634300081b0033","sourceMap":"831:13296:15:-:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x60806040526004361015610011575f80fd5b5f3560e01c63f3f22e7214610024575f80fd5b34610171576103607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101715761005d36610175565b3660c4116101715761006e36610182565b36610364116101715761016a9161040060405261008d61010435610190565b61009961012435610190565b6100a561014435610190565b6100b161016435610190565b6100bd61018435610190565b6100c96101a435610190565b6100d56101c435610190565b6100e16101e435610190565b6100ed61020435610190565b6100f961022435610190565b61010561024435610190565b61011161026435610190565b61011d61028435610190565b6101296102a435610190565b6101356102c435610190565b6101416102e435610190565b61014d61030435610190565b61015961032435610190565b61016561034435610190565b610c25565b5f5260205ff35b5f80fd5b9060049160441161017157565b9060c4916101041161017157565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000111156101b957565b5f805260205ff35b604051917f0659e7707f2b5c7c0fc0c67fb5204fc0186230c16dc405b44fb6185ebe0ff5e083527f0c102c7b8a28788124b1bd8e39bcc4d45df2b5625a4f7d45836ba8986a563d4860208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f1a7a8a76917f6eb68eb060c4ca73cc8888a65e1f0c66a178bcf88853cd10df1b83527f0c45c08734623191c2f6e2a20aef2b78f64c1c6cc407a1609488fde14d1b36a660208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f2fd350806e33bb035b79474ed21367f085b37497545b3bc5d29e62cd6d457b2d83527f269b7c7a7aa70573c152dee3cfcb4b8cb063faa5555e797f9c2a43bdc8220e2b60208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f2a386770da5246fa4245a776cece9fc3024f4544032032c9b4788cfa77e3614583527f29d83f6cd938aaca3013fb28f6011c5589291a249ded7689bbbdd1c460ce2fca60208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f181027e6896b10b3ea01c64a7b273b8b5bd745d999d88303ff2b9cacdf97671c83527f2b598cab3da793f61ef4d05d509c76cd2fac3d8496ca36d247142f0557e0473060208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f2977924c94f22175773e65e53e17a9758c3db438fc916ac9f4b1f841b128a12883527f1c86901dfbb01d23215af242c41141072fcc3b43ed57a51fc0bd20b3523498ae60208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f264bc53cd31fa69f6050b7376555ab1bdc60eb14eb9c928bf9dd8a1e5f34221983527f1add7999a19bb82ce5b3da08cf1316fd8716afbbe1408d1ac79ed5aec96575ba60208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f116a25e42d7fbe2a55d6d9f5a433f5bd678b3b7f87868c9e278487aec5ab752683527f2b9da0fc06752d10dd72cb0251e86560997fe83964ba55a19920d07ddcf4fbe160208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f15ecdf44756106875d09a8d5795ce8f79f9a9580cbfc70ba4aa50055bf86fc2d83527f2573a59fa80b76473b3e5149d71afa77e954b58a4f39e0a946da7b6a20b2ddd560208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f29ce30f08d9ac226a39210624c3fee920076c0529b3f428c600eaaf1af288f5b83527f188bdc69d68e793621509f1fbb01318b01d53abc438542f7604c7e3744c134ad60208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f15e5c480469b81f2bf46c9142a437775680a9b41ab3ab7fdaaa44ef12dc4790883527f0341b0280113b2cb1fa91e2a0a1b665cc073169564449c3322ffff05c795b67f60208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f0dd70625cd36358ddf17a3e60225160302e32ade80a167faa974c1c51398e0b883527f26d09217a26e65cf0204e3c98791e4b81de9df5f57dba29bcc53f58e5c126ca560208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f0f00d3360e0a1f3974d33f7cf4c54a893a7eb61471968e38386242e72fbd303983527f033b1214558afacc3119b9d596bc6f00b8272d94bd61d9b534d95d3192ed1af160208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f2901e2fcc02da01d8cbf253d9b0d7b531a6939f961f6c0e92d37a5900db2b2db83527f15913f23ddf95701412efeffa4b7ae937e939390772af069a5b2a57f39154c3860208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f035b46441aa2eab435e851283f23110f188c22bd409c47c7949343f2b48dc64e83527f084b1216cbb51875aca134cacad53c0b6eca2387a4f462eccdfe6ebef290d44a60208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f1f43c1322e59077c72e8d804f5c8ace440e741b00c84114af75fdcd0d26a31a383527f2f3aca223d85a817ce2c1480e59d215ad52580460bff58dcf9a54da637cede9760208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f2ccbdb357a6e3fdd74626d462e3f4a21af96ec848615c4f5b4c8bcaf7093e4d883527f18ea914a28d4c58da39ec51e485e0524ea01dda98ddc8e723268305c48d5b3b860208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f168f426083deb46c5044919c8b4b44c84d2add11e3e039601d55cb7f04bd783b83527f1d936cb76659b94310e8443c03f7c87885d88f9297ace7ba1b6be54e3f5296e060208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b604051917f2a4522ab9d7b2144d44411e838277263342747cc13b680e168245279065551a183527f293f1267e3cc255461c300346bc04f12a2809a0592370a8e4d8e3fe87ec433e160208401526040830190815260408360608160076107cf195a01fa156101b957604092608091835190526020830151606082015260066107cf195a01fa156101b957565b907f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47602080937f0320368626f525336d51a0aceeb9d52226aab1c9580f06513094b2e491f359626080527f21a8cc5aa8e9bfa897672b8e23421b445b7a519dc049d8d8450f44dc4a23df8c60a052610ca16101043560806101c1565b610caf61012435608061024d565b610cbd6101443560806102d9565b610ccb610164356080610365565b610cd96101843560806103f1565b610ce76101a435608061047d565b610cf56101c4356080610509565b610d036101e4356080610595565b610d11610204356080610621565b610d1f6102243560806106ad565b610d2d610244356080610739565b610d3b6102643560806107c5565b610d49610284356080610851565b610d576102a43560806108dd565b610d656102c4356080610969565b610d736102e43560806109f5565b610d81610304356080610a81565b610d8f610324356080610b0d565b610d9d610344356080610b99565b80356101005201358103066101205260443561014052606435610160526084356101805260a4356101a0527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e26101c0527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d19266101e0527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c610200527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab610220527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a7610240527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec8610260526080516102805260a0516102a0527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26102c0527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6102e0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b610300527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa610320528035610340520135610360527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c2610380527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6103a0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6103c0527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa6103e05260206101006103008160086107cf195a01fa61010051169056fea26469706673582212208d4ddac63f22d24d8a55109288e97cef728193c8468a960234aa7eb13abbfda964736f6c634300081b0033","sourceMap":"831:13296:15:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;:::i;:::-;;;;;;7380:6737;;;831:13296;7380:6737;;831:13296;7380:6737;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;;;;:::i;:::-;;:::i;:::-;831:13296;7380:6737;;831:13296;7380:6737;831:13296;;;;;;;;;;;;:::o;:::-;;;;;;;;:::o;7380:6737::-;;-1:-1:-1;7380:6737:15;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;:::o;:::-;;;;;;;831:13296;7380:6737;;;;;831:13296;7380:6737;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;831:13296;7380:6737;:::i;:::-;;;;;;;;;;;;831:13296;7380:6737;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;831:13296;7380:6737;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7380:6737:15;;;;;;;:::o","linkReferences":{}},"methodIdentifiers":{"verifyProof(uint256[2],uint256[2][2],uint256[2],uint256[19])":"f3f22e72"},"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[19]\",\"name\":\"_pubSignals\",\"type\":\"uint256[19]\"}],\"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_nullifier_kyc.sol\":\"Groth16Verifier_AnonEncNullifierKyc\"},\"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_nullifier_kyc.sol\":{\"keccak256\":\"0x355e5656d7e36d4d436bb90c14ae878d5dbca3089e3f9cbb4bc44977bcb21e51\",\"license\":\"GPL-3.0\",\"urls\":[\"bzz-raw://09c554a18c0e0284f9d0a97f1cfa5e1e0c1d95987bbcd1c1a0d1f58fb4ab323c\",\"dweb:/ipfs/QmRYzmLpXAf5dubYFwD7RmBG6wSduivHErs6C1DzCt955J\"]}},\"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[19]","name":"_pubSignals","type":"uint256[19]"}],"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_nullifier_kyc.sol":"Groth16Verifier_AnonEncNullifierKyc"},"evmVersion":"cancun","libraries":{},"viaIR":true},"sources":{"contracts/lib/verifier_anon_enc_nullifier_kyc.sol":{"keccak256":"0x355e5656d7e36d4d436bb90c14ae878d5dbca3089e3f9cbb4bc44977bcb21e51","urls":["bzz-raw://09c554a18c0e0284f9d0a97f1cfa5e1e0c1d95987bbcd1c1a0d1f58fb4ab323c","dweb:/ipfs/QmRYzmLpXAf5dubYFwD7RmBG6wSduivHErs6C1DzCt955J"],"license":"GPL-3.0"}},"version":1},"id":15}