[
  {
    "type": "function",
    "name": "affineECAdd_",
    "inputs": [
      {
        "name": "p1",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "p2",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "invZ",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "outputs": [
      {
        "name": "",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      }
    ],
    "stateMutability": "pure"
  },
  {
    "type": "function",
    "name": "bigModExp_",
    "inputs": [
      {
        "name": "base",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "exponent",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "outputs": [
      {
        "name": "",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "stateMutability": "view"
  },
  {
    "type": "function",
    "name": "ecmulVerify_",
    "inputs": [
      {
        "name": "x",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "scalar",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "q",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      }
    ],
    "outputs": [
      {
        "name": "",
        "type": "bool",
        "internalType": "bool"
      }
    ],
    "stateMutability": "pure"
  },
  {
    "type": "function",
    "name": "fieldHash_",
    "inputs": [
      {
        "name": "b",
        "type": "bytes",
        "internalType": "bytes"
      }
    ],
    "outputs": [
      {
        "name": "",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "stateMutability": "pure"
  },
  {
    "type": "function",
    "name": "hashToCurve_",
    "inputs": [
      {
        "name": "pk",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "x",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "outputs": [
      {
        "name": "",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      }
    ],
    "stateMutability": "view"
  },
  {
    "type": "function",
    "name": "isOnCurve_",
    "inputs": [
      {
        "name": "p",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      }
    ],
    "outputs": [
      {
        "name": "",
        "type": "bool",
        "internalType": "bool"
      }
    ],
    "stateMutability": "pure"
  },
  {
    "type": "function",
    "name": "linearCombination_",
    "inputs": [
      {
        "name": "c",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "p1",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "cp1Witness",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "s",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "p2",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "sp2Witness",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "zInv",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "outputs": [
      {
        "name": "",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      }
    ],
    "stateMutability": "pure"
  },
  {
    "type": "function",
    "name": "projectiveECAdd_",
    "inputs": [
      {
        "name": "px",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "py",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "qx",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "qy",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "outputs": [
      {
        "name": "",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "stateMutability": "pure"
  },
  {
    "type": "function",
    "name": "randomValueFromVRFProof_",
    "inputs": [
      {
        "name": "proof",
        "type": "tuple",
        "internalType": "struct VRF.Proof",
        "components": [
          {
            "name": "pk",
            "type": "uint256[2]",
            "internalType": "uint256[2]"
          },
          {
            "name": "gamma",
            "type": "uint256[2]",
            "internalType": "uint256[2]"
          },
          {
            "name": "c",
            "type": "uint256",
            "internalType": "uint256"
          },
          {
            "name": "s",
            "type": "uint256",
            "internalType": "uint256"
          },
          {
            "name": "seed",
            "type": "uint256",
            "internalType": "uint256"
          },
          {
            "name": "uWitness",
            "type": "address",
            "internalType": "address"
          },
          {
            "name": "cGammaWitness",
            "type": "uint256[2]",
            "internalType": "uint256[2]"
          },
          {
            "name": "sHashWitness",
            "type": "uint256[2]",
            "internalType": "uint256[2]"
          },
          {
            "name": "zInv",
            "type": "uint256",
            "internalType": "uint256"
          }
        ]
      },
      {
        "name": "seed",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "outputs": [
      {
        "name": "output",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "stateMutability": "view"
  },
  {
    "type": "function",
    "name": "scalarFromCurvePoints_",
    "inputs": [
      {
        "name": "hash",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "pk",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "gamma",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "uWitness",
        "type": "address",
        "internalType": "address"
      },
      {
        "name": "v",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      }
    ],
    "outputs": [
      {
        "name": "",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "stateMutability": "pure"
  },
  {
    "type": "function",
    "name": "squareRoot_",
    "inputs": [
      {
        "name": "x",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "outputs": [
      {
        "name": "",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "stateMutability": "view"
  },
  {
    "type": "function",
    "name": "verifyLinearCombinationWithGenerator_",
    "inputs": [
      {
        "name": "c",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "p",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "s",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "lcWitness",
        "type": "address",
        "internalType": "address"
      }
    ],
    "outputs": [
      {
        "name": "",
        "type": "bool",
        "internalType": "bool"
      }
    ],
    "stateMutability": "pure"
  },
  {
    "type": "function",
    "name": "verifyVRFProof_",
    "inputs": [
      {
        "name": "pk",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "gamma",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "c",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "s",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "seed",
        "type": "uint256",
        "internalType": "uint256"
      },
      {
        "name": "uWitness",
        "type": "address",
        "internalType": "address"
      },
      {
        "name": "cGammaWitness",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "sHashWitness",
        "type": "uint256[2]",
        "internalType": "uint256[2]"
      },
      {
        "name": "zInv",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "outputs": [],
    "stateMutability": "view"
  },
  {
    "type": "function",
    "name": "ySquared_",
    "inputs": [
      {
        "name": "x",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "outputs": [
      {
        "name": "",
        "type": "uint256",
        "internalType": "uint256"
      }
    ],
    "stateMutability": "pure"
  }
]