Entwickeln Sie Ihr Programm (Gastcode) kompilieren Sie es für die RISC Zero zkVM und erhalten Sie die Image-ID führen Sie das Programm innerhalb der zkVM aus -- dabei entsteht: ein Protokoll öffentlicher Ausgaben, ein Siegel, das der kryptografische Nachweis ist bündeln Sie diese in den Beleg (Protokoll & Siegel) teilen Sie den Beleg überall dort, wo er benötigt wird verifizieren Sie, indem Sie verify() mit der erwarteten Image-ID aufrufen Ergebnis? Jeder mit dem Beleg kann bestätigen, dass die Ausgaben (Protokoll) von einem unveränderten Durchlauf des Codes stammen, der mit der bekannten Image-ID übereinstimmt, ohne die gesamte Berechnung selbst erneut ausführen zu müssen.