Struct MockProver 

pub struct MockProver { /* private fields */ }

A mock prover that can be used for testing.

Implementations

impl MockProver

pub fn new() -> Self

Create a new mock prover.

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

Create a new mock prover with a given machine

Trait Implementations

impl Clone for MockProver

fn clone(&self) -> MockProver

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for MockProver

fn default() -> Self

Returns the “default value” for a type.

impl Prover for MockProver

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> = MockProveRequest<'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 verify( &self, proof: &SP1ProofWithPublicValues, vkey: &SP1VerifyingKey, _status_code: Option<StatusCode>, ) -> Result<(), SP1VerificationError>

Verify the given proof.

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.