mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
663cc83ca3
Companion LaTeX papers to luxfi/LPs: - lp-200-zap-stack: full ZAP-as-substrate paper (10-layer model, deco- mplected concerns, performance). - lp-200-lux-vs-avalanche-diff: code-translation appendix. - lp-203-gpu-native-verify, lp-205-pipelined-quasar, lp-208-dag-mempool, lp-209-mysticeti-ordering, lp-210-block-stm, lp-211-cross-shard-atomic, lp-217-cert-profile-modes, lp-218-zap-p3q-pq-rollup, lp-220-p3q-corona-magnetar, lp-221-stark-fri-verifier, lp-300-schema-registry. Pitch / outreach decks (luxcover.sty templated): - blackrock-nahmii-pitch, corporate-dao-stack-analysis, nahmii-patent-acquisition, pq-patent-family-future-infringers, lux-substrate-platform-pitch, w3a-foundation-membership, multi-validator-scale, vfs-archive-cost-study. Edits aligning to LP-217 / LP-200: - lp-020-quasar-consensus 02-system-model + 08-performance. - lp-073-pulsar 11-quasar. - lp-103-omnichain-explorer 03-chain-support. - lp-104-graph-engine. - lp-201-zap-universal-wire/wire-inventory.csv. - lp-306-lx-social-dex sections/02. - lux-adoption-roadmap, lux-chain-architecture, lux-consensus-engines/08-composition, lux-crypto-agility, lux-evm-precompile-engineering/02, lux-fhe-smart-contracts/05, lux-quasar-composition/04+06+10, lux-reproducible-builds. - INDEX.md cross-links the new papers.
69 lines
2.9 KiB
TeX
69 lines
2.9 KiB
TeX
\section{Introduction}
|
|
|
|
This paper expands on LP-209
|
|
(\texttt{lps/LP-209-mysticeti-ordering.md}) with detail on the
|
|
wave-anchoring algorithm, the causal-commit invariants, the
|
|
throughput and latency models, the explicit adaptations from the
|
|
original Mysticeti \cite{mysticeti2024} construction, and the
|
|
composition with LP-205, LP-210, LP-211, and LP-217.
|
|
|
|
\subsection{Why a wave is not a block}
|
|
|
|
LP-208's DAG vertex is a header -- author NodeID, round number, $K$
|
|
parent references, payload commitment. A wave is a \emph{commit
|
|
unit}: the set of all DAG vertices in the causal closure of the
|
|
anchor (the leader's vertex). One wave can commit thousands of
|
|
headers in one step.
|
|
|
|
The block boundary moves up a tier. A ``block'' in LP-209's
|
|
vocabulary is a wave's committed vertex set, totally ordered by the
|
|
algorithm in Section~\ref{sec:algorithm}. LP-210 executes the wave's
|
|
txs in parallel under Block-STM; LP-217 cert covers the wave as one
|
|
unit; LP-211 (cross-shard) coordinates waves across multiple
|
|
chain-VMs.
|
|
|
|
\subsection{Adaptations from the original Mysticeti}
|
|
|
|
The original Mysticeti construction is a committee-based DAG
|
|
ordering with uncertified DAGs (\cite{mysticeti2024}). Three
|
|
adaptations for this LP:
|
|
|
|
\begin{enumerate}[leftmargin=2em,nosep]
|
|
\item \textbf{Cert tiers replace single-tier finality.} Mysticeti
|
|
produces one finality signature per wave commit. LP-209 instead
|
|
composes the wave commit with the LP-217 cert ladder
|
|
(PQ-off/PQ-fast/PQ-strict/PQ-heavy), so the cert leg composition
|
|
per wave is the operator's chosen mode.
|
|
\item \textbf{ZAP buffer + ZapDB MVCC for unwind.} Mysticeti
|
|
describes the ordering at the protocol layer; LP-209 anchors the
|
|
ordering output in the LP-202 atomic-unwind contract so a wave
|
|
that fails commits at a lower mode (LP-202 tier degradation)
|
|
rather than blocking finality entirely.
|
|
\item \textbf{VRF leader election with PQ fallback.} Mysticeti
|
|
describes leader election generically. LP-209 specifies BLS-VRF
|
|
for the classical case (LP-075) and Pulsar-threshold-derived
|
|
randomness (LP-176) under PQ-heavy where BLS is dropped.
|
|
\end{enumerate}
|
|
|
|
The core mechanism -- leader-anchored waves, causal sort,
|
|
lexicographic tiebreak, 2-RTT fast-path quorum -- is the original
|
|
Mysticeti construction. The composition with Quasar is the
|
|
adaptation.
|
|
|
|
\subsection{What this LP solves}
|
|
|
|
LP-208 fixes throughput by inverting the mempool from
|
|
min-bounded to sum-bounded. But the LP-208 DAG is not yet a chain
|
|
-- the consumer needs a total order over the DAG to feed an
|
|
execution engine. LP-209 supplies that total order with:
|
|
|
|
\begin{itemize}[leftmargin=2em,nosep]
|
|
\item 2-RTT to wave-commit under $<33\%$ byzantine (fast path)
|
|
\item 3-RTT under $<50\%$ byzantine (recovery path)
|
|
\item One QuasarCert per wave (not per header), sized to the
|
|
operator's LP-217 mode
|
|
\item $\sim$\SI{40000}{tx/wave} commit at the LAN protocol floor
|
|
(40-validator chain, $K{=}$\SI{50}{\milli\second} round cadence,
|
|
$500$ tx/header)
|
|
\end{itemize}
|