Struct SelfInteractionFixture 

pub struct SelfInteractionFixture {
    pub widths: Vec<usize>,
    pub log_height: usize,
    pub bus_index: BusIndex,
}

Fields

widths: Vec<usize>

log_height: usize

bus_index: BusIndex

Implementations

impl SelfInteractionFixture

pub fn new(widths: Vec<usize>, log_height: usize, bus_index: BusIndex) -> Self

Constructs a new SelfInteractionFixture.

Trait Implementations

impl<SC: StarkProtocolConfig> TestFixture<SC> for SelfInteractionFixture

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

fn generate_proving_ctx(&self) -> ProvingContext<CpuColMajorBackend<SC>>

fn keygen<E: StarkEngine<SC = SC>>( &self, engine: &E, ) -> (MultiStarkProvingKey<SC>, MultiStarkVerifyingKey<SC>)

fn prove<E: StarkEngine<SC = SC>>( &self, engine: &E, pk: &MultiStarkProvingKey<SC>, ) -> Proof<SC>

fn prove_from_transcript<E: StarkEngine<SC = SC>>( &self, engine: &E, pk: &MultiStarkProvingKey<SC>, transcript: &mut E::TS, ) -> Proof<SC>

Prove using CPU tracegen and transport to device.

fn keygen_and_prove<E: StarkEngine<SC = SC>>( &self, engine: &E, ) -> (MultiStarkVerifyingKey<SC>, Proof<SC>)