Function binius_core::protocols::evalcheck::subclaims::packed_sumcheck_meta

source ·

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

Expand description

Create oracles for the bivariate product of an inner oracle with the tower basis.

Projects to first log_degree() vars. Returns metadata object with oracle identifiers. Pass this object to:

projected_bivariate_claim to obtain sumcheck claim
packed_sumcheck_witness to obtain sumcheck witness