binius_core::protocols::sumcheck

Function small_field_embedding_degree_check

source 
pub fn small_field_embedding_degree_check<PBase, P, M>(
    multilinears: &[M],
) -> Result<(), Error>
where
    PBase: PackedField,
    P: PackedField<Scalar: ExtensionField<PBase::Scalar>>,
    M: MultilinearPoly<P>,
Expand description

Check that evaluations of all multilinears can actually be embedded in the scalar type of small field PBase.

Returns binary logarithm of the embedding degree.