F-NMCOM — Non-malleable commitment

F-NMCOM (Non-malleable commitment) is part of Commitments and Proofs in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

There is no ideal functionality distinct from F-COM/F-MCOM for this primitive: Canetti and Fischlin show that UC-realizing the (multi-session) commitment functionality already implies non-malleability, so F-COM/F-MCOM is itself the ideal functionality this primitive UC-realizes, strictly subsuming the earlier game-based non-malleability notions below.

References:

• Canetti and Fischlin. Universally composable commitments. In Advances in Cryptology – CRYPTO 2001, volume 2139 of LNCS, pages 19–40, 2001.
• Crescenzo, Ishai, and Ostrovsky. Non-interactive and non-malleable commitment. In 30th ACM Symposium on Theory of Computing (STOC), pages 141–150, 1998.
• Fischlin and Fischlin. Efficient non-malleable commitment schemes. In Advances in Cryptology – CRYPTO 2000, volume 1880 of LNCS, pages 413–428, 2000.