binius_core::protocols::sumcheck::prove::univariate

Function reduce_to_skipped_projection

source 
pub fn reduce_to_skipped_projection<F, P, M, Backend>(
    multilinears: Vec<M>,
    sumcheck_challenges: &[F],
    backend: &Backend,
) -> Result<Vec<MLEDirectAdapter<P>>, Error>
where
    F: Field,
    P: PackedFieldIndexable<Scalar = F>,
    M: MultilinearPoly<P> + Send + Sync,
    Backend: ComputationBackend,
Expand description

Helper method to reduce the witness to skipped variables via a partial high projection.