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<'_>, elf: &[u8]) -> Result<SessionInfo>

Execute the specified ELF binary.

impl Prover for ExternalProver

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

Prove zkVM execution starting from the specified ELF binary with the specified VerifierContext and ProverOpts.

fn get_name(&self) -> String

Return a name for this Prover.

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

Prove zkVM execution starting from the specified ELF binary.