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

Function constraint_set_zerocheck_prover

Source 
pub fn constraint_set_zerocheck_prover<'a, PBase, P, 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, PBase, P, FDomain, Backend>, Error>
where
    PBase: PackedFieldIndexable + PackedExtension<FDomain, PackedSubfield: PackedFieldIndexable>,
    P: PackedFieldIndexable + PackedExtension<FDomain> + RepackedExtension<PBase>,
    PBase::Scalar: TowerField + ExtensionField<FDomain> + TryFrom<P::Scalar>,
    P::Scalar: TowerField + ExtensionField<FDomain> + ExtensionField<PBase::Scalar>,
    FDomain: Field,
    Backend: ComputationBackend,
Expand description

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