binius_core::protocols::sumcheck

Module zerocheck

Help

Structs§

Functions§

reduce_to_sumchecks
Requirement: zerocheck challenges have been sampled before this is called
verify_sumcheck_outputs
Verify the validity of the sumcheck outputs for a reduced zerocheck.