mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
abf99d05fc
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.
22 lines
943 B
TeX
22 lines
943 B
TeX
\section{FHE VM Integration}
|
|
|
|
\label{sec:fhevm}
|
|
|
|
The threshold TFHE scheme integrates with the Lux FHE VM as follows:
|
|
|
|
\begin{enumerate}[nosep]
|
|
\item \textbf{Encryption}: Users encrypt inputs using the network's public key.
|
|
\item \textbf{Evaluation}: EVM precompiles execute FHE gates on encrypted data without
|
|
decryption. Each Solidity opcode maps to a sequence of TFHE gates.
|
|
\item \textbf{Decryption}: When a smart contract requests decryption, the threshold
|
|
decryption protocol distributes the task among $t$-of-$n$ validators.
|
|
\end{enumerate}
|
|
|
|
The \texttt{FHE.sol} library exposes FHE operations as Solidity functions:
|
|
\texttt{FHE.add}, \texttt{FHE.sub}, \texttt{FHE.mul} for encrypted unsigned integers,
|
|
and \texttt{FHE.lt}, \texttt{FHE.eq} for encrypted comparisons.
|
|
|
|
%% -----------------------------------------------------------------------
|
|
%% 7. EVALUATION
|
|
%% -----------------------------------------------------------------------
|