Binary AMD Circuits from Secure Multiparty Computation

Conference paper

DOI: 10.1007/978-3-662-53641-4_14

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9985)
Cite this paper as:
Genkin D., Ishai Y., Weiss M. (2016) Binary AMD Circuits from Secure Multiparty Computation. In: Hirt M., Smith A. (eds) Theory of Cryptography. TCC 2016. Lecture Notes in Computer Science, vol 9985. Springer, Berlin, Heidelberg

Abstract

An AMD circuit over a finite field \(\mathbb {F}\) is a randomized arithmetic circuit that offers the “best possible protection” against additive attacks. That is, the effect of every additive attack that may blindly add a (possibly different) element of \(\mathbb {F}\) to every internal wire of the circuit can be simulated by an ideal attack that applies only to the inputs and outputs.

Genkin et al. (STOC 2014, Crypto 2015) introduced AMD circuits as a means for protecting MPC protocols against active attacks, and showed that every arithmetic circuit C over \(\mathbb {F}\) can be transformed into an equivalent AMD circuit of size O(|C|) with \(O(1/|\mathbb {F}|)\) simulation error. However, for the case of the binary field \(\mathbb {F}=\mathbb {F}_2\), their constructions relied on a tamper-proof output decoder and could only realize a weaker notion of security.

We obtain the first constructions of fully secure binary AMD circuits. Given a boolean circuit C and a statistical security parameter \(\sigma \), we construct an equivalent binary AMD circuit \(C'\) of size \(|C|\cdot {\text {polylog} }(|C|,\sigma )\) (ignoring lower order additive terms) with \(2^{-\sigma }\) simulation error. That is, the effect of toggling an arbitrary subset of wires can be simulated by toggling only input and output wires.

Our construction combines in a general way two types of “simple” honest-majority MPC protocols: protocols that only offer security against passive adversaries, and protocols that only offer correctness against active adversaries. As a corollary, we get a conceptually new technique for constructing active-secure two-party protocols in the OT-hybrid model, and reduce the open question of obtaining such protocols with constant computational overhead to a similar question in these simpler MPC models.

Keywords

Algebraic Manipulation Detection AMD circuits Secure multiparty computation 

Copyright information

© International Association for Cryptologic Research 2016

Authors and Affiliations

  1. 1.TechnionHaifaIsrael
  2. 2.Tel Aviv UniversityTel AvivIsrael
  3. 3.UCLALos AngelesUSA

Personalised recommendations