binius_core::protocols::sumcheck::prove

Module zerocheck

Source

Structs§

UnivariateZerocheck
A prover that is capable of performing univariate skip.

Functions§

validate_witness