mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +00:00
zooqueen
ed0d9cabdf
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.
29 lines
1.5 KiB
TeX
29 lines
1.5 KiB
TeX
\section{Introduction}
|
|
|
|
P3Q (LP-219) is the unified-slot post-quantum verifier framework at
|
|
EVM precompile slot \texttt{0x012205}: one slot, one ABI, and a
|
|
leading \texttt{kind} byte that dispatches into a per-kind
|
|
threshold-signature verifier core. This paper specifies
|
|
\emph{kind $0x03$ Magnetar}, the hash-based member of the P3Q family.
|
|
|
|
For the slot allocation, the kind-byte dispatch ABI, the
|
|
\texttt{P3QVerifier} Go interface that registers each kind, and the
|
|
cross-family composition into LP-217 cert profile modes, see LP-219.
|
|
The sibling kinds are specified in LP-223 (Pulsar / rank-$k$
|
|
Module-LWE) and LP-220 (Corona / Module-LWE).
|
|
|
|
Magnetar reduces to the collision resistance of the SHA-2 / SHA-3
|
|
family --- a non-lattice assumption that is independent of the
|
|
Module-LWE hardness its sibling kinds (Pulsar and Corona, both
|
|
Module-LWE) rest on, and the reason Magnetar is the cross-family
|
|
backstop of the LP-217 PQ-heavy posture. It is calibrated at \SI{30000}{gas}. Section~\ref{sec:magnetar-192f-lock}
|
|
documents the production parameter-set lock at SLH-DSA-192f, chosen
|
|
after the 2026-06-04 Quasar 4-scheme matrix bench measured 192s at
|
|
\SI{795}{ms}/sign vs 192f at \SI{36}{ms}/sign on Spark (a
|
|
$22\times$ reduction that restores the sub-\SI{1}{s} round budget).
|
|
Performance numbers are tagged \textbf{measured} or
|
|
\textbf{projected}; the on-chain path reserves Magnetar's dispatch
|
|
entry and returns \texttt{abiFalse} via
|
|
\texttt{ErrKindNotImplemented} until its threshold library lands,
|
|
and GPU dispatch is projected, not measured.
|