Struct Prover

pub struct Prover { /* private fields */ }

The prover generates a Receipt by executing a given method in a ZKVM.

Implementations

impl Prover

pub fn new(elf_contents: &[u8], method_id: &[u8]) -> Result<Self>

Create a new Prover with the given method (specified via elf_contents) and an associated method ID (specified via method_id).

pub fn add_input(&mut self, slice: &[u32]) -> Result<()>

Provide private input data that is availble to guest-side method code to ‘read’.

pub fn get_output(&self) -> Result<&[u8]>

Provide access to private output data written by guest-side method code.

pub fn get_output_vec(&self) -> Result<Vec<u32>>

Provide access to private output data written to by guest-side method code.

This returns the data as a Vec<u32>.

pub fn run(&self) -> Result<Receipt>

Execute the ZKVM to produce a Receipt.

Trait Implementations

impl Drop for Prover

fn drop(&mut self)

Executes the destructor for this type.