mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +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/.
78 lines
4.1 KiB
TeX
78 lines
4.1 KiB
TeX
\documentclass[11pt]{article}
|
|
\usepackage{../shared/luxcover}
|
|
\usepackage{amsmath, amssymb, amsthm}
|
|
\usepackage{mathtools}
|
|
\usepackage{bm}
|
|
\usepackage{graphicx}
|
|
\usepackage{booktabs}
|
|
\usepackage{hyperref}
|
|
\usepackage{enumitem}
|
|
\usepackage{algorithm}
|
|
\usepackage{algpseudocode}
|
|
\usepackage{xcolor}
|
|
\usepackage{multicol}
|
|
\usepackage{listings}
|
|
\hypersetup{colorlinks=true,linkcolor=black,citecolor=blue,urlcolor=blue}
|
|
|
|
\lstset{
|
|
basicstyle=\ttfamily\scriptsize,
|
|
breaklines=true,
|
|
frame=single,
|
|
numbers=left,
|
|
numberstyle=\tiny\color{gray},
|
|
keywordstyle=\color{blue!70!black}\bfseries,
|
|
commentstyle=\color{green!50!black}\itshape,
|
|
stringstyle=\color{red!60!black},
|
|
showstringspaces=false,
|
|
}
|
|
|
|
\newtheorem{theorem}{Theorem}
|
|
\newtheorem{lemma}[theorem]{Lemma}
|
|
\newtheorem{proposition}[theorem]{Proposition}
|
|
\newtheorem{corollary}[theorem]{Corollary}
|
|
\newtheorem{definition}{Definition}
|
|
\newtheorem{property}{Property}
|
|
|
|
\title{Lux Teleport: Sovereign Omnichain Liquidity\\via Threshold Cryptography and\\Per-Chain Governance}
|
|
\author{
|
|
Zach Kelling\thanks{Corresponding author: [email protected]}
|
|
\quad
|
|
Vishnu Seesahai\\
|
|
\textit{Lux Industries, Inc.}\\
|
|
\texttt{[email protected]}
|
|
}
|
|
\date{2022 (Revised December 2025)}
|
|
|
|
\begin{document}
|
|
|
|
\luxcoverpage
|
|
|
|
\begin{abstract}
|
|
We present \textbf{Lux Teleport}, a non-custodial omnichain bridge and liquidity protocol that natively connects 18 execution environments and 270 registered chain IDs through a unified MPC threshold signature network. Unlike existing bridges that rely on trusted intermediaries, multisigs, or chain-specific messaging layers, Teleport achieves trustless cross-chain asset transfer through FROST~\cite{frost} and CGGMP21~\cite{cggmp21} threshold cryptography with MPC group key verification (a single aggregate public key verified via \texttt{ecrecover} on EVM chains), per-chain nonce tracking, and automatic undercollateralization detection.
|
|
|
|
Teleport introduces three innovations: (1)~\emph{sovereign chain governance} where each connected chain's native token holders control their own bridge fees, yield strategies, and risk parameters; (2)~a \emph{yield-bearing bridge token} system where locked assets on source chains are deployed to yield strategies and the yield is reflected in bridge token share prices on destination chains; and (3)~a \emph{Shariah-compliant mode} that programmatically filters yield sources to enable the first protocol-level Islamic finance DeFi infrastructure.
|
|
|
|
The protocol supports 18 native bridge programs across every major smart contract runtime: EVM (Solidity), Solana (Anchor/Rust), TON (FunC), Sui and Aptos (Move), Cosmos/IBC (CosmWasm), Bitcoin L1 (FROST Taproot), OP\_NET (AssemblyScript), XRPL (Hooks), Polkadot (ink!), NEAR (Rust/WASM), Stellar (Soroban), Stacks (Clarity), Cardano (Aiken/Plutus), StarkNet (Cairo), ICP (Rust Canisters), Algorand (PyTeal), Fuel (Sway), and Tezos (CameLIGO). All bridge tokens implement the vendor-neutral \texttt{IBridgeToken} interface (not tied to any specific bridge vendor). The OmnichainRouter contract is non-upgradeable, with a hard-coded 1\% maximum bridge fee, configurable rotation delay (default 24h, minimum 0 for instant rotation, maximum 7 days; operational parameter, not a security invariant), and automatic pause on undercollateralization below 98.5\%. The \texttt{batchMintDeposit} function enables GPU-optimized batch processing of multiple deposits in a single transaction.
|
|
|
|
This paper supersedes Lux Teleport Protocol (2022)~\cite{luxtp2022} and Lux Bridge (2023)~\cite{luxbridge2023}.
|
|
\end{abstract}
|
|
|
|
\tableofcontents
|
|
|
|
%% +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
|
|
|
\input{sections/01-introduction}
|
|
\input{sections/02-system-model}
|
|
\input{sections/03-protocol-description}
|
|
\input{sections/04-threshold-cryptography}
|
|
\input{sections/05-sovereign-chain-governance}
|
|
\input{sections/06-yield-bearing-bridge-tokens}
|
|
\input{sections/07-shariah-compliance}
|
|
\input{sections/08-supported-execution-environments}
|
|
\input{sections/09-formal-security-properties}
|
|
\input{sections/10-fee-economics}
|
|
\input{sections/11-related-work}
|
|
\input{sections/99-conclusion}
|
|
|
|
\end{document}
|