Separating succinct non-interactive arguments from all falsifiable assumptions. - Gentry, Craig; Wichs, Daniel (2011)