binius_core::protocols::sumcheck

Module verify_sumcheck

Source

Functionsยง

batch_verify
Verify a batched sumcheck protocol execution.
compute_expected_batch_composite_evaluation_single_claim
interpolate_round_proof