binius_hal/sumcheck_multilinear.rs
1// Copyright 2024-2025 Irreducible Inc.
2
3use binius_field::PackedField;
4use binius_math::MultilinearPoly;
5
6/// An individual multilinear polynomial in a multivariate composite.
7#[derive(Debug, Clone)]
8pub enum SumcheckMultilinear<P, M>
9where
10 P: PackedField,
11 M: MultilinearPoly<P>,
12{
13 /// Small field multilinear - to be folded into large field at `switchover` round
14 Transparent {
15 multilinear: M,
16 switchover_round: usize,
17 },
18 /// Large field multilinear - halved in size each round
19 Folded { large_field_folded_evals: Vec<P> },
20}