pub trait Circuit<SC: StarkProtocolConfig<F = F>> { // Required method fn airs(&self) -> Vec<AirRef<SC>> ⓘ; }