Paper 2026/2263

Levis: Extension-Free Multi-Key Fully Homomorphic Encryption in the Plain Model

Abstract

Multi-key fully homomorphic encryption (MKFHE) enables computation over ciphertexts encrypted under keys independently generated by different parties. Recently, Min, Park, and Song (MPS, CRYPTO 2026) constructed the first RLWE-based MKFHE scheme in the plain model, i.e., without trusted or interactive setup. Their construction requires each local compact Gentry-Sahai-Waters (GSW) ciphertext to be extended to a joint-key GSW-like ciphertext before evaluation, incurring $O(dk^2)$ gadget products per input for $k$ parties and gadget length $d$. In this paper, we first construct an extension-free MKFHE scheme (called Levis-fast) in the plain model, eliminating the $O(dk^2)$ gadget products required for joint-key ciphertext extension before homomorphic evaluation. Our core technique is a compatibility technique, termed Cofactor Compatibility, which establishes a common projective decryption relation across ciphertexts encrypted under independently generated local keys, enabling their direct homomorphic evaluation. We further present a compact variant (named as Levis-small) that reduces the communication of each fresh ciphertext from $O(dk^2)$ to $O(d)$ ring elements with only a lightweight lifting operation. A proof-of-concept implementation shows that, compared with MPS, for $k\in\{2,4,8\}$, our construction Levis-fast achieves evaluation speedups of $67.7\times$, $52.8\times$, and $139.4\times$, respectively, while our compact variant Levis-small reduces communication by a factor of $2.5\times$, $8.7\times$ and $14.2\times$, and achieves evaluation speedups of $11.8\times$, $19.7\times$, and $54.4\times$, respectively.