Title
On the Implausibility of Differing-Inputs Obfuscation and Extractable Witness Encryption with Auxiliary Input.
Abstract
The notion of (diO) was introduced by Barak et al. (CRYPTO, pp 1–18, ). It guarantees that, for any two circuits for which it is difficult to come up with an input on which , it should also be difficult to distinguish the obfuscation of from that of . This is a strengthening of , where the above is only guaranteed for circuits that agree on all inputs. Two recent works of Ananth et al. (Differing-inputs obfuscation and applications, , ) and Boyle et al. (Lindell, pp 52–73, ) study the notion of diO in the setting where the attacker is also given some auxiliary information related to the circuits, showing that this notion leads to many interesting applications. In this work, we show that the existence of diO with auxiliary input has a surprising consequence: it implies that a circuit with auxiliary input cannot be obfuscated in a way that hides some information. In other words, under the conjecture that such exists, we show that general-purpose diO cannot exist. This conjecture is a falsifiable assumption which we do not know how to break for candidate obfuscation schemes. We also show similar implausibility results for with auxiliary input and for for general one-way functions.
Year
DOI
Venue
2013
10.1007/s00453-017-0276-6
Algorithmica
Keywords
DocType
Volume
Obfuscation,Witness encryption
Journal
79
Issue
ISSN
Citations 
4
0178-4617
24
PageRank 
References 
Authors
0.67
27
4
Name
Order
Citations
PageRank
Sanjam Garg1171069.92
Craig Gentry29520380.03
Shai Halevi37203442.70
Daniel Wichs4191873.41