Circuit

Trait Circuit 

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

Required Methods§

Source

fn airs(&self) -> Vec<AirRef<SC>>

Implementations on Foreign Types§

Source§

impl<SC: StarkProtocolConfig<F = F>, C: Circuit<SC>> Circuit<SC> for Arc<C>

Source§

fn airs(&self) -> Vec<AirRef<SC>>

Implementors§

Source§

impl<SC: StarkProtocolConfig<F = F>, S: AggregationSubCircuit> Circuit<SC> for DeferralHookCircuit<S>

Source§

impl<SC: StarkProtocolConfig<F = F>, S: AggregationSubCircuit> Circuit<SC> for DeferralInnerCircuit<S>

Source§

impl<SC: StarkProtocolConfig<F = F>, S: AggregationSubCircuit> Circuit<SC> for InnerCircuit<S>

Source§

impl<SC: StarkProtocolConfig<F = F>, S: AggregationSubCircuit> Circuit<SC> for RootCircuit<S>