Function binius_core::protocols::evalcheck::subclaims::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.