Module ivc::prover

Structs

• Proof
• ProofCommitments
• ProofEvaluations

Enums

• ProverError
  Errors that can arise when creating a proof

Functions

• prove

Type Definitions

• Fp
  Scalar field of the curve.
• Fq
  The base field of the curve Used to encode the polynomial commitments
• G
  The curve we commit into
• Pairing