mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zooqueen
ac61e71667
Scrub residual Ring-LWE mislabels of the Corona/Pulsar threshold
signature family per canonical decision-b (source: ringtail/sign/config.go
M=8,N=7, q=0x1000000004A01).
- Corona = Module-LWE (Ringtail-derived parameter set, A in R_q^{8x7}),
not Ring-LWE / not "Module-LWE at rank 1".
- Pulsar = Module-LWE (ML-DSA-65, FIPS-204 byte-equal).
- Corona+Pulsar differ by parameter regime/codebase, NOT hardness family:
intra-lattice parameter/implementation diversity, NOT family-disjoint.
- True family-disjoint defense = Magnetar (hash, SLH-DSA) / HQC (codes).
Reframed the false Corona(R-LWE)-vs-Pulsar(M-LWE) family-independence
across lp-219/lp-220/lp-222/lp-223 (P3Q kinds), lux-quasar-composition
(profile hardness table + composition corollary/proof), lux-magnetar-pq,
and the superseded triple-proof/quasar drafts (anonymous lattice
threshold lane = Corona). Legitimate FHE/TFHE Ring-LWE, NTT citations,
and neutral "rank-1" lattice facts left intact. PDFs rebuilt.
14 lines
651 B
TeX
14 lines
651 B
TeX
\section{Threat Model}
|
|
|
|
|
|
We consider three classes of adversary:
|
|
|
|
\begin{itemize}[leftmargin=2em]
|
|
\item \textbf{Classical adversary}: Can corrupt up to $f < N/3$ validators. Cannot break BLS, ML-DSA, or Corona.
|
|
\item \textbf{Quantum adversary}: Has access to a cryptographically relevant quantum computer (CRQC). Can break BLS and ECDSA. Cannot break ML-DSA (NIST FIPS 204) or Corona (Module-LWE).
|
|
\item \textbf{Future adversary}: One of ML-DSA or Corona has an unforeseen mathematical weakness. The other, combined with BLS, still provides security.
|
|
\end{itemize}
|
|
|
|
Triple-proof finality is secure against all three adversary classes simultaneously.
|
|
|