Struct Output 

pub struct Output {
    pub journal: MaybePruned<Vec<u8>>,
    pub assumptions: MaybePruned<Assumptions>,
}

Output field in the ReceiptClaim, committing to a claimed journal and assumptions list.

Fields

journal: MaybePruned<Vec<u8>>

The journal committed to by the guest execution.

assumptions: MaybePruned<Assumptions>

An ordered list of ReceiptClaim digests corresponding to the calls to env::verify and env::verify_integrity.

Verifying the integrity of a crate::Receipt corresponding to a ReceiptClaim with a non-empty assumptions list does not guarantee unconditionally any of the claims over the guest execution (i.e. if the assumptions list is non-empty, then the journal digest cannot be trusted to correspond to a genuine execution). The claims can be checked by additional verifying a crate::Receipt for every digest in the assumptions list.

Trait Implementations

impl BorshDeserialize for Output

fn deserialize_reader<__R: Read>(reader: &mut __R) -> Result<Self, Error>

fn deserialize(buf: &mut &[u8]) -> Result<Self, Error>

Deserializes this instance from a given slice of bytes. Updates the buffer to point at the remaining bytes.

fn try_from_slice(v: &[u8]) -> Result<Self, Error>

Deserialize this instance from a slice of bytes.

fn try_from_reader<R>(reader: &mut R) -> Result<Self, Error>

where R: Read,

impl BorshSerialize for Output

fn serialize<__W: Write>(&self, writer: &mut __W) -> Result<(), Error>

impl Clone for Output

fn clone(&self) -> Output

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Output

fn fmt(&self, __derive_more_f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Output

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Digestible for Output

fn digest<S: Sha256>(&self) -> Digest

Hash the Output to get a digest of the struct.

impl Serialize for Output

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.