Theory of Cryptography Conference

TCC 2009: Theory of Cryptography pp 294-314

Secure Arithmetic Computation with No Honest Majority

  • Yuval Ishai
  • Manoj Prabhakaran
  • Amit Sahai
Conference paper

DOI: 10.1007/978-3-642-00457-5_18

Volume 5444 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Ishai Y., Prabhakaran M., Sahai A. (2009) Secure Arithmetic Computation with No Honest Majority. In: Reingold O. (eds) Theory of Cryptography. TCC 2009. Lecture Notes in Computer Science, vol 5444. Springer, Berlin, Heidelberg

Abstract

We study the complexity of securely evaluating arithmetic circuits over finite rings. This question is motivated by natural secure computation tasks. Focusing mainly on the case of two-party protocols with security against malicious parties, our main goals are to: (1) only make black-box calls to the ring operations and standard cryptographic primitives, and (2) minimize the number of such black-box calls as well as the communication overhead.

We present several solutions which differ in their efficiency, generality, and underlying intractability assumptions. These include:
  • An unconditionally secure protocol in the OT-hybrid model which makes a black-box use of an arbitrary ring R,but where the number of ring operations grows linearly with (an upper bound on) log|R|.

  • Computationally secure protocols in the OT-hybrid model which make a black-box use of an underlying ring, and in which the number of ring operations does not grow with the ring size. The protocols rely on variants of previous intractability assumptions related to linear codes. In the most efficient instance of these protocols, applied to a suitable class of fields, the (amortized) communication cost is a constant number of field elements per multiplication gate and the computational cost is dominated by O(logk) field operations per gate, where k is a security parameter. These results extend a previous approach of Naor and Pinkas for secure polynomial evaluation (SIAM J. Comput., 2006).

  • A protocol for the rings ℤm = ℤ/mℤ which only makes a black-box use of a homomorphic encryption scheme. When m is prime, the (amortized) number of calls to the encryption scheme for each gate of the circuit is constant.

All of our protocols are in fact UC-secure in the OT-hybrid model and can be generalized to multiparty computation with an arbitrary number of malicious parties.
Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Yuval Ishai
    • 1
  • Manoj Prabhakaran
    • 2
  • Amit Sahai
    • 3
  1. 1.Technion, Israel and University of CaliforniaLos Angeles 
  2. 2.University of Illinois, Urbana-Champaign 
  3. 3.University of CaliforniaLos Angeles