binius_core::protocols::sumcheck::prove

Module oracles

Source

Structs§

SumcheckProversWithMetas

Functions§

constraint_set_sumcheck_prover
Construct regular sumcheck prover from the constraint set. Fails when constraint set contains zerochecks.
constraint_set_zerocheck_prover
Construct zerocheck prover from the constraint set. Fails when constraint set contains regular sumchecks.
constraint_sets_sumcheck_provers_metas
Constructs sumcheck provers and metas from the vector of ConstraintSet
split_constraint_set

Type Aliases§

OracleSumcheckProver
OracleZerocheckProver