mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-02 11:39:52 +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.
63 lines
3.1 KiB
TeX
63 lines
3.1 KiB
TeX
\section{Failure Modes}
|
|
|
|
Every failure unwinds via an LP-202 primitive. The contract is
|
|
single-block failures do not propagate; partition-class failures
|
|
freeze the whole pipeline at its current stage configuration and
|
|
heal from the frozen position.
|
|
|
|
\begin{table}[h]
|
|
\centering
|
|
\small
|
|
\begin{tabular}{@{}p{4.5cm}p{3cm}p{4cm}p{3cm}@{}}
|
|
\toprule
|
|
\textbf{Failure} & \textbf{Trigger} & \textbf{Pipeline effect} & \textbf{Recovery} \\
|
|
\midrule
|
|
Leader fails to propose at $H$ & Round-timeout & Pipeline shortens by 1; next leader at $H{+}1$ unaffected & Standard Quasar timeout \\
|
|
Leader byzantine (proposes invalid block) & Per-validator verify fails & Block at $H$ rejected; cert never starts; LP-202 \texttt{round.Abandon()} & Next leader at $H{+}1$ proposes \\
|
|
Cert-leg threshold not met & Insufficient sigs by \texttt{cert\_timeout\_ms} & Cert at LP-217 lower tier & Tier-degrade per LP-202; no pipeline action \\
|
|
Network partition $>1/3$ stake & NACK & In-flight blocks freeze at their stages & Heal $\to$ resume from frozen position \\
|
|
Speculator mispredict (Block-STM conflict) & Conflict-detector abort & Speculative branch discarded; Select emits non-speculated set & Stage retry within same height \\
|
|
Mempool empty & Select samples 0 & Build emits empty block (header only) & No pipeline action; liveness preserved \\
|
|
QUIC stream reset on cert broadcast & Peer disconnect & Affected leg's partial aggregation re-issued against alternate peer & LP-202 QUIC stream isolation invariant; other blocks unaffected \\
|
|
Slow follower & Verify CPU-saturated & Follower falls behind & Bootstrap stream catch-up; leader unaffected \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\caption{Failure modes and the LP-202 unwind primitive each invokes.}
|
|
\label{tab:failures}
|
|
\end{table}
|
|
|
|
\subsection{The failure-mode contract}
|
|
|
|
Any single-block failure unwinds via LP-202 primitives and does not
|
|
propagate to other in-flight blocks. A partition-class failure
|
|
freezes the whole pipeline at its current stage configuration;
|
|
healing restarts from the frozen position without re-doing the
|
|
completed stages.
|
|
|
|
The unwind primitives this LP uses:
|
|
|
|
\begin{table}[h]
|
|
\centering
|
|
\small
|
|
\begin{tabular}{@{}p{6cm}p{7cm}@{}}
|
|
\toprule
|
|
\textbf{In-flight failure} & \textbf{LP-202 primitive} \\
|
|
\midrule
|
|
Select-stage speculation abort & \texttt{txn.Discard()} on Block-STM transaction \\
|
|
Build-stage encode error & \texttt{stream.CancelWrite(STREAM\_PROTOCOL\_VIOLATION)} on the partial block frame \\
|
|
Sign-stage cert-leg miss & Cert tier stays at previous profile per LP-217 mode -- cert still valid at lower tier \\
|
|
Cross-stage interaction & None -- stages touch orthogonal state \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\caption{Stage-failure to LP-202-primitive mapping.}
|
|
\label{tab:unwind}
|
|
\end{table}
|
|
|
|
The composition is the load-bearing claim. Pipelined Quasar is
|
|
\emph{not} a new consensus protocol -- it is LP-202's per-block
|
|
pipeline contract instantiated at $D{=}3$ with leader rotation
|
|
interleaving the heights. The unwind primitives at each stage are
|
|
unchanged. The QuasarCert struct is unchanged. The relying-party
|
|
policy (LP-217 mode) is unchanged. Only the orchestration -- which
|
|
stage runs against which block at which wall-clock -- is new.
|