binius_core::protocols::sumcheck

Function equal_n_vars_check

source
pub fn equal_n_vars_check<P, M>(multilinears: &[M]) -> Result<usize, Error>
where P: PackedField, M: MultilinearPoly<P>,
Expand description

Check that all multilinears in a slice are of the same size.