pub trait AggregationSubCircuit {
// Required methods
fn airs<SC: StarkProtocolConfig<F = F>>(&self) -> Vec<AirRef<SC>> ⓘ;
fn bus_inventory(&self) -> &BusInventory;
fn next_bus_idx(&self) -> BusIndex;
fn max_num_proofs(&self) -> usize;
}Required Methods§
fn airs<SC: StarkProtocolConfig<F = F>>(&self) -> Vec<AirRef<SC>> ⓘ
fn bus_inventory(&self) -> &BusInventory
fn next_bus_idx(&self) -> BusIndex
fn max_num_proofs(&self) -> usize
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.