binius_core::constraint_system::validate

Function validate_witness

Source 
pub fn validate_witness<F, P>(
    constraint_system: &ConstraintSystem<F>,
    boundaries: &[Boundary<F>],
    table_sizes: &[usize],
    witness: &MultilinearExtensionIndex<'_, P>,
) -> Result<(), Error>
where
    P: PackedField<Scalar = F> + PackedExtension<BinaryField1b>,
    F: TowerField,