zkVM Evaluator

Trustless evaluation for ERC-8183 Agentic Commerce jobs. The Client provides a verification program, the Evaluator runs it on the Provider's deliverable inside a zkVM, and the zkVM generates a mathematical proof that the program actually executed and produced the claimed result.

No trust in the evaluator needed. The proof is verifiable on-chain by anyone.

Tools

• zkvm_evaluate_job — Run verification program on deliverable, generate ZK proof, settle job on-chain
• zkvm_status — Check which zkVM backends are installed (SP1, RISC Zero, native)

How It Works

Client creates Job:
  - description: "Write an ERC-20 contract"
  - verification program: test_suite.elf → IPFS (QmXyz...)
  - evaluator: zkVM evaluator contract