Function binius_core::protocols::sumcheck_v2::prove::oracles::constraint_set_zerocheck_prover
source · pub fn constraint_set_zerocheck_prover<'a, U, FW, FDomain, Backend>(
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, FW>, Backend>, Error>where
U: UnderlierType + PackScalar<FW> + PackScalar<FDomain>,
FW: ExtensionField<FDomain>,
FDomain: Field,
PackedType<U, FW>: PackedFieldIndexable,
Backend: ComputationBackend,
Expand description
Construct zerocheck prover from the constraint set. Fails when constraint set contains regular sumchecks.