Module zerocheck

Structs

• UnivariateZerocheck
  A prover that is capable of performing univariate skip.
• ZerocheckProver
  A “regular” multilinear zerocheck prover.

Functions

• validate_witness