Files
zeekay 9504b4c3ef papers: cover-consistency + build pass on Lux Tier-2/3 catalogue
Sweep across the non-Tier-1 paper catalogue (Tier-1 owned by parallel
agent and excluded). All 113 processed papers already had luxcover
wired up; this commit fixes 14 build breakers and produces fresh
PDFs across the catalogue.

Fixes:
- lux-blockchain-scaling-laws: em-dash inside lstlisting -> --
- lux-corona-pq: stale \input pointing at 03-the-corona-scheme renamed
  to 03-the-corona-scheme (file already renamed on disk)
- lux-lattice-cryptography-primer: same Corona->Corona rename
- lux-formal-verification-lean4: Lean source uses unicode (×, ∀, ∃, ∈,
  ∧, ∨, ∩, ≠, ⟨, ⟩, ·, ¬) inside lstlistings. Added a literate map
  so listings render the math glyphs without UTF-8 fault.
- lux-id-did-specification: ✓/✗ in tabular replaced with \ding{51}
  / \ding{55} (pifont). Added pifont package.
- lux-ntt-simd-implementation: middle-dot in Go assembly listings;
  added literate {·}{\textperiodcentered}.
- lux-ntt-transform: μ, ×, –, — in regular text (no T1 fontenc).
  Replaced with $\mu$/$\times$/--/--- via unicode->latex sweep.
- lux-perpetuals-derivatives, lux-quantum-consensus,
  lux-quasar-consensus, lux-tee-computing-mesh: same unicode->latex
  sweep across body text. Also fixed broken math segment
  `$L_{avg} = 10$\times$$` -> `$L_{avg} = 10\times$`.
- lux-zchain: emoji glyphs in roadmap table replaced with
  parenthetical text.
- lux-triple-proof-consensus: dropped duplicate \usepackage{geometry}
  that clashed with luxcover (geometry option clash).
- pq: defined missing \Rq macro.

PDFs rebuilt for the full Tier-2/3 set.

Excluded (Tier-1, parallel agent): lp-073-pulsar, lp-stricte2epq,
dag-evm-formal, lp-010-quasar-stm-{3,4}, lp-020-quasar-consensus,
lux-institutional-custody, lux-nist-mptc-submission, pqsafe-il5,
pq-rns, plus shared/ and lps/.
2026-05-13 01:27:59 -07:00

24 lines
1.4 KiB
TeX

\section{Introduction}
Decentralized finance has evolved from simple spot trading to sophisticated derivatives markets offering leverage, hedging, and speculation opportunities. Traditional centralized exchanges like BitMEX and Binance Futures dominate with over \$2 trillion daily volume, but suffer from custody risks, regulatory uncertainty, and operational opacity. Existing DeFi derivatives protocols face challenges in capital efficiency, liquidation cascades, and oracle manipulation.
Lux Perpetuals addresses these challenges through:
\begin{itemize}
\item \textbf{Perpetual futures} with dynamic funding rates balancing long/short interest
\item \textbf{European and American options} with on-chain Black-Scholes pricing
\item \textbf{100$\times$ leverage} supported by multi-tier liquidation engine
\item \textbf{GMX2 integration} for proven liquidity pool mechanics
\item \textbf{Sub-200ms execution} leveraging Lux's high-performance consensus
\end{itemize}
Our contributions include:
\begin{enumerate}
\item Novel funding rate mechanism minimizing basis arbitrage
\item Cascade-resistant liquidation algorithm with partial unwinding
\item Implied volatility surface construction from on-chain data
\item Cross-margin system with portfolio-level risk management
\item Formal verification of solvency invariants
\end{enumerate}