Function shifted_sumcheck_meta

pub fn shifted_sumcheck_meta<F: TowerField>(
    oracles: &mut MultilinearOracleSet<F>,
    shifted: &Shifted<F>,
    eval_point: &[F],
    shift_ind_memo: Option<&mut MemoizedTransparentPolynomials<(usize, ShiftVariant, Vec<F>)>>,
) -> Result<ProjectedBivariateMeta, Error>

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

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

• projected_bivariate_claim to obtain sumcheck claim
• shifted_sumcheck_witness to obtain sumcheck witness