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

Function constraint_set_zerocheck_prover

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

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