SZK/OWF Characterization Theorem
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.