Module ivc::verifier

Functions

• verify

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