Struct risc0_zkvm::CompositeReceipt

pub struct CompositeReceipt {
    pub segments: Vec<SegmentReceipt>,
    pub assumptions: Vec<InnerReceipt>,
    pub journal_digest: Option<Digest>,
}

A receipt composed of one or more SegmentReceipt structs proving a single execution with continuations, and zero or more Receipt stucts proving any assumptions.

Fields

segments: Vec<SegmentReceipt>

Segment receipts forming the proof of a execution with continuations.

assumptions: Vec<InnerReceipt>

An ordered list of assumptions, either proven or unresolved, made within the continuation represented by the segment receipts. If any assumptions are unresolved, this receipt is only conditionally valid.

journal_digest: Option<Digest>

Digest of journal included in the final output of the continuation. Will be None if the continuation has no output (e.g. it ended in Fault).

Implementations

impl CompositeReceipt

pub fn verify_integrity_with_context( &self, ctx: &VerifierContext ) -> Result<(), VerificationError>

Verify the integrity of this receipt, ensuring the claim is attested to by the seal.

pub fn get_claim(&self) -> Result<ReceiptClaim, VerificationError>

Returns the ReceiptClaim for this CompositeReceipt.

Trait Implementations

impl Clone for CompositeReceipt

fn clone(&self) -> CompositeReceipt

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CompositeReceipt

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CompositeReceipt

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for CompositeReceipt

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

where __S: Serializer,

Serialize this value into the given Serde serializer.