Hash function + iO ⇒ Deniable encryption

Hash function together with iO implies Deniable encryption.

Statement

Migrated verbatim from impagliazzos-five-worlds § Obfustopia:

Indistinguishability obfuscation (iO) together with OWFs defines an even richer world beyond Cryptomania, sometimes called Obfustopia. iO is an extremely powerful primitive: combined with OWFs, it implies PKE, digital signatures, NIZK proofs without a CRS, functional encryption for all circuits, deniable encryption, and much more — SW14.

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.

This relation is stated on 2 pages; the statements above are all of them.

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

• CONJUNCTIVE and DISJUNCTIVELY BUNDLED: “combined with OWFs, it implies PKE, digital signatures, NIZK proofs without a CRS, functional encryption for all circuits, deniable encryption, and much more” is one hypothesis SET {iO, OWF} with five separate conclusions; this record isolates {iO, OWF} ⇒ deniable encryption.
• “and much more” is an unbounded, untypeable tail that a migration must drop.
• OWF hypothesis is again the hash-function page alias.
• “deniable-encryption” has no wiki page.
• Bullet lists multiple conclusions (‘deniable encryption, lossy functions, and many other primitives’); must be split, and the trailing ‘many other primitives’ is untypeable.
• No wiki page for deniable encryption.