Novye Filosofskie Voprosy Fiziki Materialy Konferentsii 1973-1975 Gg

I. Akademiia Nauk Sssr, Mykhailo Erazmovych Kuznetsov, Omel'ianovskyi

A. A. Maksimov, Iliya V. Kuznetsov, M. E. Omel Ianovs Kyi

Kadyrbech Khadzhumarovich Delokarov, Академия наук Ссср

Frédéric Dupuis, Rémi Ligez, Khaireddine Medhioub +2 more

In this paper, we show for the first time that post-quantum one-way permutations are sufficient for perfect zero-knowledge classical arguments for all of NP with security guaranteed against quantum adversaries. We first establish that Naor, Ostrovsky,Venkatesen, and Yung's bit commitment scheme built from any permutation using interactive hashing, called the NOVY scheme, is sum-binding and collapse-binding against quantum polynomial-time committers provided the permutation is post-quantum one-way. We then show that the collapse-binding property of the NOVY scheme allows for Blum's perfect zero-knowledge argument for HAMCYCLE to remain so exactly as it stands against quantum adversaries.

Игорь Михайлович Дремин

Tihomir Vukelja