Abstract
Private Simultaneous Messages (PSM) is a minimal model of secure computation, where the input players with shared randomness send messages to the output player simultaneously and only once. In this field, finding upper and lower bounds on communication complexity of PSM protocols is important, and in particular, identifying the optimal one where the upper and lower bounds coincide is the ultimate goal. However, up until now, functions for which the optimal communication complexity has been determined are few: An example of such a function is the two-input AND function where \((2\log _2 3)\)-bit communication is optimal. In this paper, we provide new upper and lower bounds for several concrete functions. For lower bounds, we introduce a novel approach using combinatorial objects called abstract simplicial complexes to represent PSM protocols. Our method is suitable for obtaining non-asymptotic explicit lower bounds for concrete functions. By deriving lower bounds and constructing concrete protocols, we show that the optimal communication complexity for the equality and majority functions with three input bits are \(3\log _2 3\) bits and 6 bits, respectively. We also derive new lower bounds for the n-input AND function, three-valued comparison function, and multiplication over finite rings.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Applebaum, B., Holenstein, T., Mishra, M., Shayevitz, O.: The communication complexity of private simultaneous messages, revisited. J. Cryptol. 33(3), 917–953 (2020)
Assouline, L., Liu, T.: Multi-party PSM, revisited. In: Nissim, K., Waters, B. (eds.) TCC 2021. LNCS, vol. 13043, pp. 194–223. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-90453-1_7
Ball, M., Holmgren, J., Ishai, Y., Liu, T., Malkin, T.; On the complexity of decomposable randomized encodings, or: how friendly can a garbling-friendly PRF be? In: ITCS 2020. Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2020)
Ball, M., Randolph, T.: A note on the complexity of private simultaneous messages with many parties. In: ITC 2022. Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2022)
Beimel, A., Ishai, Y., Kumaresan, R., Kushilevitz, E.: On the cryptographic complexity of the worst functions. In: Lindell, Y. (ed.) TCC 2014. LNCS, vol. 8349, pp. 317–342. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54242-8_14
Beimel, A., Kushilevitz, E., Nissim, P.: The complexity of multiparty PSM protocols and related models. In: Nielsen, J.B., Rijmen, V. (eds.) EUROCRYPT 2018. LNCS, vol. 10821, pp. 287–318. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-78375-8_10
Data, D., Prabhakaran, M.M., Prabhakaran, V.M.: On the communication complexity of secure computation. In: Garay, J.A., Gennaro, R. (eds.) CRYPTO 2014. LNCS, vol. 8617, pp. 199–216. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44381-1_12
Feige, U., Killian, J., Naor, M.: A minimal model for secure computation. In: Proceedings of the 26th ACM STOC, pp. 554–563 (1994)
Ishai, Y., Kushilevitz, E.: Private simultaneous messages protocols with applications. In: Proceedings of the 5th Israeli Symposium on Theory of Computing and Systems (ISTCS 1997), pp. 174–183. IEEE (1997)
Shinagawa, K., Eriguchi, R., Satake, S., Nuida, K.: Private simultaneous messages based on quadratic residues. Designs Codes Cryptogr. (to appear)
Vaikuntanathan, V.: Some open problems in information-theoretic cryptography. In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2018)
Acknowledgments
This work was supported by JSPS KAKENHI Grant Numbers JP19H01109, JP21K17702, JP22K11906, and JP23H00479, and JST CREST Grant Number JPMJCR22M1, Japan. This work was supported by Institute of Mathematics for Industry, Joint Usage/Research Center in Kyushu University. (FY2022 Short-term Visiting Researcher “On Minimal Construction of Private Simultaneous Messages Protocols” (2022a006) and FY2023 Short-term Visiting Researcher “On the Relationship between Physical and Non-physical Secure Computation Protocols” (2023a009)).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Shinagawa, K., Nuida, K. (2024). Explicit Lower Bounds for Communication Complexity of PSM for Concrete Functions. In: Chattopadhyay, A., Bhasin, S., Picek, S., Rebeiro, C. (eds) Progress in Cryptology – INDOCRYPT 2023. INDOCRYPT 2023. Lecture Notes in Computer Science, vol 14460. Springer, Cham. https://doi.org/10.1007/978-3-031-56235-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-031-56235-8_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-56234-1
Online ISBN: 978-3-031-56235-8
eBook Packages: Computer ScienceComputer Science (R0)