mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
dce991ae1d
The seven engine specifications (lux-{photon,wave,nova,nebula,prism,ray,field}-protocol)
were fragmented short notes documenting layers of the same Quasar consensus stack.
This commit merges them into a single canonical reference, lux-consensus-engines.tex,
that uses one preamble, one set of theorems, one bibliography, and one composition
chapter showing how the engines layer into the LP-020 finality pipeline.
The seven originals are reduced to single-page breadcrumb stubs pointing at the
consolidated paper; their sections/ content is preserved on disk for git history.
- new: lux-consensus-engines/ (50 pages, 646KB PDF, ~2900 lines tex)
- breadcrumbs: each original keeps cover + title + stub paragraph naming its chapter
- composition: chapter 9 records the layered contract Photon < Wave < Nova < ...
- bibliography: consolidated from the seven original thebibliography blocks
36 lines
1.7 KiB
TeX
36 lines
1.7 KiB
TeX
\section{Introduction}
|
|
|
|
\label{sec:nebula-introduction}
|
|
|
|
Standard metastable consensus protocols assume a well-connected network where each
|
|
validator can reach any other validator with bounded delay. This assumption fails in
|
|
several important settings:
|
|
|
|
\begin{itemize}[nosep]
|
|
\item \textbf{Geographic distribution}: Validators in remote regions may have limited
|
|
connectivity to the broader network.
|
|
\item \textbf{Network partitions}: Temporary partitions create disconnected components
|
|
that must eventually reconcile.
|
|
\item \textbf{Bootstrap phase}: New blockchain networks start with few validators,
|
|
gradually growing the validator set.
|
|
\item \textbf{Appchains}: Lux appchains may have small validator sets (10--50 nodes)
|
|
with high churn rates.
|
|
\end{itemize}
|
|
|
|
Nebula adapts the metastable consensus framework to operate under these conditions by
|
|
replacing uniform random sampling with stratified neighborhood sampling, ensuring that
|
|
even in sparse networks, the consensus dynamics converge to agreement.
|
|
|
|
\paragraph{Contributions.}
|
|
\begin{enumerate}[nosep]
|
|
\item The Nebula stratified sampling protocol for sparse networks (\S\ref{sec:nebula-protocol}).
|
|
\item A random geometric graph model of sparse network consensus (\S\ref{sec:nebula-model}).
|
|
\item Convergence proofs under the expansion factor framework (\S\ref{sec:nebula-convergence}).
|
|
\item Safety and liveness analysis for sparse and partitioned networks (\S\ref{sec:nebula-safety}).
|
|
\item Empirical evaluation under packet loss and churn (\S\ref{sec:nebula-evaluation}).
|
|
\end{enumerate}
|
|
|
|
%% -----------------------------------------------------------------------
|
|
%% 2. SPARSE NETWORK MODEL
|
|
%% -----------------------------------------------------------------------
|