Hash function + iO ⇒ Lossy trapdoor functions

Hash function together with iO implies Lossy trapdoor functions.

Statement

Migrated verbatim from indistinguishability-obfuscation § Other results:

• iO + OWF → deniable encryption, lossy functions, and many other primitives — SW14

Notes

class: unstated: no citing page says which notion of reduction is meant. Recording a class the wiki does not state would add a claim.

Recorded during migration and not fixed — these are claims about the source text, not changes to it:

• Second conclusion packed into the same bullet.
• ‘lossy functions’ is ambiguous (lossy trapdoor functions? lossy encryption?) and has no page.