International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: GGH15 Beyond Permutation Branching Programs: Proofs, Attacks, and Candidates

Authors:
Yilei Chen
Vinod Vaikuntanathan
Hoeteck Wee
Download:
DOI: 10.1007/978-3-319-96881-0_20
Search ePrint
Search Google
Presentation: Slides
Conference: CRYPTO 2018
Abstract: We carry out a systematic study of the GGH15 graded encoding scheme used with general branching programs. This is motivated by the fact that general branching programs are more efficient than permutation branching programs and also substantially more expressive in the read-once setting. Our main results are as follows:Proofs. We present new constructions of private constrained PRFs and lockable obfuscation, for constraints (resp. functions to be obfuscated) that are computable by general branching programs. Our constructions are secure under LWE with subexponential approximation factors. Previous constructions of this kind crucially rely on the permutation structure of the underlying branching programs. Using general branching programs allows us to obtain more efficient constructions for certain classes of constraints (resp. functions), while posing new challenges in the proof, which we overcome using new proof techniques.Attacks. We extend the previous attacks on indistinguishability obfuscation (iO) candidates that use GGH15 encodings. The new attack simply uses the rank of a matrix as the distinguisher, so we call it a “rank attack”. The rank attack breaks, among others, the iO candidate for general read-once branching programs by Halevi, Halevi, Shoup and Stephens-Davidowitz (CCS 2017).Candidate Witness Encryption and iO. Drawing upon insights from our proofs and attacks, we present simple candidates for witness encryption and iO that resist the existing attacks, using GGH15 encodings. Our candidate for witness encryption crucially exploits the fact that formulas in conjunctive normal form (CNFs) can be represented by general, read-once branching programs.
Video from CRYPTO 2018
Video provided under Creative Commons / CC BY 3.0
BibTeX
@inproceedings{crypto-2018-28826,
  title={GGH15 Beyond Permutation Branching Programs: Proofs, Attacks, and Candidates},
  booktitle={Advances in Cryptology – CRYPTO 2018},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={10992},
  pages={577-607},
  doi={10.1007/978-3-319-96881-0_20},
  author={Yilei Chen and Vinod Vaikuntanathan and Hoeteck Wee},
  year=2018
}