mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +00:00
zeekay
f4ee7a0525
Bylines, paper authorship, correspondence addresses and the founder blurb under each post named an individual. They name the organisation that published the work instead: the brand on posts and pages, the research byline on papers, and research@ in place of a personal address. Both are what these repositories already used elsewhere — nothing new was coined. Co-authors are untouched. Where a paper named someone else alongside, they stay named; only the one byline changed. Bibliography entries, running heads, PDF metadata and affiliations move with it, so a citation still resolves to whoever the cited paper names. Sample and fixture data uses the placeholder name these tests already use elsewhere, so no assertion changed meaning.
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{
|
|
Lux Research\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}
|