@settlemint/solidity-zeto
Version:
Smart contract set to build Zero Knowledge tokens in SettleMint
46 lines (45 loc) • 13.1 kB
JSON
{
"_format": "hh-sol-artifact-1",
"contractName": "Groth16Verifier_CheckInputsOutputsValueBatch",
"sourceName": "contracts/lib/verifier_check_inputs_outputs_value_batch.sol",
"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[12]",
"name": "_pubSignals",
"type": "uint256[12]"
}
],
"name": "verifyProof",
"outputs": [
{
"internalType": "bool",
"name": "",
"type": "bool"
}
],
"stateMutability": "view",
"type": "function"
}
],
"bytecode": "0x60808060405234601557610bb5908161001b8239f35b600080fdfe6080604052600436101561001257600080fd5b60003560e01c638cbac0fa1461002757600080fd5b34610122576102807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101225761006036610127565b3660c4116101225761007136610134565b3661028411610122576101199161040060405261009061010435610142565b61009c61012435610142565b6100a861014435610142565b6100b461016435610142565b6100c061018435610142565b6100cc6101a435610142565b6100d86101c435610142565b6100e46101e435610142565b6100f061020435610142565b6100fc61022435610142565b61010861024435610142565b61011461026435610142565b610804565b60005260206000f35b600080fd5b9060049160441161012257565b9060c4916101041161012257565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001111561016b57565b6000805260206000f35b604051917f0e92fa70f14ee292f8e55c9d31c93f587645701bef6ce7a7d79d6cf9fcffd32c83527f2ee9b505317575c6ec61f46457d3b25334d170749fe27ddd98f93f031179e18760208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f26f5dd462c25677d76ceff4eb37d25d3311dc865a8d0f3d2248b76783272433f83527f0fd879188db565cf46c16a68bbb9c5ffd22181f7048e18bdb59ccf2f92e0890260208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f017a4d8aab3dec33c351abcb23f701048d245f4daa640eb92f562893fb3aa3c483527f162e49357fd1a15575dd5ee197e1bb1616e147db865692508fb88a191575bb6960208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f1f9b1cf3ff59dbffa1cd7a48fbe8560bb0888780aed5755afe31a23c5156947c83527f28e061da3cdf403bb018f8c78fc2af2ccb13357a3de676be444eede504711f5f60208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f22fe1f4a1d332c9acbabbe5367aa3361a2d46a96d3058161547bb1e94e6fc23383527f07d13f39bc4984f50b5ae2a4546872ad896a17b1a0dcb852731ffaa8d64f0c3560208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f1fcc3e7aab58e762edd792c2ba616a118d4a197be578df85ca4900f638f619ec83527f0c1047035ec7c04b333d1f6bc4c272e75f08b30f80bf64748c1153b73648a1c060208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f1238861b3534254727d0f9846168adc9cc103ca055a319a24394cdd62a9cb2e283527f188f6358948e7d289ab16ae6524680fbea4f130a4bd356304c403b23ec215cbd60208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f18e7a9ef530731af7aebd33a2b7c1586afecfad49b5adfe65d32a00a0722f86583527f2b41b7bba860cc6134602839dc0822ed0cc49d2337b81bca4d85c5c828e3b31e60208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f094f63de19471d85b41799014f4813fc70fbb3c4c041fcc47fc6e3427cef793b83527f3056f5a0951989d5a3d62b7debac5ab02d93cdff8cd38228069671620d3237b760208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917ed59cd22de864a8190b9b53b8d4c097f927f2cb7a5eb87d65dcb47dafc3274d83527f0a983d000d580fa719fe915a8e05714bdc6e259e1987c82baed14e8a3ef81b1d60208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f2f73caa3a3e3b21780f0f9f98f3d7dd4394828fd860e5e32e929656c3420a43483527f13582d769774f845dba3dfaaa8aa7bd9776ba11e6668b43c5244ec9267d49b2160208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f10c4087e60409b3aa2f1c2682d0fb49378c506c60af05b07adbc4cc6861d58b283527f0c8e679152c728c28b2057f7dcd684c440d7420d4e33311ef1045c9ca109b8d660208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b907f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47602080937f0fbf3d779a4e05135b63cf177e761df870a141cc9d6eeccd6d4f1ab98b59c5ed6080527f214fa90fcce63e56964ae5635ff5636a1be5a49b4db89dce6eca731ad6c1d46660a052610880610104356080610175565b61088e610124356080610201565b61089c61014435608061028d565b6108aa610164356080610319565b6108b86101843560806103a5565b6108c66101a4356080610431565b6108d46101c43560806104bd565b6108e26101e4356080610549565b6108f06102043560806105d5565b6108fe610224356080610661565b61090c6102443560806106ec565b61091a610264356080610778565b80356101005201358103066101205260443561014052606435610160526084356101805260a4356101a0527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e26101c0527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d19266101e0527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c610200527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab610220527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a7610240527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec8610260526080516102805260a0516102a0527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26102c0527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6102e0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b610300527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa610320528035610340520135610360527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c2610380527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6103a0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6103c0527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa6103e05260206101006103008160086107cf195a01fa61010051169056fea264697066735822122047fd5834fb02b6a7ee017240aa8764257609a1f4587574e168522e842faad50164736f6c634300081b0033",
"deployedBytecode": "0x6080604052600436101561001257600080fd5b60003560e01c638cbac0fa1461002757600080fd5b34610122576102807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126101225761006036610127565b3660c4116101225761007136610134565b3661028411610122576101199161040060405261009061010435610142565b61009c61012435610142565b6100a861014435610142565b6100b461016435610142565b6100c061018435610142565b6100cc6101a435610142565b6100d86101c435610142565b6100e46101e435610142565b6100f061020435610142565b6100fc61022435610142565b61010861024435610142565b61011461026435610142565b610804565b60005260206000f35b600080fd5b9060049160441161012257565b9060c4916101041161012257565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001111561016b57565b6000805260206000f35b604051917f0e92fa70f14ee292f8e55c9d31c93f587645701bef6ce7a7d79d6cf9fcffd32c83527f2ee9b505317575c6ec61f46457d3b25334d170749fe27ddd98f93f031179e18760208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f26f5dd462c25677d76ceff4eb37d25d3311dc865a8d0f3d2248b76783272433f83527f0fd879188db565cf46c16a68bbb9c5ffd22181f7048e18bdb59ccf2f92e0890260208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f017a4d8aab3dec33c351abcb23f701048d245f4daa640eb92f562893fb3aa3c483527f162e49357fd1a15575dd5ee197e1bb1616e147db865692508fb88a191575bb6960208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f1f9b1cf3ff59dbffa1cd7a48fbe8560bb0888780aed5755afe31a23c5156947c83527f28e061da3cdf403bb018f8c78fc2af2ccb13357a3de676be444eede504711f5f60208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f22fe1f4a1d332c9acbabbe5367aa3361a2d46a96d3058161547bb1e94e6fc23383527f07d13f39bc4984f50b5ae2a4546872ad896a17b1a0dcb852731ffaa8d64f0c3560208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f1fcc3e7aab58e762edd792c2ba616a118d4a197be578df85ca4900f638f619ec83527f0c1047035ec7c04b333d1f6bc4c272e75f08b30f80bf64748c1153b73648a1c060208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f1238861b3534254727d0f9846168adc9cc103ca055a319a24394cdd62a9cb2e283527f188f6358948e7d289ab16ae6524680fbea4f130a4bd356304c403b23ec215cbd60208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f18e7a9ef530731af7aebd33a2b7c1586afecfad49b5adfe65d32a00a0722f86583527f2b41b7bba860cc6134602839dc0822ed0cc49d2337b81bca4d85c5c828e3b31e60208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f094f63de19471d85b41799014f4813fc70fbb3c4c041fcc47fc6e3427cef793b83527f3056f5a0951989d5a3d62b7debac5ab02d93cdff8cd38228069671620d3237b760208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917ed59cd22de864a8190b9b53b8d4c097f927f2cb7a5eb87d65dcb47dafc3274d83527f0a983d000d580fa719fe915a8e05714bdc6e259e1987c82baed14e8a3ef81b1d60208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f2f73caa3a3e3b21780f0f9f98f3d7dd4394828fd860e5e32e929656c3420a43483527f13582d769774f845dba3dfaaa8aa7bd9776ba11e6668b43c5244ec9267d49b2160208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b604051917f10c4087e60409b3aa2f1c2682d0fb49378c506c60af05b07adbc4cc6861d58b283527f0c8e679152c728c28b2057f7dcd684c440d7420d4e33311ef1045c9ca109b8d660208401526040830190815260408360608160076107cf195a01fa1561016b57604092608091835190526020830151606082015260066107cf195a01fa1561016b57565b907f30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47602080937f0fbf3d779a4e05135b63cf177e761df870a141cc9d6eeccd6d4f1ab98b59c5ed6080527f214fa90fcce63e56964ae5635ff5636a1be5a49b4db89dce6eca731ad6c1d46660a052610880610104356080610175565b61088e610124356080610201565b61089c61014435608061028d565b6108aa610164356080610319565b6108b86101843560806103a5565b6108c66101a4356080610431565b6108d46101c43560806104bd565b6108e26101e4356080610549565b6108f06102043560806105d5565b6108fe610224356080610661565b61090c6102443560806106ec565b61091a610264356080610778565b80356101005201358103066101205260443561014052606435610160526084356101805260a4356101a0527f2d4d9aa7e302d9df41749d5507949d05dbea33fbb16c643b22f599a2be6df2e26101c0527f14bedd503c37ceb061d8ec60209fe345ce89830a19230301f076caff004d19266101e0527f0967032fcbf776d1afc985f88877f182d38480a653f2decaa9794cbc3bf3060c610200527f0e187847ad4c798374d0d6732bf501847dd68bc0e071241e0213bc7fc13db7ab610220527f304cfbd1e08a704a99f5e847d93f8c3caafddec46b7a0d379da69a4d112346a7610240527f1739c1b1a457a8c7313123d24d2f9192f896b7c63eea05a9d57f06547ad0cec8610260526080516102805260a0516102a0527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26102c0527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6102e0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b610300527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa610320528035610340520135610360527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c2610380527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6103a0527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b6103c0527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa6103e05260206101006103008160086107cf195a01fa61010051169056fea264697066735822122047fd5834fb02b6a7ee017240aa8764257609a1f4587574e168522e842faad50164736f6c634300081b0033",
"linkReferences": {},
"deployedLinkReferences": {}
}