binius_core::constraint_system::validate

Function validate_virtual_oracle_witness

source 
pub fn validate_virtual_oracle_witness<U, F>(
    oracle: MultilinearPolyOracle<F>,
    witness: &MultilinearExtensionIndex<'_, U, F>,
) -> Result<(), Error>
where
    U: UnderlierType + PackScalar<F> + PackScalar<BinaryField1b>,
    F: TowerField,