binius_core::protocols::evalcheck::subclaims

Function shifted_sumcheck_meta

source 
pub fn shifted_sumcheck_meta<F: TowerField>(
    oracles: &mut MultilinearOracleSet<F>,
    shifted: &Shifted<F>,
    eval_point: &[F],
) -> Result<ProjectedBivariateMeta, Error>
Expand description

Create oracles for the bivariate product of an inner oracle with shift indicator.

Projects to first block_size() vars.