Struct risc0_zkvm::CompactReceipt
source · pub struct CompactReceipt {
pub seal: Vec<u8>,
pub claim: ReceiptClaim,
}
Expand description
A receipt composed of a Groth16 over the BN_254 curve
Fields§
§seal: Vec<u8>
A Groth16 proof of a zkVM execution with the associated claim.
claim: ReceiptClaim
ReceiptClaim containing information about the execution that this receipt proves.
Implementations§
source§impl CompactReceipt
impl CompactReceipt
sourcepub fn verify_integrity(&self) -> Result<(), VerificationError>
pub fn verify_integrity(&self) -> Result<(), VerificationError>
Verify the integrity of this receipt, ensuring the claim is attested to by the seal.
Trait Implementations§
source§impl Clone for CompactReceipt
impl Clone for CompactReceipt
source§fn clone(&self) -> CompactReceipt
fn clone(&self) -> CompactReceipt
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for CompactReceipt
impl Debug for CompactReceipt
source§impl<'de> Deserialize<'de> for CompactReceipt
impl<'de> Deserialize<'de> for CompactReceipt
source§fn 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 this value from the given Serde deserializer. Read more
Auto Trait Implementations§
impl Freeze for CompactReceipt
impl RefUnwindSafe for CompactReceipt
impl Send for CompactReceipt
impl Sync for CompactReceipt
impl Unpin for CompactReceipt
impl UnwindSafe for CompactReceipt
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more