ivc

Module verifier

Source

Functions§

verify

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