SZK/OWF Characterization Theorem

From zkstacks
Jump to navigation Jump to search

Any problem having a computational zero-knowledge proof system can be described as a problem having a statistical zero-knowledge proof plus a set of yes instances from which we can construct a one-way function.