QED Proof
Start free
Menu

A verifier nobody can inspect is just another claim

Everything a QED Proof receipt's trust rests on is public, under the Apache-2.0 license. The spec's technical name is Proof of Agent Work (poaw/0.1). QED Proof has no token.

What's in it

The spec
poaw/0.1: the receipt format, its canonical bytes, a JSON Schema, and byte-identical test vectors checked in CI.
The verifiers
The read-only plugins that decide what happened at a destination. Deterministic: an LLM may extract a claim, never decide it.
The node
Claims in, receipts out: the verdict engine, Ed25519 signing, the append-only Merkle log and anchoring to Base.
The checker
Verifies a receipt's signature, log inclusion and on-chain anchor, against a public RPC, with nothing of ours in the path.

Run it yourself

One command gives you a working node that turns claims into receipts the public checker accepts. CI in both repositories proves that path on every change.

  • Your keys, your database, your anchoring wallet.
  • The same receipt format the hosted product issues.
  • A drift test keeps its schema identical to the hosted one.
Self-host
$ git clone https://github.com/Nuraveda-Labs/qed-proof-core
$ cd qed-proof-core
$ docker compose up
github.com/Nuraveda-Labs/qed-proof-coreRead the spec, run the checker, open an issue.