mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
4a753bb639
Restructured from flat .tex/.pdf files into per-paper subdirectories. Added Antje Worring as co-author on all papers. Synced PDFs to pdfs/ for download site.
36 lines
2.0 KiB
TeX
36 lines
2.0 KiB
TeX
\section{Introduction}
|
|
|
|
\label{sec:introduction}
|
|
|
|
Fully Homomorphic Encryption (FHE) enables computation on encrypted data without
|
|
decrypting it, a capability with profound implications for blockchain privacy.
|
|
Smart contracts operating on encrypted inputs can implement confidential token transfers,
|
|
private auctions, sealed-bid voting, and encrypted machine learning inference---all
|
|
without revealing the underlying data to validators or observers.
|
|
|
|
TFHE (Torus FHE)~\cite{chillotti2020tfhe} is the leading boolean-circuit FHE scheme,
|
|
encrypting individual bits and evaluating gates through a bootstrapping procedure that
|
|
refreshes the noise after each gate. Unlike CKKS (which operates on approximate
|
|
arithmetic) or BGV/BFV (which operate on integer arithmetic), TFHE's bit-level
|
|
granularity is ideally suited for arbitrary computation: any function expressible as a
|
|
boolean circuit can be evaluated gate-by-gate.
|
|
|
|
This paper extends TFHE with threshold decryption for blockchain applications: the secret
|
|
key is distributed among $n$ validators via Shamir sharing, and any $t$ validators can
|
|
collaboratively decrypt the result without reconstructing the full key. This is critical
|
|
for decentralized FHE, where no single party should possess the decryption capability.
|
|
|
|
\paragraph{Contributions.}
|
|
\begin{enumerate}[nosep]
|
|
\item A complete description of the TFHE boolean gate evaluation pipeline, including
|
|
the blind rotation and CMPCOMBINE optimization (\S\ref{sec:tfhe}).
|
|
\item Threshold decryption protocol with security proof under LWE (\S\ref{sec:threshold}).
|
|
\item Concrete parameter selection and security analysis (\S\ref{sec:params}).
|
|
\item Integration with the Lux FHE VM for on-chain encrypted computation (\S\ref{sec:fhevm}).
|
|
\item Benchmarks for all boolean gates and multi-bit operations (\S\ref{sec:evaluation}).
|
|
\end{enumerate}
|
|
|
|
%% -----------------------------------------------------------------------
|
|
%% 2. TFHE PRELIMINARIES
|
|
%% -----------------------------------------------------------------------
|