Struct CpuProver 

pub struct CpuProver { /* private fields */ }

A prover that uses the CPU to execute and prove programs.

Implementations

impl CpuProver

pub async fn new() -> Self

Creates a new CpuProver, using the default [LocalProverOpts].

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

Creates a new CpuProver, using the default [LocalProverOpts] and a given machine.

pub async fn new_with_opts(core_opts: Option<SP1CoreOpts>) -> Self

Creates a new CpuProver with optional custom [SP1CoreOpts].

pub async fn new_with_opts_and_machine( core_opts: Option<SP1CoreOpts>, machine: Machine<SP1Field, RiscvAir<SP1Field>>, ) -> Self

Creates a new CpuProver with optional custom [SP1CoreOpts] and a given machine.

Trait Implementations

impl Clone for CpuProver

fn clone(&self) -> CpuProver

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> ProveRequest<'a, CpuProver> for CpuProveBuilder<'a>

fn base(&mut self) -> &mut BaseProveRequest<'a, CpuProver>

Get the base request for the prover.

fn mode(self, mode: SP1ProofMode) -> Self

Set the proof mode to the given [SP1ProofKind].

fn compressed(self) -> Self

Set the proof kind to [SP1ProofKind::Compressed] mode.

fn plonk(self) -> Self

Set the proof mode to [SP1ProofKind::Plonk] mode.

fn groth16(self) -> Self

Set the proof mode to [SP1ProofKind::Groth16] mode.

fn core(self) -> Self

Set the proof kind to [SP1ProofKind::Core] mode.

fn cycle_limit(self, cycle_limit: u64) -> Self

Set the maximum number of cpu cycles to use for execution.

fn deferred_proof_verification(self, value: bool) -> Self

Whether to enable deferred proof verification in the executor.

fn expected_exit_code(self, code: StatusCode) -> Self

Set the expected exit code of the program.

fn with_proof_nonce(self, nonce: [u32; 4]) -> Self

Set the proof nonce for this execution.

impl Prover for CpuProver

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> = CpuProveBuilder<'a>

The prove request builder.

fn inner(&self) -> &SP1NodeCore

The inner [LocalProver] struct used by the prover.

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

Setup the prover with the given ELF.

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 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.