Files
zeekay 663cc83ca3 docs(papers): ZAP stack + cert profile modes + pitch decks (LP-186..300)
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.
2026-06-10 22:35:37 -07:00

63 lines
1.9 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}
\usepackage{listings}
\hypersetup{colorlinks=true,linkcolor=black,citecolor=blue,urlcolor=blue}
\lstset{
basicstyle=\ttfamily\scriptsize,
breaklines=true,
frame=single,
showstringspaces=false,
}
\title{DAG Mempool:\\
Narwhal-Style Leaderless Transaction Dissemination}
\author{Lux Industries, Inc. \\
\texttt{[email protected]}}
\date{2026-06-03}
\begin{document}
\luxcoverpage
\begin{abstract}
The traditional single-mempool-per-validator model caps aggregate
transaction throughput at $\min(\textrm{validators})$. We present a
DAG mempool where every validator continuously emits ZAP headers
carrying transaction hashes; bodies are stored in the Kademlia DHT;
aggregate throughput becomes $\sum(\textrm{validators})$. Total
ordering of the DAG is deferred to LP-209 (Mysticeti) so that the
construction surface is decoupled from the consensus that orders it.
This paper expands on LP-208 (\texttt{lps/LP-208-dag-mempool.md})
with the wire format for the two new ZAP schemas
(\texttt{0xF0}~DAGHeader, \texttt{0xF1}~DAGBody), the parent-linking
discipline, the throughput model parameterized by per-validator
emission rate and validator-set size, the garbage collection contract,
and the composition with LP-201 (ZAP P2P), LP-205 (pipelined Quasar),
LP-209 (Mysticeti ordering), and LP-217 (cert profile modes).
\end{abstract}
\tableofcontents
\newpage
\input{sections/01-introduction}
\input{sections/02-dag-structure}
\input{sections/03-wire-format}
\input{sections/04-why-dag-beats-single-mempool}
\input{sections/05-gc-and-throughput}
\input{sections/06-composition}
\bibliographystyle{plain}
\bibliography{biblio}
\end{document}