Struct risc0_zkvm::ExternalProver

pub struct ExternalProver { /* private fields */ }

An implementation of a Prover that runs proof workloads via an external r0vm process.

Implementations

impl ExternalProver

pub fn new<P: AsRef<Path>>(name: &str, r0vm_path: P) -> Self

Construct an ExternalProver.

Trait Implementations

impl Executor for ExternalProver

fn execute( &self, env: ExecutorEnv<'_>, image: MemoryImage ) -> Result<SessionInfo>

Execute the specified MemoryImage.

fn execute_elf(&self, env: ExecutorEnv<'_>, elf: &[u8]) -> Result<SessionInfo>

Execute the specified ELF binary.

impl Prover for ExternalProver

fn prove( &self, env: ExecutorEnv<'_>, ctx: &VerifierContext, opts: &ProverOpts, image: MemoryImage ) -> Result<Receipt>

Prove the specified MemoryImage.

fn get_name(&self) -> String

Return a name for this Prover.

fn prove_elf(&self, env: ExecutorEnv<'_>, elf: &[u8]) -> Result<Receipt>

Prove the specified ELF binary.

fn prove_elf_with_ctx( &self, env: ExecutorEnv<'_>, ctx: &VerifierContext, elf: &[u8], opts: &ProverOpts ) -> Result<Receipt>

Prove the specified MemoryImage with the specified VerifierContext.