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.
67 lines
3.3 KiB
TeX
67 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{Privacy Pools on Lux: Compliant Transaction Privacy\\with Association Sets}\\[6pt]
|
|
\large Association Set Proofs, Compliance-Friendly Privacy,\\ZK Inclusion Proofs, and Regulatory Compatibility}
|
|
|
|
\author{
|
|
Lux Research\thanks{Corresponding author: [email protected]}\\
|
|
\textit{Lux Industries, Inc.}\\
|
|
\texttt{[email protected]}
|
|
}
|
|
|
|
\date{2024}
|
|
|
|
\begin{document}
|
|
|
|
\luxcoverpage
|
|
|
|
\begin{abstract}
|
|
We present Lux Privacy Pools, a compliant transaction privacy system that enables users to transact privately while proving they are not associated with sanctioned or illicit addresses. The design extends the Privacy Pool framework of Buterin et al.\ to the Lux Network's multi-chain architecture, using zero-knowledge proofs to demonstrate membership in curated ``association sets'' of compliant depositors without revealing which specific deposit a withdrawal corresponds to. Users deposit tokens into a privacy pool contract, which commits deposits to a Merkle tree. To withdraw, a user generates a zero-knowledge proof showing: (i)~knowledge of a valid deposit in the Merkle tree (spend authorization); (ii)~that the deposit is a member of an association set $\mathcal{A}$ of compliant addresses (regulatory compliance); and (iii)~that the withdrawal nullifier is fresh (double-spend prevention). We formalize the association set model, define the roles of Association Set Providers (ASPs), and prove that the system achieves indistinguishability of withdrawals within an association set while preventing illicit fund mixing. The construction uses Groth16 zk-SNARKs over BLS12-381, achieving proof generation in 2.8 seconds on consumer hardware and on-chain verification in 326,000 gas via Lux's BLS12-381 precompile. We prove the system is sound (no withdrawal without a valid deposit), zero-knowledge (no information leakage beyond association set membership), and complete (honest users can always withdraw). We analyze the privacy--compliance tradeoff, showing that larger association sets provide stronger privacy guarantees while maintaining regulatory compatibility.
|
|
\end{abstract}
|
|
|
|
\input{sections/01-introduction}
|
|
\input{sections/02-system-model}
|
|
\input{sections/03-association-sets}
|
|
\input{sections/04-zero-knowledge-proof-system}
|
|
\input{sections/05-protocol-specification}
|
|
\input{sections/06-security-analysis}
|
|
\input{sections/07-privacy-compliance-tradeoff}
|
|
\input{sections/08-multi-chain-privacy}
|
|
\input{sections/09-gas-cost-analysis}
|
|
\input{sections/10-comparison-with-existing-systems}
|
|
\input{sections/11-deposit-denomination-analysis}
|
|
\input{sections/12-implementation-details}
|
|
\input{sections/13-related-work}
|
|
\input{sections/99-conclusion}
|
|
|
|
\end{document}
|