binius_core::constraint_system::validate

Function validate_virtual_oracle_witness

Source 
pub fn validate_virtual_oracle_witness<F, P>(
    oracle: MultilinearPolyOracle<F>,
    oracles: &MultilinearOracleSet<F>,
    witness: &MultilinearExtensionIndex<'_, P>,
) -> Result<(), Error>
where
    P: PackedField<Scalar = F>,
    F: TowerField,