binius_core::protocols::sumcheck

Function equal_n_vars_check

Source 
pub fn equal_n_vars_check<'a, P, M>(
    multilinears: impl IntoIterator<Item = &'a M>,
) -> Result<usize, Error>
where
    P: PackedField,
    M: MultilinearPoly<P> + 'a,
Expand description

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