Non-Trivial Zero-Knowledge Implies One-Way Functions

Suvradip Chakraborty, James Hulett, Dakshita Khurana +1

A recent breakthrough [Hirahara and Nanashima, STOC'2024] established that if $\mathsf{NP}⊈ioP/poly$, the existence of zero-knowledge with negligible errors…