International Association for Cryptologic Research
The simulation paradigm, introduced by the researchers, is of fundamental importance to modern cryptography. In a breakthrough work from 2001, barak (FOCS'01) introduced a novel non-black-box simulation technique. This technique enabled the construction of new cryptographic primitives, such as resettably-sound zero-knowledge arguments, that cannot be proven secure using just black-box simulation techniques. The work of barak and its follow-ups, however, all require stronger cryptographic hardness assumptions than the minimal assumption of one-way functions: the work of barak requires the existence of collision-resistant hash functions, and a very recent result by researchers (FOCS'12) instead requires the existence of an oblivious Transfer protocol.