Trait sov_rollup_interface::zk::ZkvmHost

source · 
pub trait ZkvmHost: Zkvm {
    type Guest: ZkvmGuest;

    // Required methods
    fn add_hint<T: Serialize>(&self, item: T);
    fn simulate_with_hints(&mut self) -> Self::Guest;
}
Expand description

A trait implemented by the prover (“host”) of a zkVM program.

Required Associated Types§

source

type Guest: ZkvmGuest

The associated guest type

Required Methods§

source

fn add_hint<T: Serialize>(&self, item: T)

Give the guest a piece of advice non-deterministically

source

fn simulate_with_hints(&mut self) -> Self::Guest

Simulate running the guest using the provided hints

Implementors§