binius_core::protocols::sumcheck::prove

Module zerocheck

Source

Structs§

ZerocheckProverImpl
Small-field aware zerocheck prover.

Functions§

high_pad_small_multilinear
validate_witness