develop your program (guest code) compile it for the RISC Zero zkVM, and get its Image ID run the program inside the zkVM -- producing:a journal of public outputs, a seal that is the cryptographic proof bundle these into the receipt(journal & seal) share the receipt wherever needed verify by calling verify() with the expected Image ID outcome? anyone with the receipt can confirm the outputs (journal) come from an unaltered run of the code matching the known Image ID, without having to re-run the entire computation themselves