snarkjs/templates/verifier_abi.json

[
    {
        "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"
    }
]