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>where
PackedType<U, F>: PackedFieldIndexable,
U: UnderlierType + PackScalar<F>,
F: TowerField,
Backend: ComputationBackend,
Expand description
Creates bivariate witness and adds them to the witness index, and add bivariate sumcheck constraint to the ConstraintSetBuilder