Struct Receipt

pub struct Receipt { /* private fields */ }

A record attesting to the correct execution of a ‘method’.

Consists of:

• journal: all data the method wants to publicly output and commit to.
• seal: the cryptographic blob which proves that the receipt is valid.

Implementations

impl Receipt

pub fn new(journal: &[u8], seal: &[u32]) -> Result<Self>

Construct a new Receipt from individual journal and seal parts.

pub fn verify(&self, method_id: &[u8]) -> Result<()>

Verify that the current Receipt is a valid result of executing the method associated with the given method ID in a ZKVM.

pub fn get_seal(&self) -> Result<&[u32]>

Provides access to the seal of a Receipt.

pub fn get_journal(&self) -> Result<&[u8]>

Provides access to the journal of a Receipt.

pub fn get_journal_vec(&self) -> Result<Vec<u32>>

Provides access to the journal of a Receipt as a Vec<u32>.

Trait Implementations

impl<'de> Deserialize<'de> for Receipt

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize a receipt.

impl Drop for Receipt

fn drop(&mut self)

Executes the destructor for this type.

impl Serialize for Receipt

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Generate a serialized version of the whole receipt.