开发你的程序（访客代码） 为 RISC Zero zkVM 编译它，并获取其镜像 ID 在 zkVM 内运行程序 -- 生成：公共输出的日志，一个作为加密证明的印章 将这些打包成收据（日志和印章） 在需要的地方分享收据 通过调用 verify() 并使用预期的镜像 ID 进行验证 结果？ 任何拥有收据的人都可以确认输出（日志）来自于与已知镜像 ID 匹配的未更改代码的运行，而无需自己重新运行整个计算