On Proofs of Plaintext Knowledge for the Joye-Libert Encryption Scheme
(2025) 23rd International Conference on Applied Cryptography and Network Security (ACNS) — Location: Munich, Germany (23.June.2025)
Files
ZK-JL-paper.pdf
Open Access - Adobe PDF
- 511.09 KB
Details
- Authors
- Abstract
- We provide a simpler and more efficient way to prove knowledge of the plaintext in (a variant of) the Joye-Libert additively homomorphic cryptosystem. We also extend it into a proof that two ciphertexts encrypt the same plaintext under different public keys. This provides a more efficient instantiation of the Naor-Yung paradigm for IND-CCA2 security than in earlier proofs of plaintext equalities for JL ciphertexts. As a result of independent interest, we show that applying the Naor-Yung technique to similar-looking schemes is non-trivial when the soundness of the NIZK proof of plaintext equality relies on an assumption that directly relates to the infeasibility of recovering the secret key from the public key in the underlying IND-CPA scheme.
- Affiliations
Citations
Libert, B., & Peters, T. (2025). On Proofs of Plaintext Knowledge for the Joye-Libert Encryption Scheme. Lecture Notes in Computer Science. Published. 23rd International Conference on Applied Cryptography and Network Security (ACNS), Munich, Germany. https://doi.org/10.1007/978-3-031-95764-2\_11 (Original work published 2025)