Skip to main content

verify

Reference​

Verification of a Noir proof

Usage: co-noir verify [OPTIONS]

Options:
      --hasher <HASHER>  The transcript hasher used for the proof [possible values: POSEIDON, KECCAK]
      --config <CONFIG>  The path to the config file
      --proof <PROOF>    The path to the proof file
      --vk <VK>          The path to the verification key file
      --crs <CRS>        The path to the verifier crs file
  -h, --help             Print help (see more with '--help')