pub trait ZkvmHost {
// Required methods
fn write<T: BorshSerialize>(&self, value: &T);
fn add_assumption(&self, proof: Proof);
fn prove(&self, elf: &[u32]) -> Proof;
}Required Methods§
fn write<T: BorshSerialize>(&self, value: &T)
fn add_assumption(&self, proof: Proof)
fn prove(&self, elf: &[u32]) -> Proof
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.