binius_core::protocols::sumcheck

Module zerocheck

Source

Structs§

ExtraProduct
ZerocheckClaim

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.