binius_core::protocols::sumcheck::prove

Module zerocheck

Source

Structs§

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

Functions§

validate_witness