mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +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.
67 lines
2.0 KiB
TeX
67 lines
2.0 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{ZAP-Native PQ-Secured Rollups\\
|
|
via the P3Q Precompile}
|
|
\author{Lux Industries, Inc. \\
|
|
\texttt{[email protected]}}
|
|
\date{2026-06-03}
|
|
|
|
\begin{document}
|
|
\luxcoverpage
|
|
|
|
\begin{abstract}
|
|
We present a rollup pattern where the sequencer signs each batch
|
|
with a Pulsar threshold signature, the parent L1 verifies that
|
|
signature via the P3Q precompile at EVM slot \texttt{0x012205}, and
|
|
the rollup state inherits the parent L1's QuasarCert finality. No
|
|
rollup-side validator set, no fraud-proof bond for the
|
|
cryptographic path, no codec hop on the sequencer-to-L1 wire.
|
|
Optimistic and ZK variants share the same envelope; the difference
|
|
is whether the batch carries a STARK/Groth16 proof of correct
|
|
execution. End-to-end commit latency from sequencer batch close to
|
|
parent L1 finality at PQ-strict: \SI{10}{\milli\second}--\SI{50}{\milli\second}.
|
|
This paper expands on LP-218
|
|
(\texttt{lps/LP-218-zap-p3q-pq-rollup.md}) with the
|
|
six-step pattern as a numbered list (alongside the user's five-step
|
|
framing), the four wire envelopes
|
|
(\texttt{0xE0}--\texttt{0xE3}), the P3Q precompile interface and
|
|
honest gas accounting, the two rollup modes (optimistic vs ZK), and
|
|
the inherited cert mode contract that ties rollup finality to the
|
|
parent L1's LP-217 mode.
|
|
\end{abstract}
|
|
|
|
\tableofcontents
|
|
\newpage
|
|
|
|
\input{sections/01-introduction}
|
|
\input{sections/02-six-step-pattern}
|
|
\input{sections/03-precompile}
|
|
\input{sections/04-wire-format}
|
|
\input{sections/05-modes-and-inheritance}
|
|
\input{sections/06-composition}
|
|
|
|
\bibliographystyle{plain}
|
|
\bibliography{biblio}
|
|
|
|
\end{document}
|