Module halo2_backend::plonk::verifier

source ·
Expand description

Verify a plonk proof

Functions§

  • verify_proof
    Returns a boolean indicating whether or not the proof is valid. Verifies a single proof (not batched).
  • verify_proof_multi
    Returns a boolean indicating whether or not the proof is valid
  • verify_proof_with_strategy
    Process the proof, checks that the proof is valid and returns the Strategy output.