Struct risc0_zkvm::prove::ProverOpts

pub struct ProverOpts<'a> { /* private fields */ }

Options available to modify the prover’s behavior.

Implementations

impl<'a> ProverOpts<'a>

pub fn with_skip_seal(self, skip_seal: bool) -> Self

If true, skip generating the seal in receipt. This should only be used for testing. In this case, performace will be much better but we will not be able to cryptographically verify the execution.

pub fn with_skip_verify(self, skip_verify: bool) -> Self

If true, don’t verify the seal after creating it. This is useful if you wish to use a non-standard verifier for example.

pub fn with_sendrecv_callback( self, channel_id: u32, callback: impl Fn(u32, &[u8]) -> Vec<u8> + 'a + Sync ) -> Self

Add a callback handler for sendrecv ports, indexed by channel numbers. The guest can call these callbacks by invoking risc0_zkvm::guest::env::send_recv.

pub fn with_trace_callback( self, callback: impl FnMut(TraceEvent) -> Result<()> + 'a ) -> Self

Add a callback handler for raw trace messages.

Trait Implementations

impl<'a> Default for ProverOpts<'a>

fn default() -> ProverOpts<'a>

Returns the “default value” for a type.