Struct SimpleProver 

pub struct SimpleProver<GC: IopCtx, SC: ShardContext<GC>, C: AirProver<GC, SC>> { /* private fields */ }

A prover that proves traces sequentially using a single AirProver.

Prioritizes simplicity over performance - suitable for tests and development.

Implementations

impl<GC: IopCtx, SC: ShardContext<GC>, C: AirProver<GC, SC>> SimpleProver<GC, SC, C>

pub fn new(shard_verifier: ShardVerifier<GC, SC>, prover: C) -> Self

Create a new simple prover.

pub fn verify( &self, vk: &MachineVerifyingKey<GC>, proof: &MachineProof<GC, PcsProof<GC, SC>>, ) -> Result<(), MachineVerifierConfigError<GC, SC::Config>>

where GC::F: PrimeField32,

Verify a machine proof.

pub fn verifier(&self) -> &MachineVerifier<GC, SC>

Get the verifier.

pub fn challenger(&self) -> GC::Challenger

Get a new challenger.

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

Get the machine.

pub fn max_log_row_count(&self) -> usize

Get the maximum log row count.

pub fn log_stacking_height(&self) -> u32

Get the log stacking height.

pub fn shape_from_record( &self, record: &Record<GC, SC>, ) -> Option<CoreProofShape<GC::F, SC::Air>>

Given a record, compute the shape of the resulting shard proof.

pub async fn setup( &self, program: Arc<Program<GC, SC>>, ) -> (PreprocessedData<ProvingKey<GC, SC, C>>, MachineVerifyingKey<GC>)

Setup the prover for a given program.

pub async fn prove_shard( &self, pk: Arc<ProvingKey<GC, SC, C>>, record: Record<GC, SC>, ) -> ShardProof<GC, PcsProof<GC, SC>>

Prove a shard with a given proving key.

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

Setup and prove a shard in one call.

pub async fn preprocessed_table_heights( &self, pk: Arc<ProvingKey<GC, SC, C>>, ) -> BTreeMap<String, usize>

Get the preprocessed table heights from the proving key.