Struct PreprocessedFibFixture 

pub struct PreprocessedFibFixture {
    pub a: u64,
    pub b: u64,
    pub sels: Vec<bool>,
}

Fields

a: u64

b: u64

sels: Vec<bool>

Implementations

impl PreprocessedFibFixture

pub fn new(a: u64, b: u64, sels: Vec<bool>) -> Self

Constructs a new PreprocessedFibFixture.

Trait Implementations

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

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