A flurry of exciting recent research has shown that quantum cryptosystems (beyond QKD) can exist relative to certain oracles that break all classical cryptography. But obtaining unrelativized constructions of quantum cryptosystems from assumptions clearly weaker than the existence of one-way functions remained open. In this talk, I will describe how to base quantum commitments and secure computation on well-studied mathematical assumptions, from the quantum advantage literature, that do not imply the existence of one-way functions. To our knowledge, this provides the first unrelativized foundations for Microcrypt.
By Dakshita Khurana
By Christoph Striecks
By Elham Kashefi
By Javad Shabani
By Tomoyuki Morimae
By Pouria Fallahpour
By Mehrnoosh Sadrzadeh
By Giulia Gubitosi
By Robin van Haastrecht
