Struct BabyBearPoseidon2CpuEngine 

pub struct BabyBearPoseidon2CpuEngine<TS = CpuTranscript> { /* private fields */ }

Row-major CPU engine for BabyBear + Poseidon2.

Default transcript is CpuTranscript, which uses Plonky3’s DuplexChallenger for SIMD-optimized proof-of-work grinding (~4x faster on NEON, ~8x on AVX2).

Trait Implementations

impl<TS> StarkEngine for BabyBearPoseidon2CpuEngine<TS>

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

type SC = BabyBearPoseidon2Config

type PB = CpuBackend<BabyBearPoseidon2Config>

type PD = CpuDevice<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.