Module binius_core::protocols::sumcheck_v2::zerocheck
source · Structs§
Functions§
- Requirement: zerocheck challenges have been sampled before this is called
- Verify the validity of the sumcheck outputs for a reduced zerocheck.