Proof System Overview
In addition to the journal, a receipt makes a number of claims about the program execution. These claims are summarized in the ReceiptMetadata.
A Receipt can take two main forms:
- It can be represented by a collection of SegmentReceipts, each of which proves a single Segment. Collectively, the SegmentReceipts prove the validity of the full Session.
- It can also be represented by a single SuccinctReceipt, proving the validity of the entire session. Using recursive proving, any number of SegmentReceipts can be compressed into a single SuccinctReceipt.
About the zkVM
About RISC Zero
- All our public talks and podcasts are available on our YouTube channel.
- RISC Zero Study Club is intended to help make the technology underpinning RISC Zero more accessible. Past sessions include: