用途：RISC Zero 是基于 zk-STARKs 和 RISC-V 的零知识可验证计算平台。zkVM 可运行任意代码（Rust、C、C++），产出收据（journal 加 seal），任何人都能用程序的 image ID 验证，无需重新执行程序，也无需看到私有输入。适合协处理器、证明（attestation）和链上验证，例如通过 Groth16 验证合约在以太坊上验证。
主要能力：涵盖 zkVM 基本概念（guest、host、method、image ID、journal、receipt、seal）；guest 代码（入口宏、env 的读/写/commit、no_std）；host 代码（ExecutorEnv、prove、verify、journal 解码）；收据（结构、验证、journal、序列化、收据种类）。功能方面包括证明选项（dev-mode、本地、远程 Boundless、prove_with_opts）、预编译（加密预编译、打过补丁的 sha2、k256 等 crate）、证明组合（在 guest 内验证收据、assumptions、resolve）、递归（segment 到 lift 到 join 到 Groth16 及收据种类）以及以太坊集成（验证合约、Groth16、shrink-wrapping）。另有 guest 优化最佳实践（cycles、分页、预编译、性能剖析、对齐）和安全模型（组件、可靠性、ZK 注意事项、审计）。
使用方式与限制：资料未提供具体安装命令或代码示例；涉及的命令、API 名称与配置细节需以官方文档为准。该技能基于 RISC Zero 项目生成，具体版本、平台支持、性能与收费信息暂未提供。