Transparency & Soundness Report

What verification establishes, the protocol, every stated assumption, and how to verify every pulse yourself.

What verification establishes Protocol Assumptions Verify it yourself

What verification establishes

Well-formed, signed, chained, and re-verifiable

Verification proves the ledger is well-formed, signed (Ed25519), chained (each pulse commits to the one before it), and that the audited outcomes violate the CHSH inequality on the stated hardware. Every pulse is independently re-verifiable by anyone holding only the public key — no trust in the operator required.

Protocol

Field	Value
Protocol	`qbeacon/v3`
Genesis	`6544eef49dd317fc97be0ee46355f4f40676e6dccd2be30762d3a8d31e236efd`
Public key	`MCowBQYDK2VwAyEAnTAxkfnLCEzysaa7bU5Vw02UfyPa0C2sVOgQYtHE6UQ=`
Pairs/pulse	`8192`
Challenge	`fiat-shamir`
Signature	`Ed25519`
Commitment	`RFC 6962 Merkle tree`

Assumptions carried by every pulse

These are signed into each pulse record, so they travel with the data.

no-signaling-between-stations

Bell soundness requires that neither station's outcome depends on the other's setting.

external-quantum-source:anu-qrng-relay

Quantum-optical entropy from the ANU quantum random number generator, fetched live and signed into each pulse.

iid-device

Certified entropy multiplies a per-pair bound by the pair count, which assumes the device has no memory across pairs.

fiat-shamir-random-oracle

The audit challenge is a hash of the commitment; sound in the random-oracle model.

grinding-budget-2^60

Bounds how many times a prover could resample its own audit challenge.

lwe-hardness

Pulse #2's CVQC/Mahadev proof rests on the hardness of the Learning With Errors problem.

measurement-independence

The measurement settings are independent of the hidden variables.

no-spacelike-separation

Recorded with each Bell pulse: both measurement stations are on one chip.

Verify it yourself

This standalone verifier needs nothing beyond this bundle and Python's standard library plus cryptography — download and run:

curl -s https://qbeacon.ca/historical/pubkey.pem -o pubkey.pem
curl -s https://qbeacon.ca/historical/pulses.jsonl -o pulses.jsonl
curl -s https://qbeacon.ca/historical/verify.py -o verify.py
python3 verify.py pulses.jsonl pubkey.pem 6544eef49dd317fc97be0ee46355f4f40676e6dccd2be30762d3a8d31e236efd

What this standalone tool checks for every pulse: signature, chain, commitment, and (for pulses #0 and #1) the full relay/CHSH recomputation. Pulse #2's CVQC proof is checked with the protocol's verifier-only key.

pulses.jsonl pubkey.pem verify.py MANIFEST.json