F-SNARK — Witness-succinct UC NIZK

F-SNARK (Witness-succinct UC NIZK) is part of Commitments and Proofs in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

A 2024 result that some deployed zkSNARKs are unconditionally UC-secure in the random oracle model strengthens this functionality’s realizability picture.

References:

• Ganesh et al. Witness-succinct universally-composable SNARKs. In Advances in Cryptology – EUROCRYPT 2023, Part II, volume 14005 of LNCS, pages 315–346, 2023.
• Chiesa and Fenzi. zkSNARKs in the ROM with unconditional UC-security. In 22nd Theory of Cryptography Conference (TCC), Part I, volume 15364 of LNCS, 2024.
• Kosba et al. C0C0: A framework for building composable zero-knowledge proofs. Cryptology ePrint Archive, Paper 2015/1093, 2015.