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