zkVM Evaluator 用于 ERC-8183 Agentic Commerce 任务的去信任评估。客户端在创建任务时提供验证程序,评估者把提供方的交付物作为输入在 zkVM 中运行该程序,并由 zkVM 生成数学证明,证明程序确实执行并产生了所声称的结果;证明可在链上由任何人验证,无需信任评估者。
主要能力:zkvm_evaluate_job 在交付物上运行验证程序、生成 ZK 证明并在链上结算任务;zkvm_status 检查已安装的 zkVM 后端(SP1、RISC Zero、native)。工具会自动选择可用后端中最优者。
使用方式:验证程序是编译为 RISC-V 的 ELF 二进制,从 stdin 读取交付物,可从环境变量 ZKVM_JOB_DESCRIPTION、ZKVM_DELIVERABLE_HASH 读取可选上下文,将评估细节写到 stdout,退出码 0 表示通过、非 0 表示失败。调用 zkvm_evaluate_job 时传入 jobId、programRef(客户端验证程序的 IPFS 引用)和 deliverableRef(提供方交付物的 IPFS 引用)。
后端:SP1 支持 Groth16/PLONK 证明、速度最快,安装命令为 curl -L https://sp1.succinct.xyz | bash && sp1up;RISC Zero 支持 Groth16 证明、速度较快并提供 Bonsai 远程证明器,安装命令为 curl -L https://risczero.com/install | bash && rzup install;native 后端不生成证明、仅供开发且即时可用。
证明的公开输入包括验证程序的 SHA-256、交付物的 SHA-256 和退出码。证明保证特定程序在特定交付物上运行、退出码为真实产出且执行未被篡改;不披露交付物内容(仅哈希)和程序执行期间的内部状态。链上成本方面,Groth16 验证约 200k gas(Base L2 上约 $0.004),PLONK 约 300k gas(约 $0.006)。如需更强保障,可将 zkVM 评估器运行在 TEE 飞地内,以硬件加数学证明叠加。
限制:验证程序须为 RISC-V ELF 并遵循 stdin/stdout/退出码约定;未提供具体部署步骤、支持的链范围或价格细节。