On the Implausibility of Differing-Inputs Obfuscation and Extractable Witness Encryption with Auxiliary InputSanjam GargCraig Gentryet al.2017Algorithmica
Separating succinct non-interactive arguments from all falsifiable assumptionsCraig GentryDaniel Wichs2011STOC 2011