binius_core::constraint_system::validate::nonzerocheck

Function validate_witness

Source 
pub fn validate_witness<F, P>(
    witness: &MultilinearExtensionIndex<'_, P>,
    oracles: &MultilinearOracleSet<P::Scalar>,
    oracle_ids: &[OracleId],
) -> Result<(), Error>
where
    P: PackedField<Scalar = F>,
    F: TowerField,