binius_core::protocols::evalcheck::subclaims

Function projected_bivariate_claim

source 
pub fn projected_bivariate_claim<F: TowerField>(
    oracles: &MultilinearOracleSet<F>,
    meta: ProjectedBivariateMeta,
    eval: F,
) -> Result<SumcheckClaim<F>, Error>
Expand description

Take in projected bivariate metadata and produce a sumcheck claim.