binius_core::protocols::gkr_gpa::gpa_sumcheck::verify

Function reduce_to_sumcheck

Source 
pub fn reduce_to_sumcheck<F: Field>(
    claims: &[GPASumcheckClaim<F>],
) -> Result<SumcheckClaim<F, IndexComposition<TrivariateProduct, 3>>, Error>