186 lines
4.9 KiB
JSON
186 lines
4.9 KiB
JSON
{
|
|
"_format": "hh-sol-artifact-1",
|
|
"contractName": "Verifier",
|
|
"sourceName": "contracts/verifier.sol",
|
|
"abi": [
|
|
{
|
|
"inputs": [],
|
|
"stateMutability": "nonpayable",
|
|
"type": "constructor"
|
|
},
|
|
{
|
|
"inputs": [
|
|
{
|
|
"internalType": "uint256[]",
|
|
"name": "input",
|
|
"type": "uint256[]"
|
|
},
|
|
{
|
|
"components": [
|
|
{
|
|
"components": [
|
|
{
|
|
"internalType": "uint256",
|
|
"name": "X",
|
|
"type": "uint256"
|
|
},
|
|
{
|
|
"internalType": "uint256",
|
|
"name": "Y",
|
|
"type": "uint256"
|
|
}
|
|
],
|
|
"internalType": "struct Pairing.G1Point",
|
|
"name": "A",
|
|
"type": "tuple"
|
|
},
|
|
{
|
|
"components": [
|
|
{
|
|
"internalType": "uint256[2]",
|
|
"name": "X",
|
|
"type": "uint256[2]"
|
|
},
|
|
{
|
|
"internalType": "uint256[2]",
|
|
"name": "Y",
|
|
"type": "uint256[2]"
|
|
}
|
|
],
|
|
"internalType": "struct Pairing.G2Point",
|
|
"name": "B",
|
|
"type": "tuple"
|
|
},
|
|
{
|
|
"components": [
|
|
{
|
|
"internalType": "uint256",
|
|
"name": "X",
|
|
"type": "uint256"
|
|
},
|
|
{
|
|
"internalType": "uint256",
|
|
"name": "Y",
|
|
"type": "uint256"
|
|
}
|
|
],
|
|
"internalType": "struct Pairing.G1Point",
|
|
"name": "C",
|
|
"type": "tuple"
|
|
}
|
|
],
|
|
"internalType": "struct Verifier.Proof",
|
|
"name": "proof",
|
|
"type": "tuple"
|
|
},
|
|
{
|
|
"components": [
|
|
{
|
|
"components": [
|
|
{
|
|
"internalType": "uint256",
|
|
"name": "X",
|
|
"type": "uint256"
|
|
},
|
|
{
|
|
"internalType": "uint256",
|
|
"name": "Y",
|
|
"type": "uint256"
|
|
}
|
|
],
|
|
"internalType": "struct Pairing.G1Point",
|
|
"name": "alfa1",
|
|
"type": "tuple"
|
|
},
|
|
{
|
|
"components": [
|
|
{
|
|
"internalType": "uint256[2]",
|
|
"name": "X",
|
|
"type": "uint256[2]"
|
|
},
|
|
{
|
|
"internalType": "uint256[2]",
|
|
"name": "Y",
|
|
"type": "uint256[2]"
|
|
}
|
|
],
|
|
"internalType": "struct Pairing.G2Point",
|
|
"name": "beta2",
|
|
"type": "tuple"
|
|
},
|
|
{
|
|
"components": [
|
|
{
|
|
"internalType": "uint256[2]",
|
|
"name": "X",
|
|
"type": "uint256[2]"
|
|
},
|
|
{
|
|
"internalType": "uint256[2]",
|
|
"name": "Y",
|
|
"type": "uint256[2]"
|
|
}
|
|
],
|
|
"internalType": "struct Pairing.G2Point",
|
|
"name": "gamma2",
|
|
"type": "tuple"
|
|
},
|
|
{
|
|
"components": [
|
|
{
|
|
"internalType": "uint256[2]",
|
|
"name": "X",
|
|
"type": "uint256[2]"
|
|
},
|
|
{
|
|
"internalType": "uint256[2]",
|
|
"name": "Y",
|
|
"type": "uint256[2]"
|
|
}
|
|
],
|
|
"internalType": "struct Pairing.G2Point",
|
|
"name": "delta2",
|
|
"type": "tuple"
|
|
},
|
|
{
|
|
"components": [
|
|
{
|
|
"internalType": "uint256",
|
|
"name": "X",
|
|
"type": "uint256"
|
|
},
|
|
{
|
|
"internalType": "uint256",
|
|
"name": "Y",
|
|
"type": "uint256"
|
|
}
|
|
],
|
|
"internalType": "struct Pairing.G1Point[]",
|
|
"name": "IC",
|
|
"type": "tuple[]"
|
|
}
|
|
],
|
|
"internalType": "struct Verifier.VerifyingKey",
|
|
"name": "vk",
|
|
"type": "tuple"
|
|
}
|
|
],
|
|
"name": "verify",
|
|
"outputs": [
|
|
{
|
|
"internalType": "bool",
|
|
"name": "",
|
|
"type": "bool"
|
|
}
|
|
],
|
|
"stateMutability": "view",
|
|
"type": "function"
|
|
}
|
|
],
|
|
"bytecode": "0x",
|
|
"deployedBytecode": "0x",
|
|
"linkReferences": {},
|
|
"deployedLinkReferences": {}
|
|
}
|