Struct FakeReceipt 

#[non_exhaustive]
pub struct FakeReceipt<Claim> {
    pub claim: MaybePruned<Claim>,
}

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.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

claim: MaybePruned<Claim>

Claim containing information about the computation that this receipt pretends to prove.

The standard claim type is ReceiptClaim, which represents a RISC-V zkVM execution.

Implementations

impl<Claim> FakeReceipt<Claim>

pub fn new(claim: impl Into<MaybePruned<Claim>>) -> Self

Create a new FakeReceipt for the given claim.

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

👎Deprecated: Use verify_integrity_with_context instead

Old verify function, always returns VerificationError::InvalidProof.

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

Pretend to verify the integrity of this receipt. If not in dev mode (see VerifierContext::with_dev_mode, or the RISC0_DEV_MODE environment variable) this will always reject. When in dev mode, this will always pass.

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

where Claim: Digestible,

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

Trait Implementations

impl<Claim> BorshDeserialize for FakeReceipt<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 FakeReceipt<Claim>

where Claim: BorshSerialize,

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

impl<Claim: Clone> Clone for FakeReceipt<Claim>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Claim> Debug for FakeReceipt<Claim>

where MaybePruned<Claim>: Debug,

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

Formats the value using the given formatter.

impl<'de, Claim> Deserialize<'de> for FakeReceipt<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> From<FakeReceipt<Claim>> for AssumptionReceipt

where Claim: Digestible,

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

Create a fake proven assumption from a FakeReceipt.

impl<Claim> From<FakeReceipt<Claim>> for GenericReceipt<Claim>

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

Converts to this type from the input type.

impl From<FakeReceipt<ReceiptClaim>> for InnerReceipt

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

Converts to this type from the input type.

impl<Claim> Serialize for FakeReceipt<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.

impl TryFrom<FakeReceipt<ReceiptClaim>> for Receipt

fn try_from( fake_receipt: FakeReceipt<ReceiptClaim>, ) -> Result<Self, Self::Error>

Try to create a Receipt from a FakeReceipt. In order to succeed, the jounal must be populated on the receipt claim (i.e. it cannot be pruned).

type Error = PrunedValueError

The type returned in the event of a conversion error.