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
impl<T> Downcast for T where
T: Any,
impl<T> Downcast for T where
T: Any,
fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>
fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>
Convert Box<dyn Trait>
(where Trait: Downcast
) to Box<dyn Any>
. Box<dyn Any>
can
then be further downcast
into Box<ConcreteType>
where ConcreteType
implements Trait
. Read more
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>
Convert Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
. Read more
fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert &Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &Any
’s vtable from &Trait
’s. Read more
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert &mut Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &mut Any
’s vtable from &mut Trait
’s. Read more