Struct ShardProver 

pub struct ShardProver<GC: IopCtx, SC: ShardContext<GC>, C: MultilinearPcsProver<GC, PcsProof<GC, SC>>> { /* private fields */ }

A prover for the hypercube STARK, given a configuration. Wrapped in Arc for cheap cloning to enable spawn_blocking.

Implementations

impl<GC, Verifier, A, PcsComponents> ShardProver<GC, ShardContextImpl<GC, Verifier, A>, PcsComponents>

where GC: IopCtx, Verifier: MultilinearPcsVerifier<GC>, PcsComponents: DefaultJaggedProver<GC, Verifier>, A: ZerocheckAir<GC::F, GC::EF>,

pub fn new( verifier: ShardVerifier<GC, ShardContextImpl<GC, Verifier, A>>, ) -> Self

Create a new CPU prover.

impl<GC: IopCtx, SC: ShardContext<GC>, C: MultilinearPcsProver<GC, PcsProof<GC, SC>>> ShardProver<GC, SC, C>

pub fn from_components( trace_generator: DefaultTraceGenerator<GC::F, SC::Air, CpuBackend>, logup_gkr_prover: GkrProverImpl<GC, SC>, pcs_prover: JaggedProver<GC, PcsProof<GC, SC>, C>, ) -> Self

Create a new ShardProver from its components.

pub fn trace_generator( &self, ) -> &DefaultTraceGenerator<GC::F, SC::Air, CpuBackend>

Access the trace generator.

pub fn logup_gkr_prover(&self) -> &GkrProverImpl<GC, SC>

Access the logup GKR prover.

pub fn pcs_prover(&self) -> &JaggedProver<GC, PcsProof<GC, SC>, C>

Access the PCS prover.

impl<GC: IopCtx, SC: ShardContext<GC>, C: DefaultJaggedProver<GC, SC::Config>> ShardProver<GC, SC, C>

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

Get all the chips in the machine.

pub fn machine(&self) -> &Machine<GC::F, SC::Air>

Get the machine.

pub fn num_pv_elts(&self) -> usize

Get the number of public values in the machine.

pub fn max_log_row_count(&self) -> usize

Get the maximum log row count.

pub fn setup_from_preprocessed_data_and_traces( &self, pc_start: [GC::F; 3], initial_global_cumulative_sum: SepticDigest<GC::F>, preprocessed_traces: Traces<GC::F, CpuBackend>, enable_untrusted_programs: GC::F, ) -> (ShardProverData<GC, SC, C>, MachineVerifyingKey<GC>)

Setup from preprocessed data and traces.

pub async fn setup_with_initial_global_cumulative_sum( &self, program: Arc<Program<GC, SC>>, initial_global_cumulative_sum: SepticDigest<GC::F>, setup_permits: ProverSemaphore, ) -> (PreprocessedData<ProvingKey<GC, SC, Self>>, MachineVerifyingKey<GC>)

Setup from a program with a specific initial global cumulative sum.

pub fn prove_shard_with_data( &self, data: ShardData<GC, SC, C>, challenger: GC::Challenger, ) -> (ShardProof<GC, PcsProof<GC, SC>>, ProverPermit)

Generate a proof for a given execution record.

Trait Implementations

impl<GC: IopCtx, SC: ShardContext<GC>, C: DefaultJaggedProver<GC, SC::Config>> AirProver<GC, SC> for ShardProver<GC, SC, C>

async fn setup_from_vk( &self, program: Arc<Program<GC, SC>>, vk: Option<MachineVerifyingKey<GC>>, prover_permits: ProverSemaphore, ) -> (PreprocessedData<ProvingKey<GC, SC, Self>>, MachineVerifyingKey<GC>)

Setup a shard, using a verifying key if provided.

async fn setup_and_prove_shard( &self, program: Arc<Program<GC, SC>>, record: Record<GC, SC>, vk: Option<MachineVerifyingKey<GC>>, prover_permits: ProverSemaphore, ) -> (MachineVerifyingKey<GC>, ShardProof<GC, PcsProof<GC, SC>>, ProverPermit)

Setup and prove a shard.

async fn prove_shard_with_pk( &self, pk: Arc<ProvingKey<GC, SC, Self>>, record: Record<GC, SC>, prover_permits: ProverSemaphore, ) -> (ShardProof<GC, PcsProof<GC, SC>>, ProverPermit)

Prove a shard with a given proving key.

type PreprocessedData = ShardProverData<GC, SC, C>

The proving key type.

fn machine(&self) -> &Machine<GC::F, SC::Air>

Get the machine.

async fn preprocessed_table_heights( pk: Arc<ProvingKey<GC, SC, Self>>, ) -> BTreeMap<String, usize>

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

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

Get all the chips in the machine.

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

Setup from a program.

impl<GC: IopCtx, SC: ShardContext<GC>, C: MultilinearPcsProver<GC, PcsProof<GC, SC>>> Clone for ShardProver<GC, SC, C>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.