Enum risc0_zkvm::InnerReceipt

pub enum InnerReceipt {
    Composite(CompositeReceipt),
    Succinct(SuccinctReceipt),
    Compact(CompactReceipt),
    Fake {
        claim: ReceiptClaim,
    },
}

An inner receipt can take the form of a CompositeReceipt or a SuccinctReceipt.

Variants

Composite(CompositeReceipt)

A non-succinct CompositeReceipt.

Succinct(SuccinctReceipt)

The SuccinctReceipt.

Compact(CompactReceipt)

The CompactReceipt.

Fake

Fields

claim: ReceiptClaim

ReceiptClaim for this fake receipt.

A fake receipt for testing and development.

This receipt is not valid and will fail verification unless the environment variable RISC0_DEV_MODE is set to true, in which case a pass-through ‘verification’ will be performed, but it does not represent any meaningful attestation of receipt’s integrity.

This type solely exists to improve development experience, for further information about development-only mode see our dev-mode documentation.

Implementations

impl InnerReceipt

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 composite(&self) -> Result<&CompositeReceipt, VerificationError>

Returns the InnerReceipt::Composite arm.

pub fn compact(&self) -> Result<&CompactReceipt, VerificationError>

Returns the InnerReceipt::Compact arm.

pub fn succinct(&self) -> Result<&SuccinctReceipt, VerificationError>

Returns the InnerReceipt::Succinct arm.

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

Extract the ReceiptClaim from this receipt.

Trait Implementations

impl Clone for InnerReceipt

fn clone(&self) -> InnerReceipt

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for InnerReceipt

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for InnerReceipt

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for InnerReceipt

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

where __S: Serializer,

Serialize this value into the given Serde serializer.