Function binius_core::protocols::abstract_sumcheck::check_evaluation_domain

pub fn check_evaluation_domain<F: Field>(
    max_individual_degree: usize,
    domain: &EvaluationDomain<F>
) -> Result<(), Error>

Validate that evaluation domain starts with 0 & 1 and the size is exactly one greater than the maximum individual degree of the polynomial.