binius_core::protocols::evalcheck::subclaims

Function composite_sumcheck_meta

Source 
pub fn composite_sumcheck_meta<F: TowerField>(
    oracles: &mut MultilinearOracleSet<F>,
    eval_point: &[F],
) -> Result<ProjectedBivariateMeta, Error>