Paper 2013/687

How to Compress (Reusable) Garbled Circuits

Craig Gentry, Sergey Gorbunov, Shai Halevi, Vinod Vaikuntanathan, and Dhinakaran Vinayagamurthy

Abstract

A fundamental question about (reusable) circuit garbling schemes is: how small can the garbled circuit be? Our main result is a reusable garbling scheme which produces garbled circuits that are the same size as the original circuit {\em plus} an additive $\mathsf{poly}(\text{secp},d)$ bits, where $\text{secp}$ is the security parameter and $d$ is the circuit depth. Save the additive $\mathsf{poly}(\text{secp},d)$ factor, this is the best one could hope for. In contrast, all previous constructions of even single-use garbled circuits incurred a {\em multiplicative} $$ blowup. Our techniques result in constructions of attribute-based and (single key secure) functional encryption schemes where the secret key of a depth $$ circuit $$ consists of $$ itself, {\em plus} $$ additional bits. All of these constructions are based on the subexponential hardness of the learning with errors problem. We also study the dual question of how short the garbled inputs can be, relative to the original input. We demonstrate a (different) reusable circuit garbling scheme, based on multilinear maps, where the size of the garbled input is the same as that of the original input, {\em plus} a $$ factor. Similar to the above, this also results in attribute-based and (single key secure) functional encryption schemes where the size of the ciphertext encrypting an input $$ is the same as that of $$, plus $$ additional bits.