binius_core::protocols::evalcheck::subclaims

Function process_packed_sumcheck

Source 
pub fn process_packed_sumcheck<U, F>(
    packed: &Packed<F>,
    meta: ProjectedBivariateMeta,
    eval_point: &[F],
    eval: F,
    witness_index: &mut MultilinearExtensionIndex<'_, U, F>,
    constraint_builders: &mut Vec<ConstraintSetBuilder<F>>,
    projected: MultilinearExtension<PackedType<U, F>>,
) -> Result<(), Error>
where
    U: UnderlierType + PackScalar<F>,
    F: TowerField,
Expand description

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