Struct risc0_zkvm_host::Receipt
source · [−]pub struct Receipt { /* private fields */ }
Expand description
A record attesting to the correct execution of a ‘method’.
Consists of:
- journal: all data the method wants to publicly output and commit to.
- seal: the cryptographic blob which proves that the receipt is valid.
Implementations
sourceimpl Receipt
impl Receipt
sourcepub fn new(journal: &[u8], seal: &[u32]) -> Result<Self>
pub fn new(journal: &[u8], seal: &[u32]) -> Result<Self>
Construct a new Receipt from individual journal and seal parts.
sourcepub fn verify(&self, method_id: &[u8]) -> Result<()>
pub fn verify(&self, method_id: &[u8]) -> Result<()>
Verify that the current Receipt is a valid result of executing the method associated with the given method ID in a ZKVM.
sourcepub fn get_journal(&self) -> Result<&[u8]>
pub fn get_journal(&self) -> Result<&[u8]>
Provides access to the journal
of a Receipt.
Trait Implementations
sourceimpl<'de> Deserialize<'de> for Receipt
impl<'de> Deserialize<'de> for Receipt
sourcefn deserialize<D>(deserializer: D) -> Result<Self, D::Error> where
D: Deserializer<'de>,
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error> where
D: Deserializer<'de>,
Deserialize a receipt.
Auto Trait Implementations
impl RefUnwindSafe for Receipt
impl !Send for Receipt
impl !Sync for Receipt
impl Unpin for Receipt
impl UnwindSafe for Receipt
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more