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