[
|
|
{
|
|
"anonymous": false,
|
|
"inputs": [
|
|
{
|
|
"indexed": false,
|
|
"name": "s",
|
|
"type": "string"
|
|
}
|
|
],
|
|
"name": "Verified",
|
|
"type": "event"
|
|
},
|
|
{
|
|
"constant": false,
|
|
"inputs": [
|
|
{
|
|
"name": "a",
|
|
"type": "uint256[2]"
|
|
},
|
|
{
|
|
"name": "a_p",
|
|
"type": "uint256[2]"
|
|
},
|
|
{
|
|
"name": "b",
|
|
"type": "uint256[2][2]"
|
|
},
|
|
{
|
|
"name": "b_p",
|
|
"type": "uint256[2]"
|
|
},
|
|
{
|
|
"name": "c",
|
|
"type": "uint256[2]"
|
|
},
|
|
{
|
|
"name": "c_p",
|
|
"type": "uint256[2]"
|
|
},
|
|
{
|
|
"name": "h",
|
|
"type": "uint256[2]"
|
|
},
|
|
{
|
|
"name": "k",
|
|
"type": "uint256[2]"
|
|
},
|
|
{
|
|
"name": "input",
|
|
"type": "uint256[2]"
|
|
}
|
|
],
|
|
"name": "verifyTx",
|
|
"outputs": [
|
|
{
|
|
"name": "r",
|
|
"type": "bool"
|
|
}
|
|
],
|
|
"payable": false,
|
|
"stateMutability": "nonpayable",
|
|
"type": "function"
|
|
}
|
|
]
|