Struct GpuEngine 

pub struct GpuEngine<HS: GpuHashScheme> { /* private fields */ }

Generic GPU proving engine parameterised by a hash scheme.

Use the BabyBearPoseidon2GpuEngine type alias for the default Poseidon2 engine.

Implementations

impl<HS: GpuHashScheme> GpuEngine<HS>

pub fn device_mut(&mut self) -> &mut GpuDevice

pub fn config_mut(&mut self) -> &mut HS::SC

impl<HS: GpuHashScheme> GpuEngine<HS>

pub fn new(params: SystemParams) -> Self

Trait Implementations

impl StarkEngine for GpuEngine<DefaultHashScheme>

type SC = BabyBearPoseidon2Config

type PB = GenericGpuBackend<BabyBearPoseidon2HashScheme>

type PD = GpuDevice

type TS = DuplexSpongeGpu

fn new(params: SystemParams) -> Self

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

fn config(&self) -> &Self::SC

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

fn proving_memory_config(&self) -> ProvingMemoryConfig

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

Creates transcript with a deterministic initial state.

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

fn params(&self) -> &SystemParams

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.