1[
 2    {
 3        "anonymous": false,
 4        "inputs": [
 5            {
 6                "indexed": false,
 7                "name": "s",
 8                "type": "string"
 9            }
10        ],
11        "name": "Verified",
12        "type": "event"
13    },
14    {
15        "constant": false,
16        "inputs": [
17            {
18                "name": "a",
19                "type": "uint256[2]"
20            },
21            {
22                "name": "a_p",
23                "type": "uint256[2]"
24            },
25            {
26                "name": "b",
27                "type": "uint256[2][2]"
28            },
29            {
30                "name": "b_p",
31                "type": "uint256[2]"
32            },
33            {
34                "name": "c",
35                "type": "uint256[2]"
36            },
37            {
38                "name": "c_p",
39                "type": "uint256[2]"
40            },
41            {
42                "name": "h",
43                "type": "uint256[2]"
44            },
45            {
46                "name": "k",
47                "type": "uint256[2]"
48            },
49            {
50                "name": "input",
51                "type": "uint256[2]"
52            }
53        ],
54        "name": "verifyTx",
55        "outputs": [
56            {
57                "name": "r",
58                "type": "bool"
59            }
60        ],
61        "payable": false,
62        "stateMutability": "nonpayable",
63        "type": "function"
64    }
65]