mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
d43bd27971
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.
79 lines
3.1 KiB
TeX
79 lines
3.1 KiB
TeX
\section{Composition With Sibling LPs}
|
|
|
|
\begin{table}[h]
|
|
\centering
|
|
\small
|
|
\begin{tabular}{@{}lp{9cm}@{}}
|
|
\toprule
|
|
\textbf{LP} & \textbf{Composition} \\
|
|
\midrule
|
|
LP-017 v1 & Codenames (Pulsar / Aurora / Polaris) deprecated as operator-facing names; remain as INTERNAL identifiers \\
|
|
LP-181 & Magnetar threshold SLH-DSA; PQ-heavy / strict-PQ-heavy leg \\
|
|
LP-182 & QuasarCert wire format; unchanged across all modes \\
|
|
LP-202 & Cert tier degradation contract; monotonic observability \\
|
|
LP-203 & GPU-native verify; per-leg dispatch lets modes share kernels \\
|
|
LP-204 & Network of blockchains; each chain picks one mode at genesis \\
|
|
LP-205 & Pipelined Quasar; throughput model parameterized by mode \\
|
|
LP-208 & DAG mempool; ordering committed at the chosen mode \\
|
|
LP-209 & Mysticeti ordering; cert per wave at the chosen mode \\
|
|
LP-210 & Block-STM; staged-prepare at the chosen mode \\
|
|
LP-211 & Cross-shard atomic commit; cert at the parent-L1 mode \\
|
|
LP-218 & ZAP P3Q PQ rollup; \texttt{CertModeFloor} per rollup \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\caption{Composition of LP-217 with sibling LPs.}
|
|
\label{tab:composition}
|
|
\end{table}
|
|
|
|
\subsection{Wire format unchanged}
|
|
|
|
The QuasarCert struct shape (LP-182) is the same across all modes.
|
|
The operator's mode choice is a header byte on the runtime config,
|
|
NOT a wire format change. Relying parties parse the cert and apply
|
|
mode policy locally.
|
|
|
|
\section{Activation Marker}
|
|
|
|
\begin{verbatim}
|
|
activates: 2025-12-25T16:20:00-08:00
|
|
activates-unix: 1766708400
|
|
\end{verbatim}
|
|
|
|
The 4-mode ladder is the operator-facing surface from activation
|
|
forward. v1 codenames remain valid internal identifiers and are
|
|
not ripped from the codebase.
|
|
|
|
\section{Backwards Compatibility}
|
|
|
|
None. LP-017 v1 codenames remain as INTERNAL identifiers --
|
|
operator config tooling, dashboards, and docs use the v2 mode
|
|
names. Code that references \texttt{polaris.go}'s
|
|
\texttt{PolarisLegs} struct or \texttt{IsPolaris} /
|
|
\texttt{HasHashBased} predicates is unaffected: those are
|
|
internal-API surfaces, not operator-facing.
|
|
|
|
A chain genesis published before activation cannot use the v2 mode
|
|
names. Pre-activation chains are on the pre-Quasar Edition Lux
|
|
network and are out of scope for this LP entirely.
|
|
|
|
\section{Security Considerations}
|
|
|
|
The mode ladder does not change the cryptographic guarantees of any
|
|
individual leg. Mode security is the floor of the strongest leg in
|
|
the required set -- the same property LP-017 v1 stated for cert
|
|
profiles.
|
|
|
|
The v2 mode names declare posture explicitly. An operator who picks
|
|
\texttt{PQ-off} is making an informed declaration that their
|
|
threat model excludes store-now-decrypt-later adversaries; the v1
|
|
codename ``Pulsar'' did not make that declaration nearly as
|
|
legibly. This is a security property of the SPEC SURFACE, not the
|
|
protocol -- but operator-error reduction is a real security
|
|
concern at the human layer.
|
|
|
|
The pure-PQ variants drop BLS. A chain at \texttt{strict-PQ-*}
|
|
cannot interoperate with any relying party that requires BLS in
|
|
the cert; the relying party will see an empty BLS leg and degrade
|
|
per LP-202. This is intended -- pure-PQ chains are explicit about
|
|
not consuming BLS.
|