mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +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.
62 lines
2.2 KiB
TeX
62 lines
2.2 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}
|
|
|
|
\hypersetup{colorlinks=true,linkcolor=black,citecolor=blue,urlcolor=blue}
|
|
|
|
\title{Mysticeti-Style Total Ordering on the LP-208 DAG}
|
|
\author{Lux Industries, Inc. \\
|
|
\texttt{[email protected]}}
|
|
\date{2026-06-03}
|
|
|
|
\begin{document}
|
|
\luxcoverpage
|
|
|
|
\begin{abstract}
|
|
The LP-208 header DAG saturates throughput but is not yet a chain:
|
|
there are $M$ concurrent heads at round $R$, not one. We turn the
|
|
DAG into a total-ordered sequence of blocks for execution via
|
|
leader-anchored waves, adapted from Mysten Labs' Mysticeti
|
|
\cite{mysticeti2024} for Quasar's cert tiers and the ZAP buffer's
|
|
MVCC unwind semantics. Every two DAG rounds an elected leader emerges
|
|
(VRF or round-robin over the validator set). The leader's vertex
|
|
anchors a wave; the wave commits all vertices in the leader's causal
|
|
history; total order within the wave is causal sort with
|
|
lexicographic tiebreak. One QuasarCert per wave, not per header.
|
|
2-RTT to wave-commit under $<33\%$ byzantine; 3-RTT under $<50\%$.
|
|
End-to-end LAN finality at PQ-strict: $\sim$\SI{120}{\milli\second}
|
|
under the projected GPU-accelerated cert (LP-203 GB10 sm\_120
|
|
pairing rates measured 2026-06-04: 49\,197 pairings/sec at
|
|
19\,$\mu$s/pair); $\sim$\SI{711}{\milli\second} on the measured
|
|
CPU-only cert (\texttt{/tmp/quasar-results-spark.txt} matrix bench
|
|
Spark $N{=}64$, PQ-strict \SI{595}{\milli\second} per-cert
|
|
wall-clock).
|
|
This paper expands on LP-209 (\texttt{lps/LP-209-mysticeti-ordering.md})
|
|
with the wave-anchoring algorithm, the causal-commit invariants, the
|
|
throughput and latency models, the explicit adaptations from the
|
|
original Mysticeti construction, and the composition with LP-205,
|
|
LP-210, LP-211, and LP-217.
|
|
\end{abstract}
|
|
|
|
\tableofcontents
|
|
\newpage
|
|
|
|
\input{sections/01-introduction}
|
|
\input{sections/02-algorithm}
|
|
\input{sections/03-throughput-latency}
|
|
\input{sections/04-failures}
|
|
\input{sections/05-composition}
|
|
|
|
\bibliographystyle{plain}
|
|
\bibliography{biblio}
|
|
|
|
\end{document}
|