Indistinguishability Obfuscation: From Approximate to Exact
Name
Vaikuntanathan_Indistinguishability.pdf
Size
420.86 KB
Format
Adobe PDF
Checksum (MD5)
e263d197d04f20a28937661b6c5aab1f
Author(s)
Bitansky, Nir
Vaikuntanathan, Vinod
Date Issued
December 2015
Journal
Theory of Cryptography
Publisher
Springer-Verlag
Citation
Bitansky, Nir, and Vaikuntanathan, Vinod. “Indistinguishability Obfuscation: From Approximate to Exact.” Kushilevitz E. and Malkin T., editors.Theory of Cryptography. TCC 2016. Lecture Notes in Computer Science, 9562 (2016): 67–95 © 2016 International Association for Cryptologic Research
Version
Author's final manuscript
Abstract
We show general transformations from subexponentially-secure approximate indistinguishability obfuscation (IO) where the obfuscated circuit agrees with the original circuit on a 1/2+ϵ fraction of inputs on a certain samplable distribution, into exact indistinguishability obfuscation where the obfuscated circuit and the original circuit agree on all inputs. As a step towards our results, which is of independent interest, we also obtain an approximate-to-exact transformation for functional encryption. At the core of our techniques is a method for “fooling” the obfuscator into giving us the correct answer, while preserving the indistinguishability-based security. This is achieved based on various types of secure computation protocols that can be obtained from different standard assumptions.
Put together with the recent results of Canetti, Kalai and Paneth (TCC 2015), Pass and Shelat (TCC 2016), and Mahmoody, Mohammed and Nemathaji (TCC 2016), we show how to convert indistinguishability obfuscation schemes in various ideal models into exact obfuscation schemes in the plain model.
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1007/978-3-662-49096-9_4
