mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +00:00
zeekay
c77b2cf672
Split the combined LP-220 (P3Q Corona + Magnetar) into one paper per concern: - LP-219 P3Q framework (slot 0x012205, kind-byte dispatch, P3QVerifier, composition) - LP-223 Pulsar (kind 0x01, rank-k Module-LWE / FIPS-204 ML-DSA-65) - LP-220 Corona (kind 0x02, Ring-LWE / two-round Corona) - LP-222 Magnetar (kind 0x03, hash-based / FIPS-205 SLH-DSA-192f) Each kind paper is lean and references LP-219; cross-kind refs became LP citations. Corona keeps the academic Corona citation as its basis.
64 lines
2.1 KiB
TeX
64 lines
2.1 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 Magnetar Kind:\\
|
|
Hash-Based 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 $0x03$ Magnetar}: a hash-based
|
|
threshold verifier over FIPS-205 SLH-DSA. 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 Magnetar's wire layout, its gas
|
|
calibration (\SI{30000}{gas}), and the production parameter-set
|
|
lock at SLH-DSA-192f 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). Magnetar reduces to the collision
|
|
resistance of the SHA-2 / SHA-3 family, independent of the lattice
|
|
assumptions underlying Pulsar (LP-223) and Corona (LP-220), and is
|
|
the cross-family backstop of the LP-217 PQ-heavy posture. GPU
|
|
dispatch is projected, not measured; the on-chain path reserves
|
|
Magnetar'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/05-magnetar-kind}
|
|
|
|
\bibliographystyle{plain}
|
|
\bibliography{biblio}
|
|
|
|
\end{document}
|