binius_core::protocols::sumcheck

Module verify

Source

Structs§

BatchVerifyStart
A struct describing the starting state of batched sumcheck verify invocation.

Functions§

batch_verify
Verify a batched sumcheck protocol execution.
batch_verify_with_start
Verify a batched sumcheck protocol execution, but after some rounds have been processed.
compute_expected_batch_composite_evaluation_single_claim
interpolate_round_proof