Paper 2019/082

Arithmetic Garbling from Bilinear Maps

Nils Fleischhacker, Giulio Malavolta, and Dominique Schröder


We consider the problem of garbling arithmetic circuits and present a garbling scheme for inner-product predicates over exponentially large fields. Our construction stems from a generic transformation from predicate encryption which makes only blackbox calls to the underlying primitive. The resulting garbling scheme has practical efficiency and can be used as a garbling gadget to securely compute common arithmetic subroutines. We also show that inner-product predicates are complete by generically bootstrapping our construction to arithmetic garbling for polynomial-size circuits, albeit with a loss of concrete efficiency. In the process of instantiating our construction we propose two new predicate encryption schemes, which might be of independent interest. More specifically, we construct (i) the first pairing-free (weakly) attribute-hiding non-zero inner-product predicate encryption scheme, and (ii) a key-homomorphic encryption scheme for linear functions from bilinear maps. Both schemes feature constant-size keys and practical efficiency.

Available format(s)
Public-key cryptography
Publication info
Preprint. MINOR revision.
Arithmetic GarblingPredicate Encryption
Contact author(s)
malavolta @ cs fau de
mail @ nilsfleischhacker de
dominique schroeder @ fau de
2019-01-28: received
Short URL
Creative Commons Attribution


      author = {Nils Fleischhacker and Giulio Malavolta and Dominique Schröder},
      title = {Arithmetic Garbling from Bilinear Maps},
      howpublished = {Cryptology ePrint Archive, Paper 2019/082},
      year = {2019},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.