Module IOpenVmHalo2Verifier 

Generated by the following Solidity interface…

interface IOpenVmHalo2Verifier {
    function verify(bytes memory publicValues, bytes memory proofData, bytes32 appExeCommit, bytes32 appVmCommit) external view;
}

…which was generated by the following JSON ABI:

[
  {
    "type": "function",
    "name": "verify",
    "inputs": [
      {
        "name": "publicValues",
        "type": "bytes",
        "internalType": "bytes"
      },
      {
        "name": "proofData",
        "type": "bytes",
        "internalType": "bytes"
      },
      {
        "name": "appExeCommit",
        "type": "bytes32",
        "internalType": "bytes32"
      },
      {
        "name": "appVmCommit",
        "type": "bytes32",
        "internalType": "bytes32"
      }
    ],
    "outputs": [],
    "stateMutability": "view"
  }
]

Structs

verifyCall

Function with signature verify(bytes,bytes,bytes32,bytes32) and selector 0x24270d54.

verifyReturn

Container type for the return parameters of the verify(bytes,bytes,bytes32,bytes32) function.

Enums

IOpenVmHalo2VerifierCalls

Container for all the IOpenVmHalo2Verifier function calls.