binius_core::protocols::evalcheck::subclaims

Function process_packed_sumcheck

source 
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<PackedType<U, F>>>,
    backend: &Backend,
) -> Result<(), Error>
where
    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