sviluppa il tuo programma (codice ospite) compilalo per il RISC Zero zkVM e ottieni il suo ID immagine esegui il programma all'interno dello zkVM -- producendo: un diario di output pubblici, un sigillo che è la prova crittografica raggruppa questi nel ricevimento (diario e sigillo) condividi il ricevimento ovunque sia necessario verifica chiamando verify() con l'ID immagine atteso risultato? chiunque abbia il ricevimento può confermare che gli output (diario) provengono da un'esecuzione non alterata del codice corrispondente all'ID immagine noto, senza dover rieseguire l'intero calcolo da soli.