Struct risc0_zkvm::receipt::Receipt

pub struct Receipt {
    pub journal: Vec<u32>,
    pub seal: Vec<u32>,
}

The receipt serves as a zero-knowledge proof of computation.

Fields

journal: Vec<u32>

The journal contains the public outputs of the computation.

seal: Vec<u32>

The seal is an opaque cryptographic blob that attests to the integrity of the computation. It consists of merkle commitments and query data for an AIR-FRI STARK that includes a PLONK-based permutation argument.

Implementations

impl Receipt

pub fn new(journal: &[u32], seal: &[u32]) -> Self

pub fn verify<D>(&self, image_id: D) -> Result<()>where
    Digest: From<D>,

Verifies a receipt using CPU.

pub fn verify_with_hal<H, D>(&self, hal: &H, image_id: D) -> Result<()>where
    H: VerifyHal,
    Digest: From<D>,

Verifies a receipt using the hardware acceleration layer.

pub fn get_journal_bytes(&self) -> &[u8]

Extracts the journal from the receipt, as a series of bytes.

pub fn get_seal_bytes(&self) -> &[u8]

Extracts the seal from the receipt, as a series of bytes.

Trait Implementations

impl Clone for Receipt

fn clone(&self) -> Receipt

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Receipt

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Receipt

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'zeroio_deserialize> Deserialize<'zeroio_deserialize> for Receipt

type RefType = ReceiptRef<'zeroio_deserialize>

const FIXED_WORDS: usize = 4usize

fn deserialize_from(_buf: &'zeroio_deserialize [u32]) -> Self::RefType

fn from_ref(_val: &Self::RefType) -> Self

impl Serialize for Receipt

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

Serialize this value into the given Serde serializer.

impl Serialize for Receipt

const FIXED_WORDS: usize = 4usize

fn tot_len(&self) -> usize

fn fill(&self, _buf: &mut AllocBuf<'_>, _a: &mut Alloc<'_>) -> Result<()>