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