mirror of
https://github.com/luxfi/proofs.git
synced 2026-10-30 15:21:05 +00:00
zeekay
c59b82e136
Magnetar.lean: top docstring 36→14 lines, inline /-- ... -/ docstrings tightened. All 9 axioms + 2 theorems preserved verbatim. CHRONOLOGY moved to legacy-md/.
585 B
585 B
Lux Proofs — Chronology
| Date | Event |
|---|---|
| 2025-12-25 | Quasar 3.0 chain activation (cert system live; see quasar-cert-soundness.tex) |
| 2026-02-14 | Quasar 4.0 / QuasarSTM 4.0 production activation (LP-135) |
Cross-references
quasar-cert-soundness.tex— Theorems 7.5–7.8 (Quasar 3.0 cert soundness)pq-finality-no-bls.tex— PQ-only finality variant
Future work
- M-Chain MPC ceremony composition
- Z-Chain Groth16 cert aggregation
- F-Chain TFHE bootstrap-key rotation
See MASTER-CHRONOLOGY.md for the unified Lux/Hanzo/Zoo/Pars timeline.