As of our v0.20 release, the zkVM supports verification of RISC Zero receipts inside the RISC Zero guest through a feature known as composition.
With this, multiple zkVM programs can be composed and produce a single receipt that verifies all computation done to reach the final result.

This session of study club will discuss how to use proof composition, how proof composition works behind the scenes, and what use cases this unlocks.

Presented by Victor Graf for RISC Zero's Study Club

RISC Zero
Docs: https://dev.risczero.com
GitHub: https://github.com/risc0/risc0
Discord:   / discord  
Twitter: @risczero

Study Club: https://dev.risczero.com/studyclub
Deck: https://docs.google.com/presentation/...