Module oracles

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