Lux Docs

The supermassive black hole at the center of the Lux post-quantum finality universe — pulls Pulsar (M-LWE) + Corona (R-LWE) + Magnetar (SLH-DSA) + BLS + Z-Chain Groth16 / P3Q into per-round finality certs. Defines QuasarCert wire format and Pulsar / Aurora / Polaris cert profiles.

Overview

Quasar is the supermassive black hole at the center of the Lux post-quantum finality universe. Every consensus event in every Lux primary-network chain is pulled into a per-round QuasarCert — a PQ-finality certificate composed from the underlying threshold primitives (Pulsar M-LWE, Corona R-LWE, Magnetar SLH-DSA), the classical BLS aggregate fast-path, and the Z-Chain Groth16 / P3Q on-chain verifier roll-up. Nothing escapes Quasar's event horizon without going through PQ finality.

Repo: github.com/luxfi/quasar
Role: Spec + profile registry + composition proofs
Not an implementation — the consensus-engine binding lives at luxfi/consensus/protocol/quasar/

Cert Profiles

Profile	Composition	Cert size (n=21)	Use case
Pulsar	BLS ‖ Pulsar	~3.5 KB	PQ floor — single PQ kernel, smallest cert
Aurora	BLS ‖ Pulsar ‖ Corona	~37 KB	Intra-lattice diversity — two lattice constructions per cert
Polaris	BLS ‖ Pulsar ‖ Corona ‖ Magnetar	~53 KB	Maximum-assurance cross-family — lattice + hash-based

Each cert profile is independently selectable per-chain via FinalitySchemeID in consensus/config/pq_mode.go.

Primitives

Primitive	Repo	Role	Pinned tag
Pulsar	`luxfi/pulsar`	Threshold ML-DSA-65 (M-LWE)	v1.0.9
Corona	`luxfi/corona`	Threshold R-LWE sibling	v0.4.0
Magnetar	`luxfi/magnetar`	Threshold SLH-DSA (research)	research
BLS	`luxfi/crypto/bls`	BLS12-381 aggregate classical fast-path	tracks crypto v1.19.x
Z-Chain Groth16	`luxfi/chains/quantumvm`	Per-validator MLDSA Groth16 roll-up	v1.2.3+

QuasarCert wire format

type QuasarCert struct {
    BLS        []byte  // BLS12-381 aggregate, 48 B classical fast path
    Pulsar     []byte  // Threshold ML-DSA-65 (always populated)
    Corona     []byte  // Threshold R-LWE (Aurora / Polaris)
    Magnetar   []byte  // Threshold SLH-DSA (Polaris only)
    MLDSAProof []byte  // Z-Chain Groth16, ~192 B
    Epoch      uint64
    Finality   time.Time
    Validators int
}

A valid cert MUST satisfy:

Every populated leg verifies under its primitive's verifier
The populated-leg set matches the profile selector exactly
Validators equals the validator-set size at Epoch
Domain separation enforced via context strings per leg

Full spec at luxfi/quasar/SPEC.md.

Naming canon

Profiles: Pulsar / Aurora / Polaris (no "Syzygy")
Primitives: Pulsar / Corona / Magnetar (no "Comet", no "Corona")

Cross-references

luxfi/quasar/SPEC.md — cert wire format
luxfi/quasar/PROFILES.md — profile registry
luxfi/quasar/PRIMITIVES.md — primitive registry
LP-020 — Quasar consensus LP
LP-105 — Lux stack lexicon

Lux Quasar