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

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

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 …

argument computational cryptographic eprint report head knowledge mpc oblivious proof report security system systems transfer van