ontwikkel je programma (gastcode) compileer het voor de RISC Zero zkVM en verkrijg de Image ID voer het programma uit binnen de zkVM -- produceer: een journaal van openbare uitkomsten, een zegel dat het cryptografische bewijs is bundel deze in de ontvangstbewijs (journaal & zegel) deel het ontvangstbewijs waar nodig verifieer door verify() aan te roepen met de verwachte Image ID uitkomst? iedereen met het ontvangstbewijs kan bevestigen dat de uitkomsten (journaal) komen van een onveranderde uitvoering van de code die overeenkomt met de bekende Image ID, zonder de hele berekening opnieuw te hoeven uitvoeren.