binius_core::protocols::evalcheck::subclaims

Function process_packed_sumcheck

Source 
pub fn process_packed_sumcheck<F, P>(
    oracles: &MultilinearOracleSet<F>,
    packed: &Packed,
    meta: &ProjectedBivariateMeta,
    eval_point: &[F],
    eval: F,
    witness_index: &mut MultilinearExtensionIndex<'_, P>,
    constraint_builders: &mut Vec<ConstraintSetBuilder<F>>,
    projected: Option<MultilinearExtension<P>>,
) -> Result<(), Error>
where
    P: PackedField<Scalar = F>,
    F: TowerField,
Expand description

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