Trait sov_rollup_interface::zk::ZkvmGuest

pub trait ZkvmGuest: Zkvm {
    // Required methods
    fn read_from_host<T: DeserializeOwned>(&self) -> T;
    fn commit<T: Serialize>(&self, item: &T);
}

A trait which is accessible from within a zkVM program.

Required Methods

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

Obtain “advice” non-deterministically from the host

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

Add a public output to the zkVM proof

Implementors