mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +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.
70 lines
2.3 KiB
TeX
70 lines
2.3 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{Cross-Shard Atomic Polaris Cert:\\
|
|
Two-Phase Commit via Parent-L1 QuasarCert}
|
|
\author{Lux Industries, Inc. \\
|
|
\texttt{[email protected]}}
|
|
\date{2026-06-03}
|
|
|
|
\begin{document}
|
|
\luxcoverpage
|
|
|
|
\begin{abstract}
|
|
LP-204 organizes state into Tier-2 chain-VMs running on a parent
|
|
L1. When a transaction group's state touches multiple chain-VMs, the
|
|
wave commits at each shard are independent under LP-209/LP-210 --
|
|
there is no intrinsic atomicity across shards. LP-211 supplies that
|
|
atomicity via two-phase commit anchored at the parent L1's existing
|
|
QuasarCert: a coordinator dispatches per-shard portions; shards
|
|
prepare via LP-210 Phase-4 staged overlays; when all shards prepare,
|
|
the parent L1's next wave commits a cross-shard commit transaction
|
|
whose finality cert is the cross-shard cert. ALL shards commit OR
|
|
NONE. End-to-end latency at PQ-strict LAN:
|
|
$\sim$\SI{260}{\milli\second} under the projected GPU-accelerated
|
|
cert (LP-203 GB10 sm\_120 pairing rates measured 2026-06-04);
|
|
$\sim$\SI{1326}{\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-211
|
|
(\texttt{lps/LP-211-cross-shard-atomic.md}) with the five new wire
|
|
schemas (\texttt{0xE2}--\texttt{0xE7}), the atomicity proof sketch,
|
|
and the load-bearing composition with LP-202's monotonic cert-tier
|
|
upgrade -- which lets shards commit early at their individual mode
|
|
without waiting for the parent L1's target.
|
|
\end{abstract}
|
|
|
|
\tableofcontents
|
|
\newpage
|
|
|
|
\input{sections/01-introduction}
|
|
\input{sections/02-algorithm}
|
|
\input{sections/03-wire-schemas}
|
|
\input{sections/04-atomicity}
|
|
\input{sections/05-latency}
|
|
\input{sections/06-composition}
|
|
|
|
\bibliographystyle{plain}
|
|
\bibliography{biblio}
|
|
|
|
\end{document}
|