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.
62 lines
3.0 KiB
TeX
62 lines
3.0 KiB
TeX
\section{Composition With Sibling LPs}
|
|
|
|
\begin{table}[h]
|
|
\centering
|
|
\small
|
|
\begin{tabular}{@{}lp{9cm}@{}}
|
|
\toprule
|
|
\textbf{LP} & \textbf{Composition} \\
|
|
\midrule
|
|
LP-079 & Q-Chain finality blocks (where cross-shard commits ultimately land) \\
|
|
LP-182 & Consensus wire / QuasarCert (the cert that anchors the cross-shard commit) \\
|
|
LP-201 & ZAP P2P (DHT layer that dispatches large tx groups) \\
|
|
LP-202 & ZAP Pipelining and Atomic Unwind (the atomic-commit and monotonic cert-tier-upgrade contracts cross-shard 2PC depends on) \\
|
|
LP-203 & GPU-native verify (cross-shard latency floor is the QuasarCert floor, which inherits from LP-203's GB10 sm\_120 pairing rates) \\
|
|
LP-204 & Network of blockchains (Tier-2 chain-VMs are the shards) \\
|
|
LP-205 & Pipelined block production (parent-L1 wave pipelining for concurrent cross-shard groups) \\
|
|
LP-208 & DAG mempool / header DAG (per-shard mempool that receives cross-shard parts; equivocation gate) \\
|
|
LP-209 & Mysticeti-style total-order on DAG (per-shard and parent-L1 wave commits) \\
|
|
LP-210 & Block-STM optimistic parallel execution (per-shard staged-prepare in Phase~4) \\
|
|
LP-217 & Cert Profile Modes (per-shard and parent-L1 cert modes) \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\caption{Composition of LP-211 with sibling LPs.}
|
|
\label{tab:composition}
|
|
\end{table}
|
|
|
|
\section{Failure Modes}
|
|
|
|
\begin{table}[h]
|
|
\centering
|
|
\small
|
|
\begin{tabular}{@{}p{3cm}p{2.5cm}p{4cm}p{4cm}@{}}
|
|
\toprule
|
|
\textbf{Failure} & \textbf{Trigger} & \textbf{Effect} & \textbf{Recovery} \\
|
|
\midrule
|
|
Coordinator offline & crash, partition & prepare-acks accumulate but no commit tx submitted & shards' staged overlays time out via local watchdog; LP-202 unwind; tx group dropped; client re-submits \\
|
|
One shard refuses prepare & validity failure, byzantine & coordinator receives \texttt{CrossShardRefuseAck}; aborts via Step 4' & every prepared shard unwinds; tx group dropped \\
|
|
Coordinator equivocates & byzantine & parent-L1 LP-209 wave ordering admits only one (first-seen); LP-208 equivocation gate suppresses the second & atomicity preserved by parent-L1 wave ordering \\
|
|
Parent L1 partitions before committing & infrastructure & shards' staged overlays time out; LP-202 unwind & client re-submits when partition heals \\
|
|
Shard commits before parent L1 cert finalizes at shard's mode & bug & observable as stale read; shard exposes uncommitted state & bug in the shard's executor, not in LP-211 \\
|
|
Cross-shard tx too large for one wave & $>$\SI{1}{\mebi\byte} & LP-201 chunked DHT fetch handles arbitrary-size tx groups; coordinator dispatches \texttt{(group\_id, contentHash)} & works by construction \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\caption{Failure modes.}
|
|
\label{tab:failures}
|
|
\end{table}
|
|
|
|
\section{Activation Marker}
|
|
|
|
\begin{verbatim}
|
|
activates: 2025-12-25T16:20:00-08:00
|
|
activates-unix: 1766708400
|
|
\end{verbatim}
|
|
|
|
Applies to cross-shard tx group atomicity from the genesis block of
|
|
the new final Lux network onward.
|
|
|
|
\section{Backwards Compatibility}
|
|
|
|
None. The pre-Quasar Edition Lux network has no cross-shard
|
|
primitive and is out of scope.
|