TY - GEN
T1 - Succinct garbling and indistinguishability obfuscation for RAM programs
AU - Canetti, Ran
AU - Holmgren, Justin
AU - Jain, Abhishek
AU - Vaikuntanathan, Vinod
PY - 2015/6/14
Y1 - 2015/6/14
N2 - We show how to construct succinct Indistinguishability Obfuscation (IO) schemes for RAM programs. That is, given a RAM program whose computation requires space S and time T, we generate a RAM program with size and space requirements of Õ (S) and runtime Õ(T). The construction uses non-succinct IO (i.e., IO for circuits) and injective one way functions, both with sub-exponential security. A main component in our scheme is a succinct garbling scheme for RAM programs. Our garbling scheme has the same size, space and runtime parameters as above, and requires only polynomial security of the underlying primitives. This scheme has other qualitatively new applications such as publicly verifiable succinct non-interactive delegation of computation and succinct functional encryption.
AB - We show how to construct succinct Indistinguishability Obfuscation (IO) schemes for RAM programs. That is, given a RAM program whose computation requires space S and time T, we generate a RAM program with size and space requirements of Õ (S) and runtime Õ(T). The construction uses non-succinct IO (i.e., IO for circuits) and injective one way functions, both with sub-exponential security. A main component in our scheme is a succinct garbling scheme for RAM programs. Our garbling scheme has the same size, space and runtime parameters as above, and requires only polynomial security of the underlying primitives. This scheme has other qualitatively new applications such as publicly verifiable succinct non-interactive delegation of computation and succinct functional encryption.
UR - http://www.scopus.com/inward/record.url?scp=84954130152&partnerID=8YFLogxK
U2 - 10.1145/2746539.2746621
DO - 10.1145/2746539.2746621
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84954130152
T3 - Proceedings of the Annual ACM Symposium on Theory of Computing
SP - 429
EP - 437
BT - STOC 2015 - Proceedings of the 2015 ACM Symposium on Theory of Computing
PB - Association for Computing Machinery
T2 - 47th Annual ACM Symposium on Theory of Computing, STOC 2015
Y2 - 14 June 2015 through 17 June 2015
ER -