Struct LightProver 

pub struct LightProver { /* private fields */ }

A lightweight blocking prover that only executes and verifies but does not generate proofs.

Implementations

impl LightProver

pub fn new() -> Self

Create a new light prover.

pub fn new_with_machine(machine: Machine<SP1Field, RiscvAir<SP1Field>>) -> Self

Create a new light prover with a given machine.

Trait Implementations

impl Clone for LightProver

fn clone(&self) -> LightProver

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for LightProver

fn default() -> Self

Returns the “default value” for a type.

impl Prover for LightProver

type ProvingKey = SP1ProvingKey

The proving key used for this prover type.

type Error = CPUProverError

The possible errors that can occur when proving.

type ProveRequest<'a> = LightProveRequest<'a>

The prove request builder.

fn inner(&self) -> &SP1NodeCore

The inner SP1NodeCore struct used by the prover.

fn prove<'a>( &'a self, pk: &'a Self::ProvingKey, stdin: SP1Stdin, ) -> Self::ProveRequest<'a>

Prove the given program on the given input in the given proof mode.

fn setup(&self, elf: Elf) -> Result<Self::ProvingKey, Self::Error>

Setup the prover with the given ELF.

fn version(&self) -> &str

The version of the current SP1 circuit.

fn execute(&self, elf: Elf, stdin: SP1Stdin) -> ExecuteRequest<'_, Self>

Execute the program on the given input.

fn verify( &self, proof: &SP1ProofWithPublicValues, vkey: &SP1VerifyingKey, status_code: Option<StatusCode>, ) -> Result<(), SP1VerificationError>

Verify the given proof.