Files
papers/lux-credit-protocol-spec/lux-credit-protocol-spec.tex
zeekay f4ee7a0525 Publish under the org, not a person
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.
2026-09-01 08:58:10 -07:00

65 lines
2.5 KiB
TeX

\documentclass[11pt,twocolumn]{article}
\usepackage{../shared/luxcover}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{amsmath,amssymb,amsthm}
\usepackage{mathtools}
\usepackage{bm}
\usepackage{algorithm}
\usepackage{algpseudocode}
\usepackage{graphicx}
\usepackage{booktabs}
\usepackage{hyperref}
\usepackage{xcolor}
\usepackage{listings}
\usepackage{enumitem}
\usepackage{caption}
\usepackage{tikz}
\usepackage{array}
\usepackage{multirow}
\usepackage{float}
\usepackage{tabularx}
\usetikzlibrary{arrows.meta,positioning,shapes.geometric,fit,calc,automata}
\hypersetup{colorlinks=true,linkcolor=black,citecolor=blue,urlcolor=blue}
\input{../shared/lstlang}
\newtheorem{definition}{Definition}[section]
\newtheorem{invariant}{Invariant}[section]
\newtheorem{property}{Property}[section]
\newtheorem{requirement}{Requirement}[section]
\theoremstyle{remark}
\newtheorem{remark}{Remark}[section]
\title{Lux Credit Protocol Specification:\\Omnichain Collateralized Credit Issuance,\\Transport, and Settlement}
\author{Lux Research}
\date{2024}
\begin{document}
\luxcoverpage
\maketitle
\begin{abstract}
We present the canonical specification for the Lux Credit Protocol, an omnichain system for collateralized credit issuance, cross-chain transport, and atomic settlement. The protocol issues overcollateralized, in-kind redeemable credit tokens (e.g., LETH backed by ETH) subject to hard loan-to-value constraints, with strategy yield accruing to protocol surplus rather than to credit holders. This document establishes the formal asset taxonomy, canonical message schema, system invariants, solvency state machine, failure behavior, and trust assumptions. It serves as the authoritative reference for auditors, counterparties, and implementors. The protocol decomposes into four auditable subsystems---collateral custody, credit issuance, transport/finality, and surplus allocation---each subject to distinct failure classes and verification requirements.
\end{abstract}
\input{sections/01-introduction}
\input{sections/02-asset-taxonomy}
\input{sections/03-canonical-bridge-message-schema}
\input{sections/04-system-invariants}
\input{sections/05-solvency-state-machine}
\input{sections/06-failure-behavior}
\input{sections/07-ats-to-lux-boundary}
\input{sections/08-state-transition-reference}
\input{sections/09-trust-assumptions}
\input{sections/10-open-questions-for-audit}
\input{sections/11-implementation-sequencing}
\input{sections/12-acknowledgments}
\end{document}