mirror of
https://github.com/zoo-apps/papers.git
synced 2026-11-02 02:29:15 +00:00
zeekay
0d448ea14f
zoo-fhe/99-acknowledgments.tex: bibliography drops zama-fhevm +
zama-tfhers entries (the false claim that Zoo's GPU kernels build on
tfhe-rs); replaces with lux-fhe-smart-contracts + lux-fhe-go
cross-cites.
zoo-fhe/10-related-work.tex: consolidates the "Lux TFHE / Zama fhEVM /
Concrete-TFHE-rs" three paragraphs into one "Lux-FHE substrate"
paragraph pointing at lux/fhe, lux/precompile/fhe, luxcpp/gpu, and
lux-private/gpu-kernels/{cuda,metal,wgsl,mlx}/fhe/. Kept Sunscreen as
the open compiler comparator.
zoo-fhe-ai/07-performance-evaluation.tex: feature-comparison table
drops the "fhEVM (Zama)" and "Fhenix CoFHE" rows; keeps Lux FHEVM,
Sunscreen, and Zoo FHE.
zoo-fhe-ai/09-related-work.tex: rewrites "On-chain FHE" paragraph
around the Lux FHEVM native-precompile architecture instead of Zama.
zoo-fhe-ai/99-acknowledgments.tex: drops "Zama for the TFHE library"
(we don't use it); thanks the actual Lux substrate by name
(lux/precompile/fhe + lux/fhe + luxcpp/gpu + lux-private/gpu-kernels).
Bibkey lux-fhevm title corrected fhEVM -> FHEVM.
Pairs with the lux/papers c430f63 + 4eb25d6 sweeps and the parallel
liquidity/papers commit.
24 lines
1.4 KiB
TeX
24 lines
1.4 KiB
TeX
\section{Related Work}
|
|
|
|
\label{sec:related}
|
|
%----------------------------------------------------------------------
|
|
|
|
\textbf{Lux-FHE substrate.} \Zoo{} consumes the \Lux{} FHE stack
|
|
unchanged: \texttt{lux/fhe} (Go TFHE on \texttt{luxfi/lattice}~\cite{lux-fhe-go}),
|
|
the \texttt{lux/precompile/fhe} native EVM precompiles, and the
|
|
\texttt{luxcpp/gpu} dispatcher routing PBS / key-switch /
|
|
blind-rotate to backend plugins in
|
|
\texttt{lux-private/gpu-kernels/\{cuda,metal,wgsl,mlx\}/fhe/}. The
|
|
\Lux{} \texttt{lux-fhe-smart-contracts}~\cite{lux-fhe-smart-contracts}
|
|
paper documents the native-precompile architecture (addresses
|
|
\texttt{0x...80}--\texttt{0x...83}) that \Zoo{}'s \TChain{} extends
|
|
with threshold decryption, \CKKS{} support for approximate arithmetic
|
|
(enabling ML inference), and formal verification of noise bounds in
|
|
Lean~4.
|
|
|
|
\textbf{Sunscreen FHE.} The Sunscreen compiler~\cite{sunscreen2023} provides a Rust-based FHE toolkit targeting BFV and CKKS. \Zoo{} builds on similar compiler infrastructure but integrates it directly into the blockchain VM with gas metering and threshold key management.
|
|
|
|
\textbf{Threshold FHE in MPC.} Boneh et al.~\cite{boneh2018threshold} formalized threshold FHE for multi-party computation. \Zoo{} adapts this framework to the blockchain setting, replacing interactive MPC rounds with asynchronous partial-decryption collection anchored by BFT consensus.
|
|
|
|
%----------------------------------------------------------------------
|