circuits_lib::common::zkvm

Trait ZkvmGuest

Source 
pub trait ZkvmGuest {
    // Required methods
    fn read_from_host<T: BorshDeserialize>(&self) -> T;
    fn commit<T: BorshSerialize>(&self, item: &T);
    fn verify<T: BorshSerialize>(&self, method_id: [u32; 8], journal: &T);
}

Required Methods§

Source

fn read_from_host<T: BorshDeserialize>(&self) -> T

Source

fn commit<T: BorshSerialize>(&self, item: &T)

Source

fn verify<T: BorshSerialize>(&self, method_id: [u32; 8], journal: &T)

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.

Implementors§