Kembangkan program Anda (kode tamu) mengkompilasinya untuk RISC Zero zkVM, dan mendapatkan ID Gambarnya jalankan program di dalam zkVM -- menghasilkan:jurnal keluaran publik, segel yang merupakan bukti kriptografi bundel ini ke dalam tanda terima (jurnal & segel) Bagikan tanda terima di mana pun diperlukan verifikasi dengan memanggil verify() dengan ID Gambar yang diharapkan hasil? siapa pun yang memiliki tanda terima dapat mengonfirmasi output (jurnal) berasal dari eksekusi kode yang tidak diubah yang cocok dengan ID Gambar yang diketahui, tanpa harus menjalankan ulang seluruh komputasi itu sendiri