binius_core::protocols::sumcheck_v2::prove::oracles

Function constraint_set_zerocheck_prover

source
pub fn constraint_set_zerocheck_prover<'a, U, FBase, FW, FDomain, Backend>(
    constraint_set_base: ConstraintSet<PackedType<U, FBase>>,
    constraint_set: ConstraintSet<PackedType<U, FW>>,
    witness: &MultilinearExtensionIndex<'a, U, FW>,
    evaluation_domain_factory: impl EvaluationDomainFactory<FDomain>,
    switchover_fn: impl Fn(usize) -> usize + Clone,
    zerocheck_challenges: &[FW],
    backend: Backend,
) -> Result<OracleZerocheckProver<'a, FDomain, PackedType<U, FBase>, PackedType<U, FW>, Backend>, Error>
where U: UnderlierType + PackScalar<FBase> + PackScalar<FW> + PackScalar<FDomain>, FBase: ExtensionField<FDomain>, FW: ExtensionField<FDomain> + ExtensionField<FBase>, FDomain: Field, PackedType<U, FW>: PackedFieldIndexable, Backend: ComputationBackend,
Expand description

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