Which layer simulates it, which layer mitigates it
Simulate and mitigate are different jobs and they land on different layers. This page maps each attack onto the stack, then shows how the whole thing is actually deployed — from a single laptop to a sovereign installation.
Eight attacks, three layers, two verbs
Where a cell is empty that is a finding, not an omission — it means that layer genuinely has nothing to contribute to that attack, and pretending otherwise would be the mistake.
| Attack | Origin PilotOS | Karsa Quantum OS | QryptOn | Net position |
|---|---|---|---|---|
| Harvest-now-decrypt-later | Batch orchestration of scenario sweeps across thousands of assets | Simulates. HNDL Batch & Vault Lab — portfolio exposure sweep plus synthetic harvest snapshot, live | Mitigates. Hybrid ML-KEM key exchange; scanner measures whether it is actually negotiated | Covered end to end |
| Shor — RSA factoring | Executes toy factorisations; supplies real backend constraints for estimation | Simulates. Demonstration and resource-estimation workflow, explicitly labelled | Mitigates. ML-KEM-768 replaces RSA key transport; ML-DSA-65 replaces RSA signatures | Covered |
| Shor — ECDLP | Same execution path; ECC circuits are smaller than RSA | Simulates. Must score ECDH assets distinctly — cheaper attack, higher urgency | Mitigates. Hybrid X25519 + ML-KEM-768 seal | ECC weighting still to refine |
| Grover | Search-circuit demonstrations at toy scale | Simulates. Correctly separates Grover from Shor in the risk model | Mitigates. AES-256 guidance; deliberately does not score symmetric crypto | Covered and correctly de-prioritised |
| QKD implementation attacks | Orchestrates the workload. Photonic integration exists; no QKD application in the control plane itself | Simulates. QKD Security Lab — per-pulse BB84-family Monte Carlo with four Eve strategies, live | Supplies the authenticated classical channel a real QKD link requires | Built — external validation pending |
| Downgrade / hybrid stripping | — | Should surface fallback posture as an inventory attribute | Detects. A real TLS 1.3 handshake offering only the hybrid group — negotiated, not declared | Covered by evidence classes |
| Trust anchor & code signing | — | Migration Optimizer carries PKI and signature-workflow assets | Reports signature algorithm availability; certificate-in-use analysis is roadmap | Partial — PKI depth to come |
| Crypto-agility failure | — | Inventory, CBOM and approval workflow are named in the architecture map | --fail-under N exits non-zero for CI — the scan becomes a gate, not a report |
Covered, if operationalised |
Scroll the table horizontally to see all columns.
HNDL: a complete pipeline, four of five stages built
A domain service behind the same control plane
Reuse the queueing and telemetry conventions; expose QKD-specific parameters and results. What must not happen is QKD being modelled as an ordinary chip-compute task.
Protocol profiles
- BB84 — baseline security model Live
- Decoy-state BB84 — multi-photon risk Live
- E91 — entanglement-based Live
- B92 — reduced-state comparison Live
- MDI-QKD — detector-attack countermeasure family Planned
Attack profiles
- Intercept–resend and basis guessing Live
- Photon-number splitting Live
- Detector blinding and faked state Live
- Dark counts and channel loss Live
- Time-shift, dead-time, loss discrimination Planned
Acceptance criteria
- Repeatability — seeded run reproduces sifted key and error rate exactly Pass
- Noise calibration — baseline follows the configured channel and detector model Pass
- Eve sensitivity — intercept–resend raises the error rate as predicted Pass
- Integration — submit → queue → run → evidence through the adapter Pass
What each layer may say, and what it may never say
A capability that is overclaimed is worth less than one scoped honestly, because the overclaim invalidates everything next to it. These are the rules we hold ourselves to.
Origin PilotOS may claim
- Multi-backend access, scheduling, hybrid lifecycle, compilation, monitoring, noise correction
- Reproducible batch execution with an auditable evidence trail
- Real superconducting execution on the Wukong estate
May never claim
- Cryptographic protection of enterprise traffic
- A native QKD or HNDL capability
- That photonic-compute support implies QKD hardware support
Karsa Quantum OS may claim
- Explainable exposure and migration-priority modelling under stated assumptions
- Protocol behaviour demonstration as parameters change
- Orchestration, batching, telemetry and evidence capture
- A prepared integration contract for a future photonic or QKD backend
May never claim
- "QKD implemented in software" as a production control
- A universal ~11% error threshold for every implementation
- That its exposure formula predicts a date
- That any displayed primitive protects real traffic
QryptOn may claim
- Deterministic, readable measurement of one host's TLS/SSH/runtime capability
- Hybrid X25519 + ML-KEM-768 encryption and ML-DSA-65 signing
- NIST known-answer vector conformance for the implemented algorithms
May never claim
- FIPS 140-3 validation or an external audit — neither has happened
- Organisational readiness from a single-host scan
- Forward secrecy in the seal
- Compliance with a standard that does not exist yet
One control plane, three security engines
The strongest architecture keeps the control plane generic and makes QKD, HNDL and PQC explicit domain services. That preserves backend portability and stops quantum-compute semantics being confused with cryptographic-protection semantics.
Three network zones
The same architecture, at four sizes
The contract does not change between these. That is the design property that makes a laptop demo and a sovereign installation the same system.
| Topology | What runs | Identity & secrets | Suitable for |
|---|---|---|---|
| T1 · Standalone | Browser only. A static file server, or open the file directly | None | Demonstration, training, offline review. No network dependency at all |
| T2 · Single-host lab | Adapter and simulator on one machine, one origin, one process to start | Localhost trust; no external credential | Development, contract verification, QKD and HNDL engine work. Where the security labs get built |
| T3 · Enterprise | Adapter and security workers behind a reverse proxy; control plane on its own host with databases; CPU pool for benchmarks | Enterprise SSO at the proxy; keys and tokens in a vault; HSM for any real key material | Production migration programmes: inventory, batch modelling, benchmark campaigns, evidence retention |
| T4 · Sovereign | Full T3, plus mirrored package repositories and an internal CA | National PKI, on-premises HSM, no third-party dependency in the data path | Government and critical infrastructure |
Scroll the table horizontally to see all columns.
Nine controls, and where each one lives
| Control | Layer | Requirement |
|---|---|---|
| Identity & authentication | Adapter | The prototype adapter is localhost-trusted with no authentication. Before any shared deployment: enterprise SSO at the proxy, per-user sessions, multi-user session handling. This is the top item on the "move beyond localhost" list. |
| Authorisation | Adapter | Console roles are display state today. They must become enforced scopes at the adapter, because the browser cannot be trusted to enforce its own permissions. |
| Secret handling | Adapter · workers | API keys and database credentials live in a vault and are injected at runtime. Never in browser storage, never in the static bundle, never in a repository. |
| Key protection | External | HSM, key vault and PKI stay outside the platform. Private keys must not be in the business database — enforced with network policy, not convention. |
| Workload isolation | Execution | PQC operations run in isolated classical workers using approved libraries. The web process performs no cryptography, so a web-tier compromise yields no key material. |
| Idempotency & retry | Adapter | Canonical job IDs with idempotent submission. Error codes must be classified: transport failures are retryable; "this circuit can never fit this topology" is not. Conflating them produces an infinite loop against an impossible task. |
| Evidence & audit | Adapter · control plane | Every security-relevant job keeps inputs, seed, backend, timestamps and outputs. The control plane already provides tiered persistence — use it rather than rebuilding it. |
| Safety labelling | Adapter · interface | Outputs carry their class — simulation, demonstration or resource estimate — through the API and into the interface. A label applied only at render time will eventually be lost in an export. |
| Egress control | Network | Zone A reaches only the adapter. Zone C accepts no inbound connection from Zone A. Licence verification is the one documented outbound exception and must be explicitly allowed. |
Scroll the table horizontally to see all columns.