Struct risc0_zkvm::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 Clone for Output

fn clone(&self) -> Output

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Output

fn fmt(&self, 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.