Module binius_core::protocols::sumcheck_v2::prove::oracles
source · Functions§
- Construct regular sumcheck prover from the constraint set. Fails when constraint set contains zerochecks.
- Construct zerocheck prover from the constraint set. Fails when constraint set contains regular sumchecks.