Function binius_core::protocols::sumcheck::prove

source ·

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.