mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +00:00
zeekay
2f7b324257
Drops the named-competitor scaffold's TFHE-rs and Concrete (both Zama) entries from
lux-fhe-benchmarks and the matching bibliography. The CGGI academic citation for the
underlying TFHE scheme (Chillotti et al., Journal of Cryptology 2020) is kept — it's
the scheme we implement, not a library we depend on. Competitor coverage retained:
TFHE-CGGI reference, OpenFHE, VeloFHE/OpenFHE-GPU, Microsoft SEAL.
Other touch-ups in the same sweep:
lux-fhe-runtime/08-related-work.tex — rewrites "Concrete (Zama)" subsection
as a generic "FHE compiler stacks" one.
lux-fhe-smart-contracts main + 03 — positive framing ("on luxfi/lattice")
instead of negative ("not tfhe-rs, not Zama").
legacy-md/FOLLOW-UPS-2026-05-12.md — drops Zama tfhe-rs from the bench harness
plan; OpenFHE + Lux-FHE only.
Lux FHE is native: luxfi/fhe + luxfi/lattice, with optional C++ / GPU (Metal+CUDA) /
FPGA acceleration paths. No tfhe-rs, no Zama, no external library wrapping.
80 lines
2.8 KiB
TeX
80 lines
2.8 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{xcolor}
|
|
\usepackage{booktabs}
|
|
\usepackage{enumitem}
|
|
\usepackage{tikz}
|
|
\usepackage{tabularx}
|
|
\usepackage{mathtools}
|
|
|
|
\hypersetup{colorlinks=true,linkcolor=black,citecolor=blue,urlcolor=blue}
|
|
|
|
\newtheorem{theorem}{Theorem}[section]
|
|
\newtheorem{lemma}[theorem]{Lemma}
|
|
\newtheorem{corollary}[theorem]{Corollary}
|
|
\newtheorem{proposition}[theorem]{Proposition}
|
|
\newtheorem{definition}{Definition}[section]
|
|
\newtheorem{remark}{Remark}[section]
|
|
|
|
\title{\textbf{Fully Homomorphic Encryption\\for Smart Contract Execution}}
|
|
|
|
\author{
|
|
Zach Kelling \\
|
|
\textit{Lux Industries, Inc.}\\
|
|
\texttt{[email protected]}
|
|
}
|
|
|
|
\date{2024}
|
|
|
|
\begin{document}
|
|
|
|
\luxcoverpage
|
|
|
|
\begin{abstract}
|
|
We present an architecture for executing smart contracts on fully homomorphic
|
|
encrypted (FHE) data, enabling private DeFi---decentralized finance where transaction
|
|
amounts, balances, and orderbook entries are encrypted on-chain and manipulated
|
|
without decryption. The implementation uses Ring-LWE-based FHE with native Go and
|
|
NTT SIMD acceleration on \texttt{luxfi/lattice}, providing a self-contained
|
|
cryptographic backend. We describe the FHE virtual machine architecture deployed
|
|
on the LiquidFHE chain, including encrypted state transitions, noise budget
|
|
management, and bootstrapping strategies for long-running computations. Practical
|
|
applications include encrypted orderbooks (dark pools compliant with Regulation ATS),
|
|
private governance voting, and sealed-bid auctions. We provide performance benchmarks:
|
|
bootstrapping at 12\,ms per gate (TFHE boolean), 45\,ms for 16-bit encrypted
|
|
addition (BFV batched), and 180\,ms for 16-bit encrypted multiplication. The FHE
|
|
precompile is deployed at address
|
|
\texttt{0x0700000000000000000000000000000000000000} on the Lux C-Chain, with gas
|
|
costs calibrated to computational overhead.
|
|
|
|
\textbf{Keywords}: fully homomorphic encryption, FHE, smart contracts, private DeFi,
|
|
Ring-LWE, encrypted computation, dark pools
|
|
\end{abstract}
|
|
|
|
\tableofcontents
|
|
\newpage
|
|
|
|
%% ========================================================================
|
|
%% 1. INTRODUCTION
|
|
%% ========================================================================
|
|
|
|
\input{sections/01-introduction}
|
|
\input{sections/02-fhe-primer}
|
|
\input{sections/03-lux-fhe-implementation}
|
|
\input{sections/04-encrypted-state-transitions}
|
|
\input{sections/05-fhe-vm-architecture-on-liquidfhe-chain}
|
|
\input{sections/06-practical-applications}
|
|
\input{sections/07-performance}
|
|
\input{sections/08-security-analysis}
|
|
\input{sections/09-related-work}
|
|
\input{sections/99-conclusion}
|
|
|
|
\end{document}
|