Struct BabyBearPoseidon2RefEngine 

pub struct BabyBearPoseidon2RefEngine<TS = DuplexSponge> { /* private fields */ }

Trait Implementations

impl<TS> StarkEngine for BabyBearPoseidon2RefEngine<TS>

where TS: FiatShamirTranscript<BabyBearPoseidon2Config> + From<Poseidon2BabyBear<WIDTH>>,

type SC = BabyBearPoseidon2Config

type PB = CpuColMajorBackend<BabyBearPoseidon2Config>

type PD = ReferenceDevice<BabyBearPoseidon2Config>

type TS = TS

fn new(params: SystemParams) -> Self

Constructor from only system parameters. In particular, the transcript and hasher must have a default configuration.

fn config(&self) -> &BabyBearPoseidon2Config

fn device(&self) -> &Self::PD

fn initial_transcript(&self) -> Self::TS

Creates transcript with a deterministic initial state.

fn prover_from_transcript( &self, transcript: TS, ) -> Coordinator<Self::SC, Self::PB, Self::PD, Self::TS>

fn params(&self) -> &SystemParams

fn proving_memory_config(&self) -> ProvingMemoryConfig

fn prover(&self) -> Coordinator<Self::SC, Self::PB, Self::PD, Self::TS>

fn keygen( &self, airs: &[Arc<dyn AnyAir<Self::SC>>], ) -> (MultiStarkProvingKey<Self::SC>, MultiStarkVerifyingKey<Self::SC>)

fn prove( &self, pk: &DeviceMultiStarkProvingKey<Self::PB>, ctx: ProvingContext<Self::PB>, ) -> Result<Proof<Self::SC>, <Self::PD as ProverDevice<Self::PB, Self::TS>>::Error>

fn verify( &self, vk: &MultiStarkVerifyingKey<Self::SC>, proof: &Proof<Self::SC>, ) -> Result<(), VerifierError<<Self::SC as StarkProtocolConfig>::EF>>

Verifies using a default instantiation of the Fiat-Shamir transcript.

fn debug( &self, airs: &[Arc<dyn AnyAir<Self::SC>>], ctx: &ProvingContext<Self::PB>, )

The indexing of AIR ID in ctx should be consistent with the order of airs. In particular, airs should correspond to the global proving key with all AIRs, including ones not present in the ctx.

fn run_test( &self, airs: Vec<Arc<dyn AnyAir<Self::SC>>>, ctxs: Vec<AirProvingContext<Self::PB>>, ) -> Result<VerificationData<Self::SC>, StarkTestError<<Self::PD as ProverDevice<Self::PB, Self::TS>>::Error, <Self::SC as StarkProtocolConfig>::EF>>

Runs a single end-to-end test for a given set of chips and traces partitions. This includes proving/verifying key generation, creating a proof, and verifying the proof.