Struct risc0_zkvm::ReceiptMetadata

pub struct ReceiptMetadata {
    pub pre: SystemState,
    pub post: SystemState,
    pub exit_code: ExitCode,
    pub input: Digest,
    pub output: Digest,
}

Data associated with a receipt which is used for both input and output of global state.

Fields

pre: SystemState

The SystemState of a segment just before execution has begun.

post: SystemState

The SystemState of a segment just after execution has completed.

exit_code: ExitCode

The exit code for a segment

input: Digest

A Digest of the input, from the viewpoint of the guest.

output: Digest

A Digest of the journal, from the viewpoint of the guest.

Implementations

impl ReceiptMetadata

pub fn decode(flat: &mut VecDeque<u32>) -> Result<Self, VerificationError>

Decode a crate::ReceiptMetadata from a list of u32’s

pub fn encode(&self, flat: &mut Vec<u32>) -> Result<(), VerificationError>

Encode a crate::ReceiptMetadata to a list of u32’s

pub fn digest(&self) -> Result<Digest, VerificationError>

Hash the crate::ReceiptMetadata to get a digest of the struct.

Trait Implementations

impl Clone for ReceiptMetadata

fn clone(&self) -> ReceiptMetadata

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ReceiptMetadata

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ReceiptMetadata

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ReceiptMetadata

fn eq(&self, other: &ReceiptMetadata) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ReceiptMetadata

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ReceiptMetadata