We publish first, then ship.
Every primitive in the Luna stack starts as a paper. We open-source the math, the reference implementation and the failure modes — then we harden it into a product. Below: the ten most recent transmissions from the lab.
Four programs.
Topological qubits at scale
Majorana-based logical qubits with measured T₁ > 400 µs and a path to surface-code-free error correction. Lead: Dr. M. Voronova.
Post-quantum cryptography
Lattice-based KEMs and signatures, side-channel resilience, and migration tooling for legacy PKI. Lead: Dr. K. Tønnesen.
Quantum sensing
NV-center magnetometry, optically pumped atomic clocks, and entanglement-enhanced gravimetry for field deployment. Lead: Dr. R. Iyer.
Hybrid compilers
Coherence-aware compilation, decoherence-budget IR, and runtime rebinding between classical and quantum backends. Lead: Dr. A. Sokolova.
Recent publications.
Braided Majorana arrays with sub-microsecond gate times on engineered nanowires
We demonstrate a 12-site Majorana zero-mode array with two-qubit gate times of 870 ns at 12.4 mK, opening a path to error-corrected logical qubits without surface-code overhead.
Side-channel-hardened ML-KEM on resource-constrained HSMs
A constant-time, masked implementation of ML-KEM-1024 that resists first-order DPA and EM side channels on commodity SE chips, with a 14% throughput penalty.
Field-deployable NV magnetometry for subsurface utility mapping
A ruggedized NV-center sensor head reaches 3 pT/√Hz sensitivity at 1 m standoff, deployed across a 14 km urban corridor in cooperation with a municipal utility.
Decoherence-budget IR: treating T₁ as a typed resource
We introduce a quantum intermediate representation where coherence is a linearly-typed resource, allowing the compiler to reject any program that cannot meet its budget on the target backend.
Migration patterns for classical PKI under FIPS 203
A taxonomy of deployment patterns observed across 14 enterprise migrations to ML-KEM/ML-DSA, including failure modes for hybrid handshakes and middlebox interaction.
Cryogenic interconnect fabric for million-qubit prospects
A passively cooled superconducting interconnect layer with 1.7 ps timing jitter across 1024 channels, enabling fan-out to logical qubit blocks without warm-side bottlenecks.
Optically pumped Cs clocks for sovereign timing fabric
A 19-inch rack-mount optically pumped Cs reference reaches 8 × 10⁻¹⁶ stability at 10⁴ s, suitable as a primary reference for national timing infrastructure.
Per-shot recompilation under noise drift
An online recompiler that adapts circuit layout per shot based on streaming noise telemetry, reducing logical error rate by 31% on a 64-qubit superconducting backend.
VOID-K: certified vacuum-state entropy at 1.2 Gb/s
A photonic QRNG architecture using vacuum-state homodyne detection, with continuous SP 800-90B health checks and a signed certificate-of-origin per output frame.
HALO-MESH: rotating-key overlay networks under adversarial drift
The protocol underpinning HALO-MESH, formalized as a labelled transition system, with a machine-checked proof of forward secrecy under 8 ms key rotation.
What we are currently stuck on.
Logical qubit pipelining
Hiding the magic-state distillation latency behind productive compute without doubling the qubit budget. Bounty: 25 BTC-equivalent for a working sketch.
Streaming circuit verification
Verifying compiled circuits against an IR-level spec at line rate, with formal guarantees rather than statistical sampling.
Embedded PQC under 8 KB RAM
A signature scheme strictly inside the NIST PQC envelope that fits on industrial controllers shipping in 2026–2028.