binius_core::protocols::evalcheck::subclaims

Function process_shifted_sumcheck

source
pub fn process_shifted_sumcheck<U, F, Backend>(
    oracles: &mut MultilinearOracleSet<F>,
    shifted: &Shifted<F>,
    eval_point: &[F],
    eval: F,
    witness_index: &mut MultilinearExtensionIndex<'_, U, F>,
    memoized_queries: &mut MemoizedQueries<PackedType<U, F>, Backend>,
    constraint_builders: &mut Vec<ConstraintSetBuilder<F>>,
    backend: &Backend,
) -> Result<(), Error>
Expand description

Creates bivariate witness and adds them to the witness index, and add bivariate sumcheck constraint to the ConstraintSetBuilder