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/.
65 lines
2.5 KiB
TeX
65 lines
2.5 KiB
TeX
\documentclass[11pt,a4paper]{article}
|
|
\usepackage{../shared/luxcover}
|
|
\usepackage[utf8]{inputenc}
|
|
\usepackage[T1]{fontenc}
|
|
\usepackage{amsmath,amssymb,amsfonts,amsthm}
|
|
\usepackage{hyperref}
|
|
\usepackage{booktabs}
|
|
\usepackage{enumitem}
|
|
\usepackage{algorithm}
|
|
\usepackage{algpseudocode}
|
|
\usepackage{xcolor}
|
|
\usepackage{listings}
|
|
\input{../shared/lstlang}
|
|
|
|
\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}[section]
|
|
\newtheorem{lemma}[theorem]{Lemma}
|
|
\newtheorem{definition}{Definition}[section]
|
|
\newtheorem{invariant}{Invariant}[section]
|
|
|
|
\title{Authenticated Cross-Chain\\Message Protocol}
|
|
|
|
\author{
|
|
Zach Kelling \\
|
|
Lux Industries, Inc.\\
|
|
\texttt{[email protected]}
|
|
}
|
|
|
|
\date{2023}
|
|
|
|
\begin{document}
|
|
|
|
\luxcoverpage
|
|
|
|
\begin{abstract}
|
|
Bridges are the single largest attack surface in cryptocurrency, responsible for over \$2B in losses between 2020 and 2025. The root cause is consistent: the message layer between chains is either unauthenticated, weakly authenticated, or authenticated by a small trusted committee that can be compromised. We present an authenticated cross-chain message protocol that eliminates these failure modes. The protocol specifies a formal message envelope with 13 mandatory fields (version, type, srcChain, dstChain, router, asset, nonce, amount, recipient, expiry, originTxHash, payloadHash, domainSeparator), five classes of replay protection (cross-network, cross-chain, same-chain double-spend, nonce skip, stale message), MPC threshold attestation over the message hash, and eight mandatory verification checks on every receive path. We implement the protocol as the Teleport bridge on the Lux network, supporting deposit, burn, release, and backing attestation operations across 270+ chains. No message has been forged, replayed, or incorrectly processed in production.
|
|
\end{abstract}
|
|
|
|
\input{sections/01-introduction}
|
|
\input{sections/02-threat-model}
|
|
\input{sections/03-message-envelope}
|
|
\input{sections/04-domain-separator}
|
|
\input{sections/05-replay-protection}
|
|
\input{sections/06-mpc-attestation}
|
|
\input{sections/07-teleport-protocol-end-to-end-flow}
|
|
\input{sections/08-verification-rules}
|
|
\input{sections/09-gas-costs}
|
|
\input{sections/10-comparison-with-existing-bridges}
|
|
\input{sections/99-conclusion}
|
|
|
|
\end{document}
|