mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +00:00
zeekay
ced35b03ed
Quasar Horizon (consensus composition over Pulsar / ML-DSA / BLS lanes
under Prism + LSS lifecycle), Warp 2.0 (Pulse-backed cross-chain envelope
with forward-only v1->v2 migration and lattigo ReadUint64Slice DoS fix),
benchmark report (microbench, reshare, activation, Warp 2.0 verify, Prism
composition, GPU headroom, cross-WAN latency), and NIST IR 8214C-style
submission package (spec, parameter sets, domain separation, serialization,
reference-impl pointers, evaluation report, security analysis, side-channel
considerations).
All four deliverables compile cleanly via pdflatex+bibtex and reference
the canonical proof bucket files at proofs/{definitions,pulsar,lss,quasar}.
No duplication of proof bodies; cite by file path.
80 lines
4.0 KiB
TeX
80 lines
4.0 KiB
TeX
\documentclass[11pt,a4paper]{article}
|
|
\usepackage{../shared/luxcover}
|
|
\usepackage[utf8]{inputenc}
|
|
\usepackage[T1]{fontenc}
|
|
\usepackage{amsmath,amssymb,amsfonts,amsthm}
|
|
\usepackage{graphicx}
|
|
\usepackage{hyperref}
|
|
\usepackage{booktabs}
|
|
\usepackage{algorithm}
|
|
\usepackage{algpseudocode}
|
|
\usepackage{listings}
|
|
\usepackage{xcolor}
|
|
\usepackage{tikz}
|
|
\usepackage{float}
|
|
\usepackage{enumitem}
|
|
\usepackage{array}
|
|
\usepackage{multirow}
|
|
\usepackage{tabularx}
|
|
\input{../shared/lstlang}
|
|
\usetikzlibrary{arrows.meta,positioning,shapes.geometric,fit,calc}
|
|
|
|
\hypersetup{colorlinks=true,linkcolor=black,citecolor=blue,urlcolor=blue}
|
|
|
|
\lstset{
|
|
basicstyle=\ttfamily\scriptsize,
|
|
breaklines=true,
|
|
frame=single,
|
|
numbers=left,
|
|
numberstyle=\tiny\color{gray},
|
|
keywordstyle=\color{blue!70!black}\bfseries,
|
|
commentstyle=\color{green!50!black}\itshape,
|
|
stringstyle=\color{red!60!black},
|
|
showstringspaces=false,
|
|
}
|
|
|
|
\newtheorem{theorem}{Theorem}
|
|
\newtheorem{lemma}[theorem]{Lemma}
|
|
\newtheorem{definition}{Definition}
|
|
\newtheorem{proposition}[theorem]{Proposition}
|
|
\newtheorem{remark}{Remark}
|
|
|
|
\title{Quasar Horizon: Hybrid Post-Quantum Finality\\over DAG-Native Nebula Roots}
|
|
|
|
\author{
|
|
Zach Kelling\thanks{Corresponding author: [email protected]}\\
|
|
\textit{Lux Industries, Inc.}\\
|
|
\texttt{[email protected]}
|
|
}
|
|
|
|
\date{2026-03-03 \quad\textit{Subtitle: A consensus paper composing Pulsar (LP-073), Lens (LP-103), LSS (LP-077), Beam (LP-075), and ML-DSA (LP-070) under Prism (LP-105) over a Nebula DAG substrate (LP-020).}}
|
|
|
|
\begin{document}
|
|
|
|
\luxcoverpage
|
|
|
|
\begin{abstract}
|
|
\noindent We present Lux, a hybrid post-quantum consensus architecture for DAG-native chains. Lux separates fast operational finality from durable post-quantum finality. Validators emit Photons over a Nebula DAG substrate; classical BLS aggregates form Beams for low-latency confirmation, while ML-DSA attestations and Pulsar lattice-threshold Pulses provide post-quantum finality over Nebula roots. Prism binds all certificate lanes to the same transcript, and Quasar reaches Horizon finality when the bound lanes verify.
|
|
|
|
\textbf{This paper.} Quasar Horizon is the consensus-level composition theorem of the Lux stack. We show how four independent threshold artifacts --- a BLS Beam (LP-075 \cite{lp075}), a per-validator ML-DSA cert set (LP-070 \cite{lp070}), a Pulsar Pulse (LP-073 \cite{lp073}), and an optional Lens classical-threshold control-plane certificate (LP-103 \cite{lp103}) --- compose into a single Prism-bound (LP-105 \cite{lp105}) finality artifact through transcript binding rather than aggregation. We do not rederive the underlying threshold mathematics; the cryptographic kernels are specified in the LP-073 Pulsar paper \cite{lp073} and the LSS lifecycle paper \cite{luxlssmpc,lp077}. We do specify (i) the formal model in which Horizon makes sense over a DAG substrate, (ii) the Prism verification predicate, (iii) the asynchronous PQ-finality discipline that lets Pulse follow Beam without blocking the hot path, (iv) the L1/L2/L3 tier model under co-validation, (v) grouped Pulsar deployment for large validator sets, and (vi) the exact code path that makes the 258-test \texttt{protocol/quasar} suite witness the composition. Soundness is by reference to four canonical proof-bucket theorems\footnote{\texttt{proofs/quasar/horizon-soundness.tex} (Theorem~\ref{thm:horizon-soundness}), \texttt{proofs/quasar/l1-l2-covalidation.tex} (Theorem~\ref{thm:l2-covalidation}), \texttt{proofs/pulsar/unforgeability.tex} (Theorem~\ref{thm:pulsar-suf-cma}), \texttt{proofs/quasar-cert-soundness.tex} (Thm.~7.5--7.7).} which carry the per-lane reductions and the composition argument.
|
|
\end{abstract}
|
|
|
|
\tableofcontents
|
|
\newpage
|
|
|
|
\input{sections/01-introduction}
|
|
\input{sections/02-formal-model}
|
|
\input{sections/03-prism-composition}
|
|
\input{sections/04-horizon-soundness}
|
|
\input{sections/05-asynchronous-pq-finality}
|
|
\input{sections/06-l1-l2-l3-tier-model}
|
|
\input{sections/07-grouped-pulsar}
|
|
\input{sections/08-implementation}
|
|
\input{sections/09-related-work}
|
|
\input{sections/10-future-work}
|
|
|
|
\bibliographystyle{plain}
|
|
\bibliography{references}
|
|
|
|
\end{document}
|