Skip to content
Hivemind Receipts Verifiable Agent Evidence
Open console
Local WebAssembly verifier

Verify a receipt.

Drop any Hivemind receipt file (.hvr) below. Your browser verifies the COSE signature, recomputes the RFC 9162 Merkle inclusion proof, and checks the witness cosignatures locally.

Drop a .hvr receipt file here
Runs 100% in your browser using pinned sample log trust roots by default.
Advanced: custom checkpoint and trust roots

Or try one of the sample receipts below:

No receipt loaded yet. Drop a .hvr file above or choose one of the sample receipts below the drop zone.

How this works

01

The receipt carries its own cryptographic proof.

Every .hvr file bundles the agent's COSE_Sign1 statement, the RFC 9162 Merkle inclusion path, and the witness cosignatures.

02

Your browser recomputes every hash locally.

The WebAssembly verifier checks the signature and rebuilds the Merkle root on your device. If a single byte in the protected header, payload, or signature was modified, the check fails and reports the exact region.

03

Clear evidence boundaries.

A verified receipt shows who signed the action, which policy evaluated it, its position in the log, and the counterparty confirmation level (W0 to W3). Witness nodes w0..w2 are operated by Hypereum; External witnesses: none yet.

Offline command-line verification

Verify from your terminal with hvr.

The browser verifier above runs the Rust WebAssembly build (hv_verify_bg.wasm) and the hvr CLI runs the TypeScript verifier build (src/receipts/core/verify.ts); each binds its own verifier_build_id and produces identical verdicts and check lists across all 13 conformance vectors.

# Verify a .hvr receipt offline using the hvr CLI
$hvr verify action.hvr --checkpoint checkpoint.note --trust roots.json