Struct FibFixture 

pub struct FibFixture {
    pub a: u64,
    pub b: u64,
    pub n: usize,
    pub num_airs: usize,
    pub empty_air_indices: Vec<usize>,
}

Fields

a: u64

b: u64

n: usize

num_airs: usize

empty_air_indices: Vec<usize>

Implementations

impl FibFixture

pub fn new(a: u64, b: u64, n: usize) -> Self

pub fn new_with_num_airs(a: u64, b: u64, n: usize, num_airs: usize) -> Self

pub fn with_empty_air_indices( self, empty_air_indices: impl Into<Vec<usize>>, ) -> Self

Trait Implementations

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

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>)