Advertisement

Best of Both Worlds in Secure Computation, with Low Communication Overhead

  • Daniel Genkin
  • S. Dov Gordon
  • Samuel Ranellucci
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10892)

Abstract

When performing a secure multiparty computation with a few hundred parties, using the best protocols known today, bandwidth constraints are the primary bottleneck. A long line of work demonstrates that n parties can compute a circuit C of depth d while communicating \(O(|C|\log |C| + \mathsf {poly}(d, n)\) field elements per party, as long as a majority of parties are honest. However, in the malicious majority setting, a lot less is known. The work of Nielsen and Ranellucci is the first to provide constant-overhead in the communication complexity when a majority of parties are malicious; their result demonstrates feasibility, but is quite complex and impractical.

In this work, we construct a new MPC protocol in the pre-processing model. We introduce a new middle-ground: our protocol has low communication and provides robustness when a majority of parties are honest, and gives security with abort (possibly with higher communication cost) when a majority of players are malicious. Robustness is impossible when a majority of parties are malicious; viewing the increased communication complexity as a form of denial of service, similar to an abort, we view our result as providing the “best of both worlds”.

Notes

Acknowledgments

This material is based upon work supported by the National Science Foundation under Grants No. #1564088, #1111599, #1514261, #1652259 and #1563722. Daniel Genkin was also supported by financial assistance award 70NANB15H328 from the U.S. Department of Commerce, NIST, the 2017–2018 Rothschild Postdoctoral Fellowship, and DARPA Contract #FA8650-16-C-7622.

References

  1. 1.
    Beaver, D.: Efficient multiparty protocols using circuit randomization. In: Feigenbaum, J. (ed.) CRYPTO 1991. LNCS, vol. 576, pp. 420–432. Springer, Heidelberg (1992).  https://doi.org/10.1007/3-540-46766-1_34CrossRefGoogle Scholar
  2. 2.
    Damgård, I., Ishai, Y., Krøigaard, M.: Perfectly secure multiparty computation and the computational overhead of cryptography. In: Gilbert, H. (ed.) EUROCRYPT 2010. LNCS, vol. 6110, pp. 445–465. Springer, Heidelberg (2010).  https://doi.org/10.1007/978-3-642-13190-5_23CrossRefGoogle Scholar
  3. 3.
    Damgård, I., Ishai, Y., Krøigaard, M., Nielsen, J.B., Smith, A.: Scalable multiparty computation with nearly optimal work and resilience. In: Wagner, D. (ed.) CRYPTO 2008. LNCS, vol. 5157, pp. 241–261. Springer, Heidelberg (2008).  https://doi.org/10.1007/978-3-540-85174-5_14CrossRefGoogle Scholar
  4. 4.
    Damgård, I., Keller, M., Larraia, E., Pastro, V., Scholl, P., Smart, N.P.: Practical covertly secure MPC for dishonest majority – or: breaking the SPDZ limits. In: Crampton, J., Jajodia, S., Mayes, K. (eds.) ESORICS 2013. LNCS, vol. 8134, pp. 1–18. Springer, Heidelberg (2013).  https://doi.org/10.1007/978-3-642-40203-6_1CrossRefGoogle Scholar
  5. 5.
    Damgård, I., Nielsen, J.B.: Scalable and unconditionally secure multiparty computation. In: Menezes, A. (ed.) CRYPTO 2007. LNCS, vol. 4622, pp. 572–590. Springer, Heidelberg (2007).  https://doi.org/10.1007/978-3-540-74143-5_32CrossRefGoogle Scholar
  6. 6.
    Damgård, I., Pastro, V., Smart, N., Zakarias, S.: Multiparty computation from somewhat homomorphic encryption. In: Safavi-Naini, R., Canetti, R. (eds.) CRYPTO 2012. LNCS, vol. 7417, pp. 643–662. Springer, Heidelberg (2012).  https://doi.org/10.1007/978-3-642-32009-5_38CrossRefGoogle Scholar
  7. 7.
    Damgård, I., Zakarias, S.: Constant-overhead secure computation of Boolean circuits using preprocessing. In: Sahai, A. (ed.) TCC 2013. LNCS, vol. 7785, pp. 621–641. Springer, Heidelberg (2013).  https://doi.org/10.1007/978-3-642-36594-2_35CrossRefGoogle Scholar
  8. 8.
    Dowsley, R., Müller-Quade, J., Otsuka, A., Hanaoka, G., Imai, H., Nascimento, A.C.A.: Universally composable and statistically secure verifiable secret sharing scheme based on pre-distributed data. IEICE Trans. 94–A(2), 725–734 (2011)CrossRefGoogle Scholar
  9. 9.
    Franklin, M.K., Yung, M.: Communication complexity of secure computation (extended abstract). In: Proceedings of the 24th Annual ACM Symposium on Theory of Computing, pp. 699–710 (1992)Google Scholar
  10. 10.
    Genkin, D., Ishai, Y., Polychroniadou, A.: Efficient multi-party computation: from passive to active security via secure SIMD circuits. In: Gennaro, R., Robshaw, M. (eds.) CRYPTO 2015. LNCS, vol. 9216, pp. 721–741. Springer, Heidelberg (2015).  https://doi.org/10.1007/978-3-662-48000-7_35CrossRefGoogle Scholar
  11. 11.
    Genkin, D., Ishai, Y., Prabhakaran, M., Sahai, A., Tromer, E.: Circuits resilient to additive attacks with applications to secure computation. In: Symposium on Theory of Computing, STOC 2014, pp. 495–504 (2014)Google Scholar
  12. 12.
    Hazay, C., Orsini, E., Scholl, P., Soria-Vazquez, E.: Efficient MPC from syndrome decoding (or: Honey, I shrunk the keys). IACR Cryptology ePrint Archive 2018:208 (2018)Google Scholar
  13. 13.
    Ishai, Y., Katz, J., Kushilevitz, E., Lindell, Y., Petrank, E.: On achieving the “best of both worlds” in secure multiparty computation. SIAM J. Comput. 40(1), 122–141 (2011)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Ishai, Y., Kushilevitz, E., Prabhakaran, M., Sahai, A., Yu, C.-H.: Secure protocol transformations. In: Robshaw, M., Katz, J. (eds.) CRYPTO 2016. LNCS, vol. 9815, pp. 430–458. Springer, Heidelberg (2016).  https://doi.org/10.1007/978-3-662-53008-5_15CrossRefGoogle Scholar
  15. 15.
    Katz, J.: On achieving the “best of both worlds” in secure multiparty computation. In: Proceedings of the 39th Annual ACM Symposium on Theory of Computing, pp. 11–20 (2007)Google Scholar
  16. 16.
    Nielsen, J.B., Ranellucci, S.: On the computational overhead of MPC with dishonest majority. In: Fehr, S. (ed.) PKC 2017. LNCS, vol. 10175, pp. 369–395. Springer, Heidelberg (2017).  https://doi.org/10.1007/978-3-662-54388-7_13CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • Daniel Genkin
    • 1
    • 3
  • S. Dov Gordon
    • 2
  • Samuel Ranellucci
    • 2
    • 3
  1. 1.University of PennsylvaniaPhiladelphiaUSA
  2. 2.George Mason UniversityArlingtonUSA
  3. 3.University of MarylandCollege ParkUSA

Personalised recommendations