Hash function + iO ⇒ FE
Hash function together with iO implies FE.
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:
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.
Citations disagree across pages: [object Object]
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} ⇒ functional encryption for all circuits.
- “and much more” is an unbounded, untypeable tail that a migration must drop.
- OWF hypothesis is again the hash-function page alias.
- “functional-encryption” has no wiki page (content/Primitives has ABE, IBE, HVE, inner-product predicate encryption, but no functional encryption page).
- ‘OWF’ here is bare text, not a wikilink (unlike line 51).
- No page for functional encryption; conclusion slug invented.
- Two citations on one bullet - unclear whether both prove the same statement or different variants.