Struct DevModeProver 

#[non_exhaustive]
pub struct DevModeProver { /* private fields */ }

Available on crate feature prove and non-target_os="zkvm" only.

An implementation of a ProverServer for development and testing purposes.

This DevModeProver does not produce an actual proof. Instead, the guest code is executed and a fake receipt is returned with accurate journal contents but no cryptographic information. Because the receipt is fake, a verifier can only “verify” this receipt if dev mode is turned on; verification will otherwise fail.

CONVENIENT, BUT NOT MEANT FOR PRODUCTION Dev mode supports rapid development by allowing the developer to quickly iterate on code without being forced to wait for proving to complete. However, it must not be used in production as it provides no security whatsoever.

How to enable and disable dev mode: Dev mode is only used when the environment variable RISC0_DEV_MODE is set. It can be fully disabled at compile time, regardless of environment variables, by setting the feature flag disable-dev-mode on the risc0_zkvm crate.

Implementations

impl DevModeProver

pub fn new() -> Self

Create a DevModeProver without delay.

pub fn with_delay(delay: DevModeDelay) -> Self

Create a DevModeProver with simulated delay.

Trait Implementations

impl Default for DevModeProver

fn default() -> Self

Returns the “default value” for a type.

impl ProverServer for DevModeProver

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

Prove the specified ELF binary using the specified VerifierContext.

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

Prove the specified ELF binary.

fn prove_session( &self, ctx: &VerifierContext, session: &Session, ) -> Result<ProveInfo>

Prove the specified Session.

fn segment_preflight(&self, segment: &Segment) -> Result<PreflightResults>

Run preflight on the specified Segment.

fn prove_segment_core( &self, ctx: &VerifierContext, preflight_results: PreflightResults, ) -> Result<SegmentReceipt>

Prove the specified Segment which has had preflight run on it.

fn prove_keccak( &self, _request: &ProveKeccakRequest, ) -> Result<SuccinctReceipt<Unknown>>

Prove the specified keccak request

fn lift( &self, _receipt: &SegmentReceipt, ) -> Result<SuccinctReceipt<ReceiptClaim>>

Lift a SegmentReceipt into a SuccinctReceipt

fn lift_povw( &self, _receipt: &SegmentReceipt, ) -> Result<SuccinctReceipt<WorkClaim<ReceiptClaim>>>

Lift a SegmentReceipt into a SuccinctReceipt with a proof of verifiable work (PoVW) claim.

fn join( &self, _a: &SuccinctReceipt<ReceiptClaim>, _b: &SuccinctReceipt<ReceiptClaim>, ) -> Result<SuccinctReceipt<ReceiptClaim>>

Join two SuccinctReceipt into a SuccinctReceipt

fn join_povw( &self, _a: &SuccinctReceipt<WorkClaim<ReceiptClaim>>, _b: &SuccinctReceipt<WorkClaim<ReceiptClaim>>, ) -> Result<SuccinctReceipt<WorkClaim<ReceiptClaim>>>

Join two SuccinctReceipt with proof of verifiable work (PoVW) claims into a SuccinctReceipt a PoVW claim.

fn join_unwrap_povw( &self, _a: &SuccinctReceipt<WorkClaim<ReceiptClaim>>, _b: &SuccinctReceipt<WorkClaim<ReceiptClaim>>, ) -> Result<SuccinctReceipt<ReceiptClaim>>

Join two SuccinctReceipt with proof of verifiable work (PoVW) claims into a SuccinctReceipt, and unwrap the result (see ProverServer::unwrap_povw).

fn resolve( &self, _conditional: &SuccinctReceipt<ReceiptClaim>, _assumption: &SuccinctReceipt<Unknown>, ) -> Result<SuccinctReceipt<ReceiptClaim>>

Resolve an assumption from a conditional SuccinctReceipt by providing a SuccinctReceipt proving the validity of the assumption.

fn resolve_povw( &self, _conditional: &SuccinctReceipt<WorkClaim<ReceiptClaim>>, _assumption: &SuccinctReceipt<Unknown>, ) -> Result<SuccinctReceipt<WorkClaim<ReceiptClaim>>>

Resolve an assumption from a conditional SuccinctReceipt with a proof of verifiable work (PoVW) claim by providing a SuccinctReceipt proving the validity of the assumption.

fn resolve_unwrap_povw( &self, _conditional: &SuccinctReceipt<WorkClaim<ReceiptClaim>>, _assumption: &SuccinctReceipt<Unknown>, ) -> Result<SuccinctReceipt<ReceiptClaim>>

Resolve an assumption from a conditional SuccinctReceipt with a proof of verifiable work (PoVW) claim by providing a SuccinctReceipt proving the validity of the assumption, and unwrap the result (see ProverServer::unwrap_povw).

fn union( &self, _a: &SuccinctReceipt<Unknown>, _b: &SuccinctReceipt<Unknown>, ) -> Result<SuccinctReceipt<UnionClaim>>

Unite two SuccinctReceipt into a SuccinctReceipt

fn unwrap_povw( &self, _a: &SuccinctReceipt<WorkClaim<ReceiptClaim>>, ) -> Result<SuccinctReceipt<ReceiptClaim>>

Remove the proof of verifiable work (PoVW) information from a SuccinctReceipt to produce a SuccinctReceipt over the underlying claim.

fn identity_p254( &self, _a: &SuccinctReceipt<ReceiptClaim>, ) -> Result<SuccinctReceipt<ReceiptClaim>>

Convert a SuccinctReceipt with a Poseidon hash function that uses a 254-bit field

fn compress(&self, opts: &ProverOpts, receipt: &Receipt) -> Result<Receipt>

Compress a receipt into one with a smaller representation.

fn prove_segment( &self, ctx: &VerifierContext, segment: &Segment, ) -> Result<SegmentReceipt>

Prove the specified Segment.

fn composite_to_succinct( &self, receipt: &CompositeReceipt, ) -> Result<SuccinctReceipt<ReceiptClaim>>

Compress a CompositeReceipt into a single SuccinctReceipt.

fn composite_to_succinct_povw( &self, receipt: &CompositeReceipt, ) -> Result<SuccinctReceipt<WorkClaim<ReceiptClaim>>>

Convert a composite receipt to a succinct work claim receipt.

fn succinct_to_groth16( &self, receipt: &SuccinctReceipt<ReceiptClaim>, ) -> Result<Groth16Receipt<ReceiptClaim>>

Compress a SuccinctReceipt into a Groth16Receipt.