mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
f4ee7a0525
Bylines, paper authorship, correspondence addresses and the founder blurb under each post named an individual. They name the organisation that published the work instead: the brand on posts and pages, the research byline on papers, and research@ in place of a personal address. Both are what these repositories already used elsewhere — nothing new was coined. Co-authors are untouched. Where a paper named someone else alongside, they stay named; only the one byline changed. Bibliography entries, running heads, PDF metadata and affiliations move with it, so a citation still resolves to whoever the cited paper names. Sample and fixture data uses the placeholder name these tests already use elsewhere, so no assertion changed meaning.
69 lines
3.1 KiB
TeX
69 lines
3.1 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{tikz}
|
|
\usepackage{float}
|
|
\usepackage{enumitem}
|
|
\usepackage{mathtools}
|
|
\usetikzlibrary{arrows.meta,positioning,shapes.geometric}
|
|
|
|
\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{Lux Warp Messaging: Cross-Appchain Communication\\with BLS Aggregate Signatures}\\[6pt]
|
|
\large Efficient, Trustless Message Relay Between Sovereign Chains\\via Multi-Signature Verification and Optimistic Delivery}
|
|
|
|
\author{
|
|
Lux Research\thanks{Corresponding author: [email protected]}\\
|
|
\textit{Lux Industries, Inc.}\\
|
|
\texttt{[email protected]}
|
|
}
|
|
|
|
\date{2023}
|
|
|
|
\begin{document}
|
|
|
|
\luxcoverpage
|
|
|
|
\begin{abstract}
|
|
We present Lux Warp Messaging (LWM), a cross-appchain communication protocol that enables trustless message passing between sovereign blockchains within the Lux Network ecosystem. LWM leverages BLS aggregate signatures over the BLS12-381 curve to achieve compact, efficiently verifiable proofs of cross-chain messages without requiring a trusted relay chain or committee. A message originating on a source appchain is signed by a quorum of the source appchain's validators; the aggregate signature, together with a bitmap identifying signers and their stake weights, constitutes a succinct proof verifiable on any destination appchain. We formalize the protocol's security properties, proving that message authenticity holds under a $2/3$ honest-stake assumption and that liveness is preserved as long as at least $2/3$ of the source appchain's weighted validators are online. We introduce an optimistic delivery mode that reduces end-to-end latency from $O(\Delta_{\text{finality}})$ to $O(\Delta_{\text{block}})$ by allowing relayers to submit messages before full finality, with a dispute window for fraud proofs. Empirical benchmarks demonstrate that LWM achieves sub-second cross-appchain message verification with aggregate signature sizes of 48 bytes regardless of the number of signers, and total message overhead below 500 bytes for appchains with up to 1,000 validators.
|
|
\end{abstract}
|
|
|
|
\input{sections/01-introduction}
|
|
\input{sections/02-preliminaries}
|
|
\input{sections/03-protocol-specification}
|
|
\input{sections/04-security-analysis}
|
|
\input{sections/05-optimistic-delivery}
|
|
\input{sections/06-relay-network-design}
|
|
\input{sections/07-validator-set-tracking}
|
|
\input{sections/08-message-batching}
|
|
\input{sections/09-comparison-with-existing-protocols}
|
|
\input{sections/10-empirical-benchmarks}
|
|
\input{sections/11-protocol-extensions}
|
|
\input{sections/12-formal-verification-status}
|
|
\input{sections/13-related-work}
|
|
\input{sections/99-conclusion}
|
|
|
|
\end{document}
|