wai-quantum 0.3.24: fault-tolerant resource estimation, reproducible and signed #141

Merged

dcharlot merged 1 commit from wai-quantum-resource into main 2026-10-04 14:04:22 -04:00

Conversation 0 Commits 1 Files changed 15 +2108 -132

2026-10-02

Transaction Science

wai-quantum 0.3.24: fault-tolerant resource estimation, reproducible and signed ...

Every claim about a fault-tolerant machine (so many physical qubits, so much
time) is a resource estimate, and the arithmetic behind one is usually a
script run once. quantum_resource makes it a deterministic function of its
inputs.

- Logical layout and step count by parallel-synthesis sequential Pauli
  computation; rotation synthesis cost; error budget shared over the parts the
  program uses.
- Planar codes (surface on gate-based and measurement-based qubits, Floquet
  honeycomb) with distance chosen against the logical budget.
- T-state factories by exhaustive search over 15-to-1 unit type, physical or
  logical rounds, non-decreasing distances and binomially sized copy counts,
  choosing the smallest space-time volume; the code itself chosen the same way.
- The qubits-versus-time frontier.

It is held to the planar-ISA model's published tables (arXiv:2211.07629):
every distance and factory of the per-qubit factoring table, the distance,
factory count, qubits and runtime of all twelve factoring and chemistry
summary rows, and all twelve dynamics factory counts. Factoring on the
(ns, 1e-4) qubit: d = 13, 18 factories, 8,716,258 qubits, 17 h 43 min.
Mutating the model's unit costs, copy-count rule or code selection breaks
those tests.

Holding it to the tables also showed where the source's prose and numbers
disagree (a Toffoli count, two unit durations, a runtime unit), and one
printed factory that is not the minimum of its own model; each is documented
and settled by the tables.

quantum_resource_receipt seals an estimate over its whole job, to the bit,
and verify_computation re-runs it and demands every figure back. Receipts and
estimate output are byte-identical natively and under wasm32-wasip2, and
tests/bit_identity.rs pins the figures of twelve estimates on both.

CLI: wai-quantum estimate [factoring|chemistry|--qubits ...] [--qubit ...]
[--frontier] [--json] [--receipt]; verify accepts the receipt.

repro's sin/cos moved to a gated submodule so the estimator, which needs only
ln, builds alone without warnings.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

047e06b88d

• View at this point in history

2026-10-02 00:26:13 -04:00