Enum risc0_zkvm::Assumption

pub enum Assumption {
    Proven(Receipt),
    Unresolved(MaybePruned<ReceiptClaim>),
}

An assumption attached to a guest execution as a result of calling env::verify or env::verify_integrity.

Variants

Proven(Receipt)

A Receipt for a proven assumption.

Upon proving, this receipt will be used as proof of the assumption that results from a call to env::verify, and the resulting receipt will be unconditional. As a result, Receipt::verify will return true and the verifier will accept the receipt.

Unresolved(MaybePruned<ReceiptClaim>)

ReceiptClaim digest for an assumption that is not directly proven to be true.

Proving an execution with an unresolved assumption will result in a conditional receipt. In order for the verifier to accept a conditional receipt, they must be given a Receipt proving the assumption, or explicitly accept the assumption without proof.

Implementations

impl Assumption

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

Returns the ReceiptClaim for this Assumption.

Trait Implementations

impl Clone for Assumption

fn clone(&self) -> Assumption

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Assumption

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Assumption

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<MaybePruned<ReceiptClaim>> for Assumption

fn from(claim: MaybePruned<ReceiptClaim>) -> Self

Create an unresolved assumption from a MaybePruned ReceiptClaim.

impl From<Receipt> for Assumption

fn from(receipt: Receipt) -> Self

Create a proven assumption from a Receipt.

impl From<ReceiptClaim> for Assumption

fn from(claim: ReceiptClaim) -> Self

Create an unresolved assumption from a ReceiptClaim.

impl Serialize for Assumption

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

where __S: Serializer,

Serialize this value into the given Serde serializer.