Struct CudaShardProver 

pub struct CudaShardProver<GC, PC>
where
    GC: IopCtx,
    PC: CudaShardProverComponents<GC>,
{ /* private fields */ }

Implementations

impl<GC, PC> CudaShardProver<GC, PC>

where GC: IopCtx, PC: CudaShardProverComponents<GC>,

pub fn new( trace_buffers: Arc<WorkerQueue<PinnedBuffer<<GC as IopCtx>::F>>>, max_log_row_count: u32, basefold_prover: FriCudaProver<GC, <PC as CudaShardProverComponents<GC>>::P, <GC as IopCtx>::F>, machine: Machine<<GC as IopCtx>::F, <PC as CudaShardProverComponents<GC>>::Air>, max_trace_size: usize, backend: TaskScope, all_interactions: BTreeMap<String, Arc<Interactions<<GC as IopCtx>::F, TaskScope>>>, all_zerocheck_programs: BTreeMap<String, (Vec<u32>, Vec<Instruction16>, Vec<u32>, Vec<KoalaBear>, Vec<u32>, Vec<BinomialExtensionField<KoalaBear, 4>>, Vec<u32>, u32, u32)>, recompute_first_layer: bool, drop_ldes: bool, ) -> CudaShardProver<GC, PC>

impl<GC, PC> CudaShardProver<GC, PC>

where GC: IopCtx<F = KoalaBear, EF = BinomialExtensionField<KoalaBear, 4>>, PC: CudaShardProverComponents<GC>,

pub fn prove_trusted_evaluations( &self, eval_point: Point<BinomialExtensionField<KoalaBear, 4>>, evaluation_claims: Rounds<MleEval<BinomialExtensionField<KoalaBear, 4>, TaskScope>>, all_mles: &JaggedTraceMle<KoalaBear, TaskScope>, prover_data: Rounds<&JaggedProverData<GC, CudaStackedPcsProverData<GC>>>, challenger: &mut <GC as IopCtx>::Challenger, ) -> Result<JaggedPcsProof<GC, <<PC as CudaShardProverComponents<GC>>::C as MultilinearPcsVerifier<GC>>::Proof>, JaggedProverError<CudaShardProverError>>

where <GC as IopCtx>::Challenger: DeviceGrindingChallenger<Witness = <GC as IopCtx>::F> + FieldChallenger<<<GC as IopCtx>::Challenger as GrindingChallenger>::Witness>, StackedBasefoldProof<GC>: Into<<<PC as CudaShardProverComponents<GC>>::C as MultilinearPcsVerifier<GC>>::Proof>, TaskScope: BranchingProgramKernel<<GC as IopCtx>::F, <GC as IopCtx>::EF, <PC as CudaShardProverComponents<GC>>::DeviceChallenger>,

Prove trusted evaluations for a shard.

Trait Implementations

impl<GC, PC> AirProver<GC, ShardContextImpl<GC, <PC as CudaShardProverComponents<GC>>::C, <PC as CudaShardProverComponents<GC>>::Air>> for CudaShardProver<GC, PC>

where PC: CudaShardProverComponents<GC>, <GC as IopCtx>::Challenger: DeviceGrindingChallenger<Witness = <GC as IopCtx>::F> + FieldChallenger<<<GC as IopCtx>::Challenger as GrindingChallenger>::Witness>, GC: IopCtx<F = KoalaBear, EF = BinomialExtensionField<KoalaBear, 4>>, StackedBasefoldProof<GC>: Into<<<PC as CudaShardProverComponents<GC>>::C as MultilinearPcsVerifier<GC>>::Proof>, TaskScope: BranchingProgramKernel<<GC as IopCtx>::F, <GC as IopCtx>::EF, <PC as CudaShardProverComponents<GC>>::DeviceChallenger>,

async fn setup_from_vk( &self, program: Arc<<<PC as CudaShardProverComponents<GC>>::Air as MachineAir<<GC as IopCtx>::F>>::Program>, vk: Option<MachineVerifyingKey<GC>>, prover_permits: ProverSemaphore, ) -> (PreprocessedData<ProvingKey<GC, ShardContextImpl<GC, <PC as CudaShardProverComponents<GC>>::C, <PC as CudaShardProverComponents<GC>>::Air>, CudaShardProver<GC, PC>>>, MachineVerifyingKey<GC>)

Setup a shard, using a verifying key if provided.

async fn setup_and_prove_shard( &self, program: Arc<<<PC as CudaShardProverComponents<GC>>::Air as MachineAir<<GC as IopCtx>::F>>::Program>, record: <<PC as CudaShardProverComponents<GC>>::Air as MachineAir<<GC as IopCtx>::F>>::Record, vk: Option<MachineVerifyingKey<GC>>, prover_permits: ProverSemaphore, ) -> (MachineVerifyingKey<GC>, ShardProof<GC, <<PC as CudaShardProverComponents<GC>>::C as MultilinearPcsVerifier<GC>>::Proof>, ProverPermit)

Setup and prove a shard.

async fn prove_shard_with_pk( &self, pk: Arc<ProvingKey<GC, ShardContextImpl<GC, <PC as CudaShardProverComponents<GC>>::C, <PC as CudaShardProverComponents<GC>>::Air>, CudaShardProver<GC, PC>>>, record: <<PC as CudaShardProverComponents<GC>>::Air as MachineAir<<GC as IopCtx>::F>>::Record, prover_permits: ProverSemaphore, ) -> (ShardProof<GC, <<PC as CudaShardProverComponents<GC>>::C as MultilinearPcsVerifier<GC>>::Proof>, ProverPermit)

Prove a shard with a given proving key.

type PreprocessedData = Mutex<CudaShardProverData<GC, <PC as CudaShardProverComponents<GC>>::Air>>

The proving key type.

fn machine( &self, ) -> &Machine<<GC as IopCtx>::F, <PC as CudaShardProverComponents<GC>>::Air>

Get the machine.

async fn preprocessed_table_heights( pk: Arc<ProvingKey<GC, ShardContextImpl<GC, <PC as CudaShardProverComponents<GC>>::C, <PC as CudaShardProverComponents<GC>>::Air>, CudaShardProver<GC, PC>>>, ) -> BTreeMap<String, usize>

A function which deduces preprocessed table heights from the proving key.

fn all_chips(&self) -> &[Chip<<GC as IopCtx>::F, <SC as ShardContext<GC>>::Air>]

Get all the chips in the machine.

fn setup( &self, program: Arc<<<SC as ShardContext<GC>>::Air as MachineAir<<GC as IopCtx>::F>>::Program>, setup_permits: ProverSemaphore, ) -> impl Future<Output = (PreprocessedData<ProvingKey<GC, SC, Self>>, MachineVerifyingKey<GC>)> + Send

Setup from a program.

impl<GC, PC> Clone for CudaShardProver<GC, PC>

where GC: IopCtx, PC: CudaShardProverComponents<GC>,

fn clone(&self) -> CudaShardProver<GC, PC>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.