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
69 lines
2.4 KiB
TeX
69 lines
2.4 KiB
TeX
\documentclass[11pt,a4paper]{article}
|
|
\usepackage{../shared/luxcover}
|
|
\usepackage[utf8]{inputenc}
|
|
\usepackage[T1]{fontenc}
|
|
\usepackage{amsmath,amssymb,amsfonts}
|
|
\usepackage{graphicx}
|
|
\usepackage{hyperref}
|
|
\usepackage{booktabs}
|
|
\usepackage{enumitem}
|
|
\usepackage{xcolor}
|
|
\usepackage{siunitx}
|
|
\usepackage{listings}
|
|
|
|
\hypersetup{colorlinks=true,linkcolor=black,citecolor=blue,urlcolor=blue}
|
|
|
|
\lstset{
|
|
basicstyle=\ttfamily\scriptsize,
|
|
breaklines=true,
|
|
frame=single,
|
|
showstringspaces=false,
|
|
}
|
|
|
|
\title{P3Q Corona Kind:\\
|
|
Module-LWE Threshold Verify on the Unified Precompile Slot}
|
|
\author{Lux Industries, Inc. \\
|
|
\texttt{[email protected]}}
|
|
\date{2026-06-03}
|
|
|
|
\begin{document}
|
|
\luxcoverpage
|
|
|
|
\begin{abstract}
|
|
LP-218 introduces P3Q at EVM slot \texttt{0x012205} as the
|
|
PQ-verifier family for rollup-batch authentication, specifying the
|
|
unified kind-byte dispatch ABI and the first verifier
|
|
kind~$0x01$ (Pulsar / FIPS-204 ML-DSA-65 threshold). This paper specifies \emph{kind $0x02$ Corona}: a Module-LWE
|
|
threshold verifier built on the two-round Corona construction
|
|
(eprint 2024/1113). The shared P3Q framework --- the unified slot,
|
|
the kind-byte dispatch ABI, and the \texttt{P3QVerifier}
|
|
registration interface --- is specified in LP-219; this paper
|
|
gives Corona's wire layout and its gas calibration
|
|
(\SI{5000000}{gas}). Corona reduces to Module-LWE / ring-structured
|
|
lattice hardness, independent of Pulsar's Module-LWE (LP-223) and
|
|
Magnetar's hash-collision (LP-222) assumptions, and is the
|
|
Module-LWE parameter-diversity leg of the LP-217 PQ-strict posture. We also
|
|
place Corona in the DEX rollup settlement pipeline: per-market fill
|
|
batches roll up to the Z-Chain and are verified on a two-rung ladder
|
|
--- a kind~$0x01$ ML-DSA-65 attestation rung (measured
|
|
$\sim$\num{4714} verifies/s) and a \texttt{starkfri} STARK/FRI
|
|
validity rung (LP-221, measured $\sim$\num{986}/s on a toy AIR) ---
|
|
with Corona as the optional Module-LWE second leg for value-bearing
|
|
markets and bundled $K\times V\times\text{markets}$ settlement. GPU
|
|
dispatch is projected, not measured; the on-chain path reserves
|
|
Corona's dispatch entry and returns \texttt{abiFalse} via
|
|
\texttt{ErrKindNotImplemented} until its threshold library lands.
|
|
\end{abstract}
|
|
|
|
\tableofcontents
|
|
\newpage
|
|
|
|
\input{sections/01-introduction}
|
|
\input{sections/04-corona-kind}
|
|
\input{sections/05-dex-rollup-settlement}
|
|
|
|
\bibliographystyle{plain}
|
|
\bibliography{biblio}
|
|
|
|
\end{document}
|