Tags: tsotchke/moonlab
Tags
Moonlab v0.2.1 -- CA-MPS + var-D + Z2 LGT + gauge warmstart
Headline release: the Clifford-Assisted MPS pipeline lands end-to-end.
- CA-MPS hybrid representation |psi> = D|phi> with 64x bond-dim
advantage + 13884x speedup vs plain MPS at n=12 on stabilizer
states.
- Variational-D ground-state search with four warmstart strategies
(IDENTITY, H_ALL, DUAL_TFIM, FERRO_TFIM, STABILIZER_SUBGROUP).
- First HEP application: 1+1D Z2 lattice gauge theory with exactly
gauge-invariant kinetic terms.
- Aaronson-Gottesman symplectic-Gauss-Jordan Clifford builder for
any abelian Pauli stabilizer subgroup -- generalises across LGT,
surface/toric/repetition codes, and arbitrary symmetry sectors.
- CA-PEPS 2D public API scaffold (gate logic in v0.3).
- Centralised moonlab_status_t registry.
- Five new symbols on the stable ABI surface, dlsym-pinned.
- Python bindings for var-D, gauge warmstart, Z2 LGT, status
stringifier.
90/90 short-tier ctest pass; 96/96 with long-tier including the
kagome 18-site ED cross-check.
See CHANGELOG.md for the full Added / Fixed / Tests / Docs split.
v0.2.0 -- Quantum source, quantum safe
First Moonlab release to unify a full-stack quantum simulator with
a full-stack post-quantum cryptography foundation in one library,
driven by the same Bell-verified quantum RNG.
Headline features:
- FIPS 202 SHA-3 / SHAKE: all NIST KATs pass byte-for-byte.
- FIPS 203 ML-KEM 512/768/1024: self-regression KAT + NIST-seeded
KAT via AES-256 SP 800-90A CTR_DRBG (bit-compatible with the
pq-crystals reference harness).
- moonlab_mlkemN_keygen_qrng / encaps_qrng: one-call quantum-
source -> quantum-safe KEM on the stable ABI.
- Native reverse-mode autograd with CRX/CRY/CRZ + VQE adjoint-
gradient integration.
- Error mitigation: ZNE + PEC.
- Real-space topology via MPO Chebyshev-KPM.
- Measurement / nonlocality completeness: POVM, weak-Z, quantum
mutual information, Mermin, Mermin-Klyshko.
- Device-independent QRNG primitives (Pironio + Toeplitz).
- Extended noise: composite, convex-mixture, correlated 2q Pauli.
Verification at this tag:
- 68/68 C ctests green; 126/126 Python pytest green.
- -Werror Release clean; ASAN + UBSAN clean on all new subsystems.
- Fresh-clone build verified.
- External consumer build verified through raw cc, CMake
find_package, and pkg-config against a prefix install.
See docs/release/v0.2.0-release-notes.md for the user-facing
narrative, CHANGELOG.md for per-subsystem detail, and
docs/security/pqc.md for the PQC threat model.