développez votre programme (code invité) compilez-le pour le RISC Zero zkVM, et obtenez son ID d'image exécutez le programme à l'intérieur du zkVM -- produisant : un journal des sorties publiques, un sceau qui est la preuve cryptographique regroupez ces éléments dans le reçu (journal et sceau) partagez le reçu où cela est nécessaire vérifiez en appelant verify() avec l'ID d'image attendu résultat ? quiconque possède le reçu peut confirmer que les sorties (journal) proviennent d'une exécution non altérée du code correspondant à l'ID d'image connu, sans avoir à réexécuter l'ensemble du calcul eux-mêmes.