Struct CpuProver 

pub struct CpuProver { /* private fields */ }

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

Implementations

impl CpuProver

pub fn new() -> Self

Creates a new CpuProver.

pub fn mock() -> Self

Creates a new CpuProver in mock mode.

pub fn execute<'a>( &'a self, elf: &'a [u8], stdin: &SP1Stdin, ) -> CpuExecuteBuilder<'a>

Creates a new CpuExecuteBuilder for simulating the execution of a program on the CPU.

Details

The builder is used for both the crate::cpu::CpuProver and crate::CudaProver client types.

Example

use sp1_sdk::{include_elf, Prover, ProverClient, SP1Stdin};

let elf = &[1, 2, 3];
let stdin = SP1Stdin::new();

let client = ProverClient::builder().cpu().build();
let (public_values, execution_report) = client.execute(elf, &stdin).run().unwrap();

pub fn prove<'a>( &'a self, pk: &'a SP1ProvingKey, stdin: &SP1Stdin, ) -> CpuProveBuilder<'a>

Creates a new CpuProveBuilder for proving a program on the CPU.

Details

The builder is used for only the crate::cpu::CpuProver client type.

Example

use sp1_sdk::{include_elf, Prover, ProverClient, SP1Stdin};

let elf = &[1, 2, 3];
let stdin = SP1Stdin::new();

let client = ProverClient::builder().cpu().build();
let (pk, vk) = client.setup(elf);
let builder = client.prove(&pk, &stdin).core().run();

Trait Implementations

impl Default for CpuProver

fn default() -> Self

Returns the “default value” for a type.

impl Prover<CpuProverComponents> for CpuProver

fn setup(&self, elf: &[u8]) -> (SP1ProvingKey, SP1VerifyingKey)

Generate the proving and verifying keys for the given program.

fn inner(&self) -> &SP1Prover<CpuProverComponents>

The inner SP1Prover struct used by the prover.

fn prove( &self, pk: &SP1ProvingKey, stdin: &SP1Stdin, mode: SP1ProofMode, ) -> Result<SP1ProofWithPublicValues>

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

fn verify( &self, bundle: &SP1ProofWithPublicValues, vkey: &SP1VerifyingKey, ) -> Result<(), SP1VerificationError>

Verify that an SP1 proof is valid given its vkey and metadata. For Plonk proofs, verifies that the public inputs of the PlonkBn254 proof match the hash of the VK and the committed public values of the SP1ProofWithPublicValues.

fn version(&self) -> &str

The version of the current SP1 circuit.

fn execute( &self, elf: &[u8], stdin: &SP1Stdin, ) -> Result<(SP1PublicValues, ExecutionReport)>

Executes the program on the given input.