phát triển chương trình của bạn (mã khách) biên dịch nó cho RISC Zero zkVM, và lấy ID hình ảnh của nó chạy chương trình bên trong zkVM -- tạo ra: một nhật ký các đầu ra công khai, một con dấu là bằng chứng mật mã gộp những thứ này vào biên lai (nhật ký & con dấu) chia sẻ biên lai ở bất cứ đâu cần thiết xác minh bằng cách gọi verify() với ID hình ảnh mong đợi kết quả? ai cũng có biên lai có thể xác nhận các đầu ra (nhật ký) đến từ một lần chạy không thay đổi của mã khớp với ID hình ảnh đã biết, mà không cần phải chạy lại toàn bộ phép tính.