Relect: Single Secret Leader Election via FHE with Reduced Computation and Communication and Transparent Setup
Haofei Liang, Zeyu Liu, Yunhao Wang, Xiang Xie, Yu Yu, Fan Zhang
2026Year
Abstract
Relect — Artifact for ACM CCS 2026 (#923) Paper: #923 Relect: Single Secret Leader Election via FHE with Reduced Computation and Communication and Transparent Setup Authors: Haofei Liang (SJTU), Zeyu Liu (Yale), Yunhao Wang (Yale), Xiang Xie (Primus Labs), Yu Yu (SJTU), Fan Zhang (Yale, IC3) ## About Relect is a single secret leader election (SSLE) protocol based on the Ring Learning with Errors (RLWE) assumption. It uses lattice-based FHE building blocks to elect one leader among G parties without revealing the leader's identity. Compared to the prior state-of-the-art Qelect, Relect removes the trusted setup requirement while achieving substantially faster computation and smaller communication. ## Contents - ssle_core/ — main protocol library (keygen, parameters, protocol helpers)- ssle.rs — full distributed election with real TCP networking- ssle_compute_time.rs — FHE compute-time benchmark (G ≤ 128)- ssle_ge_256_compute_time_improve.rs — FHE benchmark (G ≥ 256, 128 RGSWs)- run_bench.sh / run_bench.ps1 — automated benchmark scripts- analyze_bench.sh / analyze_bench.ps1 — result analysis scripts ## Requirements - Rust stable ≥ 1.95.0 + nightly ≥ 1.97.0- Linux (Ubuntu), Windows 11, or macOS- Multi-core CPU recommended for parallel benchmarks ## Quick Start bashrustup install nightly # Correctness test (G = 4 parties)cargo run --release --package ssle_core --example ssle -- -p 4 # FHE benchmark (G = 4)cargo run --release --package ssle_core --example ssle_compute_time -- -p 4 ## Reproducing Paper Results bashbash run_bench.sh -c nightly -s -r 5bash analyze_bench.sh results/<file> --stats See README.md in the archive for full documentation.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 7b2f0d94-1e13-4445-9483-b14cdd47aed6Builds on23
- GAZELLE: A Low Latency Framework for Secure Neural Network InferenceChiraag Juvekar, Vinod Vaikuntanathan, Anantha P. ChandrakasanUSENIX Security 2018 · 1,075 citations
- Fast Private Set Intersection from Homomorphic EncryptionHao Chen, Kim Laine, Peter RindalCCS 2017 · 446 citations
- PIR with Compressed Queries and Amortized Query ProcessingSebastian Angel, Hao Chen, Kim Laine, Srinath T. V. SettyS&P 2018 · 353 citations
- Labeled PSI from Fully Homomorphic Encryption with Malicious SecurityHao Chen, Zhicong Huang, Kim Laine, Peter RindalCCS 2018 · 242 citations
- SPIRAL: Fast, High-Rate Single-Server PIR via FHE CompositionSamir Jordan Menon, David J. WuS&P 2022 · 153 citations
Related papers
- Qelect: Lattice-based Single Secret Leader Election Made PracticalYunhao Wang, Fan ZhangUSENIX Security 2025
- Asynchronous Lagrange-Based Threshold FHE with Smaller Modulus OverheadWon Kim, Changmin Lee, JeongHwan Lee, Alain Passelègue et al.CRYPTO 2026
- Post-quantum Key Exchange - A New HopeErdem Alkim, Léo Ducas, Thomas Pöppelmann, Peter SchwabeUSENIX Security 2016 · 972 citations
- Mobius: Enabling Byzantine-Resilient Single Secret Leader Election with Uniquely Verifiable StateHanyue Dou, Peifang Ni, Yingzi Gao, Jing XuNDSS 2026
- Fully-Succinct Multi-key FHE and Rate-1 Simulatable Threshold Decryption from LWEAbtin Afshar, Rishab GoyalCRYPTO 2026
