Module kimchi::verifier

This module implements zk-proof batch verifier functionality.

Structs

• Context

Functions

• batch_verify
  This function verifies the batch of zk-proofs proofs: vector of Plonk proofs RETURN: verification status
• verify
  Verify a proof ProverProof using a VerifierIndex and a group_map.

Type Aliases

• Result
  The result of a proof verification.