cronokirby

(2026-08) Relect; Single Secret Leader Election via FHE with Reduced Computation and Communication and Transparent Setup

2026-08-05

Abstract

In a single secret leader election (SSLE) protocol, all parties collectively and obliviously elect one leader. Parties other than the selected leader should not be able to learn the identity of the leader unless it is revealed by the leader itself. The problem is first formalized by Boneh et al. (AFT 2020), and the first concretely feasible lattice-based SSLE with proof-of-concept implementations, Qelect\mathsf{Qelect}, was recently introduced by Wang and Zhang (USENIX 2025).

In this work, we present Relect\mathsf{Relect}, an efficient SSLE protocol, based on the Ring Learning with Error assumption. We build it by leveraging the algebraic structure of the underlying threshold Fully Homomorphic Encryption (FHE) and by designing tailored homomorphic circuits. Compared to prior works, Relect\mathsf{Relect} (1) achieves substantially higher efficiency and (2) removes the strong environment assumption in Qelect\mathsf{Qelect} (a trusted setup), and thereby also allows dynamic leader selection for each round.

Concretely, for 3232 -- 20482048 parties, our local FHE computation runtime (a major efficiency bottleneck for SSLE) achieves 7.157.15 -- 42.4×42.4\times faster than Qelect\mathsf{Qelect} for a single thread and 7.107.10 -- 48×48\times faster for 16 threads. Furthermore, we show that for the same parameters, our communication cost is also 1.141.14 -- 2×2\times smaller. As mentioned, this is achieved while removing the trusted setup.

In terms of end-to-end runtime, following Qelect\mathsf{Qelect}, we tested 22 -- 128128 parties. We show that under the LAN setting, Relect\mathsf{Relect} is 2.772.77 -- 345×345\times faster than Qelect\mathsf{Qelect} per round. Under the WAN setting, Relect\mathsf{Relect} is 1.941.94 to 17.2×17.2\times faster than Qelect\mathsf{Qelect}. Note that these performance gains are all achieved while removing the trusted assumption and achieving dynamic leader selection for each round.