Enum InnerAssumptionReceipt 

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

An enumeration of receipt types similar to InnerReceipt, but for use in AssumptionReceipt. Instead of proving only RISC-V execution with ReceiptClaim, this type can prove any claim implemented by one of its inner types.

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 and assumption.

Succinct(SuccinctReceipt<Unknown>)

A SuccinctReceipt, proving arbitrarily the claim with a single STARK.

Groth16(Groth16Receipt<Unknown>)

A Groth16Receipt, proving arbitrarily the claim with a single Groth16 SNARK.

Fake(FakeReceipt<Unknown>)

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

Implementations

impl InnerAssumptionReceipt

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 InnerAssumptionReceipt::Composite arm.

pub fn groth16(&self) -> Result<&Groth16Receipt<Unknown>, VerificationError>

Returns the InnerAssumptionReceipt::Groth16 arm.

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

Returns the InnerAssumptionReceipt::Succinct arm.

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

Extract the claim digest from this receipt.

Note that only the claim digest is available because the claim type may be unknown.

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 InnerAssumptionReceipt

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 InnerAssumptionReceipt

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

impl Clone for InnerAssumptionReceipt

fn clone(&self) -> InnerAssumptionReceipt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InnerAssumptionReceipt

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for InnerAssumptionReceipt

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl EnumExt for InnerAssumptionReceipt

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

Deserialises given variant of an enum from the reader.

impl<Claim> From<GenericReceipt<Claim>> for InnerAssumptionReceipt

where Claim: Digestible,

fn from(value: GenericReceipt<Claim>) -> Self

Converts to this type from the input type.

impl From<InnerAssumptionReceipt> for AssumptionReceipt

fn from(receipt: InnerAssumptionReceipt) -> Self

Create a proven assumption from a InnerAssumptionReceipt.

impl From<InnerReceipt> for InnerAssumptionReceipt

fn from(value: InnerReceipt) -> Self

Converts to this type from the input type.

impl Serialize for InnerAssumptionReceipt

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

where __S: Serializer,

Serialize this value into the given Serde serializer.