Air is AirTraceVerifier.

crates/prover/src/core/air/mod.rs

@@ -21,7 +21,7 @@ pub use air_ext::{AirExt, AirProverExt};
 /// For instance, all interaction elements are assumed to be present in it.
 /// Therefore, an AIR is generated only after the initial trace commitment phase.
 // TODO(spapini): consider renaming this struct.
-pub trait Air {
+pub trait Air: AirTraceVerifier {
     fn components(&self) -> Vec<&dyn Component>;
 }
 

crates/prover/src/core/prover/mod.rs

@@ -2,7 +2,7 @@ use itertools::Itertools;
 use thiserror::Error;
 use tracing::{span, Level};
 
-use super::air::{AirProver, AirTraceVerifier, AirTraceWriter};
+use super::air::{AirProver, AirTraceWriter};
 use super::backend::Backend;
 use super::fields::secure_column::SECURE_EXTENSION_DEGREE;
 use super::fri::FriVerificationError;
@@ -202,7 +202,7 @@ pub fn prove<B: Backend + MerkleOps<MerkleHasher>>(
 
 pub fn verify(
     proof: StarkProof,
-    air: &(impl Air + AirTraceVerifier),
+    air: &impl Air,
     channel: &mut Channel,
 ) -> Result<(), VerificationError> {
     // Read trace commitment.