pub fn prove<F, PW, DomainField, CH, Backend>(
claim: &SumcheckClaim<F>,
witness: impl AbstractSumcheckWitness<PW, MultilinearId = OracleId>,
evaluation_domain_factory: impl EvaluationDomainFactory<DomainField>,
switchover_fn: impl Fn(usize) -> usize + 'static,
challenger: CH,
backend: Backend,
) -> Result<SumcheckProveOutput<F>, Error>where
F: Field,
DomainField: Field,
PW: PackedExtension<DomainField, Scalar: From<F> + Into<F> + ExtensionField<DomainField>>,
CH: CanSample<F> + CanObserve<F>,
Backend: ComputationBackend,
Expand description
Prove a sumcheck to evalcheck reduction.