Enum GenericReceipt 

#[non_exhaustive]
pub enum GenericReceipt<Claim> {
    Succinct(SuccinctReceipt<Claim>),
    Groth16(Groth16Receipt<Claim>),
    Fake(FakeReceipt<Claim>),
}

A receipt that can hold different types of cryptographic proofs for a given claim.

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.

Succinct(SuccinctReceipt<Claim>)

A SuccinctReceipt, proving the claim a STARK produced by the recursion VM.

Groth16(Groth16Receipt<Claim>)

A Groth16Receipt, proving the claim a Groth16 SNARK.

Fake(FakeReceipt<Claim>)

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

Implementations

impl<Claim> GenericReceipt<Claim>

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

where Claim: Digestible + Debug,

Verify the integrity of this receipt, ensuring the claim is attested to by the seal.

pub fn verify_integrity_with_context( &self, ctx: &VerifierContext, ) -> Result<(), VerificationError>

where Claim: Digestible + Debug,

Verify the integrity of this receipt, ensuring the claim is attested to by the seal.

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

Returns the InnerReceipt::Groth16 arm.

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

Returns the InnerReceipt::Succinct arm.

pub fn claim(&self) -> MaybePruned<Claim>

where Claim: Clone,

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.

pub fn into_unknown(self) -> GenericReceipt<Unknown>

where Claim: Digestible,

Prunes the claim, retaining its digest, and converts into a GenericReceipt with an unknown claim type. Can be used to get receipts of a uniform type across heterogeneous claims.

Trait Implementations

impl<Claim> BorshDeserialize for GenericReceipt<Claim>

where Claim: BorshDeserialize,

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<Claim> BorshSerialize for GenericReceipt<Claim>

where Claim: BorshSerialize,

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

impl<Claim: Clone> Clone for GenericReceipt<Claim>

fn clone(&self) -> GenericReceipt<Claim>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Claim> Debug for GenericReceipt<Claim>

where SuccinctReceipt<Claim>: Debug, Groth16Receipt<Claim>: Debug, FakeReceipt<Claim>: Debug,

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

Formats the value using the given formatter.

impl<'de, Claim> Deserialize<'de> for GenericReceipt<Claim>

where Claim: Deserialize<'de>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Claim> EnumExt for GenericReceipt<Claim>

where Claim: BorshDeserialize,

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<FakeReceipt<Claim>> for GenericReceipt<Claim>

fn from(receipt: FakeReceipt<Claim>) -> Self

Converts to this type from the input type.

impl<Claim> From<GenericReceipt<Claim>> for AssumptionReceipt

where Claim: Digestible,

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

Create a proven assumption from a GenericReceipt.

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<Claim> From<Groth16Receipt<Claim>> for GenericReceipt<Claim>

fn from(receipt: Groth16Receipt<Claim>) -> Self

Converts to this type from the input type.

impl<Claim> From<SuccinctReceipt<Claim>> for GenericReceipt<Claim>

fn from(receipt: SuccinctReceipt<Claim>) -> Self

Converts to this type from the input type.

impl<Claim> Serialize for GenericReceipt<Claim>

where Claim: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.