binius_core::protocols::sumcheck::prove::oracles

Function constraint_set_zerocheck_prover

Source 
pub fn constraint_set_zerocheck_prover<'a, P, F, FBase, FDomain, Backend>(
    constraints: Vec<Constraint<P::Scalar>>,
    multilinears: Vec<MultilinearWitness<'a, P>>,
    evaluation_domain_factory: impl EvaluationDomainFactory<FDomain>,
    switchover_fn: impl Fn(usize) -> usize + Clone,
    zerocheck_challenges: &[P::Scalar],
    backend: &'a Backend,
) -> Result<OracleZerocheckProver<'a, P, FBase, FDomain, Backend>, Error>
where
    P: PackedFieldIndexable<Scalar = F> + PackedExtension<F, PackedSubfield = P> + PackedExtension<FDomain, PackedSubfield: PackedFieldIndexable> + PackedExtension<FBase, PackedSubfield: PackedFieldIndexable>,
    F: TowerField,
    FBase: TowerField + ExtensionField<FDomain> + TryFrom<P::Scalar>,
    FDomain: Field,
    Backend: ComputationBackend,
Expand description

Construct zerocheck prover from the constraint set. Fails when constraint set contains regular sumchecks.