Struct risc0_zkvm::SuccinctReceipt
source · pub struct SuccinctReceipt {
pub seal: Vec<u32>,
pub control_id: Digest,
pub claim: ReceiptClaim,
}
Expand description
A succinct receipt, produced via recursion, proving the execution of the zkVM.
Using recursion, a crate::CompositeReceipt can be compressed to form a SuccinctReceipt. In this way, a constant sized proof can be generated for arbitrarily long computations, and with an arbitrary number of segments linked via composition.
Fields§
§seal: Vec<u32>
The cryptographic seal of this receipt. This seal is a STARK proving an execution of the recursion circuit.
control_id: Digest
The control ID of this receipt, identifying the recursion program that was run (e.g. lift, join, or resolve).
claim: ReceiptClaim
ReceiptClaim containing information about the execution that this receipt proves.
Implementations§
source§impl SuccinctReceipt
impl SuccinctReceipt
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.
sourcepub fn verify_integrity_with_context(
&self,
ctx: &VerifierContext
) -> Result<(), VerificationError>
pub fn verify_integrity_with_context( &self, ctx: &VerifierContext ) -> Result<(), VerificationError>
Verify the integrity of this receipt, ensuring the claim is attested to by the seal.
sourcepub fn get_seal_bytes(&self) -> Vec<u8> ⓘ
pub fn get_seal_bytes(&self) -> Vec<u8> ⓘ
Return the seal for this receipt, as a vector of bytes.
Trait Implementations§
source§impl Clone for SuccinctReceipt
impl Clone for SuccinctReceipt
source§fn clone(&self) -> SuccinctReceipt
fn clone(&self) -> SuccinctReceipt
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read more