F-NIZK — Non-interactive zero knowledge

F-NIZK (Non-interactive zero knowledge) is part of Commitments and Proofs in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

References:

• Groth, Ostrovsky, and Sahai. New techniques for noninteractive zero-knowledge. Journal of the ACM, 59(3):11:1–11:35, 2012.
• Rackoff and Simon. Non-interactive zero-knowledge proof of knowledge and chosen ciphertext attack. In Advances in Cryptology – CRYPTO 1991, 1991.