pub fn process_packed_sumcheck<U, F, Backend>(
oracles: &mut MultilinearOracleSet<F>,
packed: &Packed<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