Enum InnerReceipt

#[non_exhaustive]
pub enum InnerReceipt {
    Composite(CompositeReceipt),
    Succinct(SuccinctReceipt<ReceiptClaim>),
    Groth16(Groth16Receipt<ReceiptClaim>),
    Fake(FakeReceipt<ReceiptClaim>),
}

A lower level receipt, containing the cryptographic seal (i.e. zero-knowledge proof) and verification logic for a specific proof system and circuit. All inner receipt types are zero-knowledge proofs of execution for a RISC-V zkVM.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Composite(CompositeReceipt)

A non-succinct CompositeReceipt, made up of one inner receipt per segment.

Succinct(SuccinctReceipt<ReceiptClaim>)

A SuccinctReceipt, proving arbitrarily long zkVM computions with a single STARK.

Groth16(Groth16Receipt<ReceiptClaim>)

A Groth16Receipt, proving arbitrarily long zkVM computions with a single Groth16 SNARK.

Fake(FakeReceipt<ReceiptClaim>)

A FakeReceipt, with no cryptographic integrity, used only for development.

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 groth16( &self, ) -> Result<&Groth16Receipt<ReceiptClaim>, VerificationError>

Returns the InnerReceipt::Groth16 arm.

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

Returns the InnerReceipt::Succinct arm.

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

Extract the ReceiptClaim from this receipt.

pub fn verifier_parameters(&self) -> Digest

Return the digest of the verifier parameters struct for the appropriate receipt verifier.

pub fn seal_size(&self) -> usize

Total number of bytes used by the seals of this receipt.

Trait Implementations

impl BorshDeserialize for InnerReceipt

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 InnerReceipt

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

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 EnumExt for InnerReceipt

fn deserialize_variant<__R: Read>( reader: &mut __R, variant_tag: u8, ) -> Result<Self, Error>

Deserialises given variant of an enum from the reader.

impl From<InnerReceipt> for AssumptionReceipt

fn from(receipt: InnerReceipt) -> Self

Create a proven assumption from a InnerReceipt.

impl From<InnerReceipt> for InnerAssumptionReceipt

fn from(value: InnerReceipt) -> Self

Converts to this type from the input type.

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.