[Resource Topic] 2023/1470: Zero-Knowledge Systems from MPC-in-the-Head and Oblivious Transfer

Welcome to the resource topic for 2023/1470

Zero-Knowledge Systems from MPC-in-the-Head and Oblivious Transfer

Authors: Cyprien Delpech de Saint Guilhem, Ehsan Ebrahimi, Barry van Leeuwen


Zero-knowledge proof or argument systems for generic NP statements (such as circuit satisfiability) have typically been instantiated with cryptographic commitment schemes; this implies that the security of the proof system (e.g., computational or statistical) depends on that of the chosen commitment scheme. The MPC-in-the-Head paradigm (Ishai et al., JoC 2009) uses the same approach to construct zero-knowledge systems from the simulated execution of secure multiparty computation protocols.

This paper presents a novel method to construct zero-knowledge protocols which takes advantage of the unique properties of MPC-in-the-Head and replaces commitments with an oblivious transfer protocol. The security of the new construction is proven in the Universal Composability framework of security and suitable choices of oblivious transfer protocols are discussed together with their implications on the security properties and computational efficiency of the zero-knowledge system.

ePrint: https://eprint.iacr.org/2023/1470

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .