News for hackers. Stuff that matters.
Re:Indistinguishability Obfuscation from Well-Founded Assump... by bawolff on Tuesday November 10, 2020 @11:26AM (#25047736)
I haven't fully absorbed this, but isn't this kind of the opposite of FHE? In FHE you are hiding the input and output. Here you are hiding the function (or in the PHFE application the function and part of the input)
Re:Indistinguishability Obfuscation from Well-Founded Assump... by sillysaurusx on Tuesday November 10, 2020 @11:57AM (#25048088)
Hmm. I thought “fully homomorphic encryption” == “hiding the function,” not merely input and output.

Have I been using that term incorrectly? It’s possible. If so, what’s the canonical acronym for “encrypting a function”?

Re:Indistinguishability Obfuscation from Well-Founded Assump... by feanaro on Tuesday November 10, 2020 @12:33PM (#25048530)
FHE is the ability to encrypt some data and give it to a machine, which is then able to perform sensible operations on it without decrypting it (and thus ever learning the plaintext).

The term you are looking for is "obfuscation". Either black-box obfuscation (which was shown to be impossible) or the indistinguishability obfuscation, which is what the article talks about.

Re:Indistinguishability Obfuscation from Well-Founded Assump... by aruss on Tuesday November 10, 2020 @01:59PM (#25049851)
You can encrypt a function with FHE, but the applications of that are limited because the output is encrypted as well. We've had provably secure FHE since Gentry's 2009 paper.

Obfuscation roughly means "encrypting a function." But here be dragons: since the adversary gets non-black-box access to the implementation of the function (a circuit), and can also learn as many (input, output = f(input)) pairs as they want, it becomes impossible to say that the adversary cannot learn anything else about f in the general case (intuitively, consider a higher-order function f: you could learn a lot about f by computing f(f)).