binius_core::constraint_system::validate::nonzerocheck

Function validate_witness

source 
pub fn validate_witness<U, F>(
    witness: &MultilinearExtensionIndex<'_, U, F>,
    oracles: &MultilinearOracleSet<F>,
    oracle_ids: &[OracleId],
) -> Result<(), Error>
where
    U: UnderlierType + PackScalar<F>,
    F: TowerField,