ivc

Module prover

Source

Structs§

Proof
ProofCommitments
ProofEvaluations

Enums§

ProverError
Errors that can arise when creating a proof

Functions§

prove

Type Aliases§

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