mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
dd93cb41f7
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/.
68 lines
3.3 KiB
TeX
68 lines
3.3 KiB
TeX
\documentclass[11pt,a4paper]{article}
|
|
\usepackage{../shared/luxcover}
|
|
\usepackage[utf8]{inputenc}
|
|
\usepackage[T1]{fontenc}
|
|
\usepackage{amsmath,amssymb,amsfonts,amsthm}
|
|
\usepackage{graphicx}
|
|
\usepackage{hyperref}
|
|
\usepackage{algorithm}
|
|
\usepackage{algpseudocode}
|
|
\usepackage{booktabs}
|
|
\usepackage{multirow}
|
|
\usepackage{array}
|
|
\usepackage{xcolor}
|
|
\usepackage{float}
|
|
\usepackage{enumitem}
|
|
\usepackage{mathtools}
|
|
|
|
\newtheorem{theorem}{Theorem}
|
|
\newtheorem{lemma}[theorem]{Lemma}
|
|
\newtheorem{proposition}[theorem]{Proposition}
|
|
\newtheorem{definition}{Definition}
|
|
\newtheorem{corollary}[theorem]{Corollary}
|
|
\newtheorem{remark}{Remark}
|
|
|
|
\hypersetup{
|
|
colorlinks=true,
|
|
linkcolor=blue,
|
|
citecolor=blue,
|
|
urlcolor=blue
|
|
}
|
|
|
|
\title{\textbf{ on Lux: Tokenized Validator Positions\\with DeFi Composability}\\[6pt]
|
|
\large Tokens, Validator Abstraction, Slashing Insurance,\\DeFi Integration, and Yield Optimization Strategies}
|
|
|
|
\author{
|
|
Zach Kelling\thanks{Corresponding author: [email protected]}\\
|
|
\textit{Lux Industries, Inc.}\\
|
|
\texttt{[email protected]}
|
|
}
|
|
|
|
\date{2024}
|
|
|
|
\begin{document}
|
|
|
|
\luxcoverpage
|
|
|
|
\begin{abstract}
|
|
We present Lux (LLS), a protocol that issues transferable ERC-20 tokens representing staked LUX positions, enabling holders to participate in DeFi while securing the network through Proof-of-Stake consensus. LLS introduces sLUX (staked LUX), a rebasing token whose balance automatically increases to reflect staking rewards, and wsLUX (wrapped staked LUX), a non-rebasing token whose exchange rate against LUX appreciates over time. We formalize the exchange rate dynamics, proving that the sLUX/LUX rate is monotonically non-decreasing under honest validator operation and bounded below by 1.0 minus the maximum slashing penalty. The protocol includes a slashing insurance pool funded by a 5\% fee on staking rewards, which absorbs up to 10\% loss before affecting sLUX holders. We analyze the DeFi composability properties of sLUX and wsLUX, including lending, liquidity provision, and collateralization, and prove that circular staking attacks (staking sLUX to mint more sLUX) are impossible under the protocol's design constraints. Simulation over 1,000 epochs demonstrates that LLS achieves 95\% capital efficiency (ratio of staking yield to opportunity cost) compared to 67\% for direct staking with a 14-day unbonding period, while maintaining equivalent network security properties. We further describe a cross-chain yield composition stack for Bitcoin: BTC bridged via Lux Teleport (LP-6332) earns from Babylon staking, Lombard rewards, D-Chain LP fees, lending supply, and bridge fee share, aggregated in the yLBTC vault (ERC-4626) and distributed through xLUX as the universal ecosystem yield token.
|
|
\end{abstract}
|
|
|
|
\input{sections/01-introduction}
|
|
\input{sections/02-protocol-architecture}
|
|
\input{sections/03-token-economics}
|
|
\input{sections/04-validator-selection-and-abstraction}
|
|
\input{sections/05-slashing-insurance}
|
|
\input{sections/06-defi-composability}
|
|
\input{sections/07-circular-staking-prevention}
|
|
\input{sections/08-exchange-rate-dynamics}
|
|
\input{sections/09-capital-efficiency-analysis}
|
|
\input{sections/10-simulation-results}
|
|
\input{sections/11-comparison-with-existing-protocols}
|
|
\input{sections/12-related-work}
|
|
\input{sections/13-accounting-and-reporting}
|
|
\input{sections/14-governance-and-upgradability}
|
|
\input{sections/99-conclusion}
|
|
|
|
\end{document}
|