Struct ReceiptClaim

pub struct ReceiptClaim {
    pub pre: MaybePruned<SystemState>,
    pub post: MaybePruned<SystemState>,
    pub exit_code: ExitCode,
    pub input: MaybePruned<Option<Input>>,
    pub output: MaybePruned<Option<Output>>,
}

Public claims about a zkVM guest execution, such as the journal committed to by the guest.

Also includes important information such as the exit code and the starting and ending system state (i.e. the state of memory). ReceiptClaim is a “Merkle-ized struct” supporting partial openings of the underlying fields from a hash commitment to the full structure. Also see MaybePruned.

Fields

pre: MaybePruned<SystemState>

The SystemState just before execution has begun.

post: MaybePruned<SystemState>

The SystemState just after execution has completed.

exit_code: ExitCode

The exit code for the execution.

input: MaybePruned<Option<Input>>

Input to the guest.

output: MaybePruned<Option<Output>>

Output of the guest, including the journal and assumptions set during execution.

Implementations

impl ReceiptClaim

pub fn ok( image_id: impl Into<Digest>, journal: impl Into<MaybePruned<Vec<u8>>>, ) -> ReceiptClaim

Construct a ReceiptClaim representing a zkVM execution that ended normally (i.e. Halted(0)) with the given image ID and journal.

pub fn paused( image_id: impl Into<Digest>, journal: impl Into<MaybePruned<Vec<u8>>>, ) -> ReceiptClaim

Construct a ReceiptClaim representing a zkVM execution that ended in a normal paused state (i.e. Paused(0)) with the given image ID and journal.

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

Decode a ReceiptClaim from a list of u32’s

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

Encode a ReceiptClaim to a list of u32’s

Trait Implementations

impl BorshDeserialize for ReceiptClaim

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 ReceiptClaim

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

impl Clone for ReceiptClaim

fn clone(&self) -> ReceiptClaim

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReceiptClaim

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ReceiptClaim

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Digestible for ReceiptClaim

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

Hash the ReceiptClaim to get a digest of the struct.

impl From<ReceiptClaim> for AssumptionReceipt

fn from(claim: ReceiptClaim) -> Self

Create an unresolved assumption from a ReceiptClaim.

The control root will be set to all zeroes, which means that the assumption must be resolved with the same control root at the conditional receipt (i.e. that this assumption is for the same version of zkVM as the receipt it is attached to).

impl Serialize for ReceiptClaim

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

where __S: Serializer,

Serialize this value into the given Serde serializer.