mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +00:00
zooqueen
12912be1b5
- canonical lux-corona-pq paper: rank-7 Module-LWE (A in R_q^{8x7}, q=48-bit), Module-SIS
- scrub residual Corona Ring-LWE/R-LWE labels across ethos-of-lux, pqsafe-il5,
lux-whitepaper, lux-quasar-composition, lp-020; Corona<->Pulsar = parameter regime,
both Module-LWE (not rank-1-vs-rank-k)
- LLM.md: drop stale 'Corona as rank-1' wobble note; align to code/Ringtail params
- rebuild affected PDFs
26 lines
1.3 KiB
TeX
26 lines
1.3 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 $0x02$ Corona}, the Module-LWE 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-222 (Magnetar / hash-based FIPS-205 SLH-DSA).
|
|
|
|
Corona reduces to the hardness of Module-LWE / ring-structured lattices
|
|
--- built on the two-round Corona threshold construction (eprint
|
|
2024/1113) --- which is independent of the Module-LWE and
|
|
hash-collision assumptions its sibling kinds rest on. It is the
|
|
Module-LWE parameter-diversity leg of the LP-217 PQ-strict posture and is
|
|
calibrated at \SI{5000000}{gas}, the cost cliff that buys
|
|
cross-family lattice diversity. Performance numbers are tagged
|
|
\textbf{measured} or \textbf{projected}; the on-chain path reserves
|
|
Corona's dispatch entry and returns \texttt{abiFalse} via
|
|
\texttt{ErrKindNotImplemented} until its threshold library lands,
|
|
and GPU dispatch is projected, not measured.
|