{"title":"Efficient private PEZ protocols without binary-input restrictions","authors":"Yoshiki Abe, Mitsugu Iwamoto, Kazuo Ohta","doi":"10.1007/s10623-026-01876-0","DOIUrl":null,"url":null,"abstract":"Balogh et al. proposed deterministic secure multiparty computation called <italic>private PEZ protocols</italic>. In their work, a general construction of private PEZ protocols for computing an <italic>arbitrary</italic> function with <italic>n</italic> inputs is presented, but the function’s inputs must be <italic>binary</italic>. Binary domains are sufficient for computing functions with <italic>arbitrary</italic> domains because we can use the binary expansion of the inputs. However, such an expansion makes the protocol inefficient because unnecessary privacy is considered among the expanded bits of each input. Hence, we remove the binary expansion technique in this paper and propose a new private PEZ protocol directly applicable to functions with arbitrary domains. The proposed private PEZ protocol for an arbitrary function is much more efficient than Balogh et al.’s protocol. Concretely, an efficiency measure called <italic>the length of an initial string</italic> is exponentially improved in the domain size <italic>m</italic>: the order obtained from our construction is <inline-formula><alternatives><mml:math><mml:mrow><mml:mi mathvariant=\"script\">O</mml:mi><mml:mo stretchy=\"false\">(</mml:mo><mml:msup><mml:mrow><mml:mo stretchy=\"false\">(</mml:mo><mml:mn>2</mml:mn><mml:mi>m</mml:mi><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow><mml:msup><mml:mi>m</mml:mi><mml:mrow><mml:mi>n</mml:mi><mml:mo>-</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msup></mml:msup><mml:mo stretchy=\"false\">)</mml:mo></mml:mrow></mml:math><tex-math>\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathcal {O}((2m)^{m^{n-1}})$$\\end{document}</tex-math></alternatives></inline-formula>, while the construction of Balogh et al. yields <inline-formula><alternatives><mml:math><mml:mrow><mml:mi mathvariant=\"normal\">Ω</mml:mi><mml:mrow><mml:mo maxsize=\"2.047em\" minsize=\"2.047em\" stretchy=\"true\">(</mml:mo></mml:mrow><mml:mrow><mml:mo maxsize=\"2.047em\" minsize=\"2.047em\" stretchy=\"true\">(</mml:mo></mml:mrow><mml:msup><mml:mn>2</mml:mn><mml:mfrac><mml:mi>m</mml:mi><mml:mn>2</mml:mn></mml:mfrac></mml:msup><mml:msup><mml:mrow><mml:mo maxsize=\"2.047em\" minsize=\"2.047em\" stretchy=\"true\">)</mml:mo></mml:mrow><mml:msup><mml:mi>m</mml:mi><mml:mrow><mml:mi>n</mml:mi><mml:mo>-</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msup></mml:msup><mml:mrow><mml:mo maxsize=\"2.047em\" minsize=\"2.047em\" stretchy=\"true\">)</mml:mo></mml:mrow></mml:mrow></mml:math><tex-math>\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathrm {\\Omega }\\bigg (\\bigg (2^{\\frac{m}{2}}\\bigg )^{m^{n-1}}\\bigg )$$\\end{document}</tex-math></alternatives></inline-formula>. The key idea of our protocol is called the <italic>divide and cue</italic> strategy, based on a <italic>recursive</italic> structure of <italic>views</italic> in private PEZ protocols.","PeriodicalId":11130,"journal":{"name":"Designs, Codes and Cryptography","volume":"48 1","pages":""},"PeriodicalIF":1.2000,"publicationDate":"2026-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Designs, Codes and Cryptography","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s10623-026-01876-0","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
Abstract
Balogh et al. proposed deterministic secure multiparty computation called private PEZ protocols. In their work, a general construction of private PEZ protocols for computing an arbitrary function with n inputs is presented, but the function’s inputs must be binary. Binary domains are sufficient for computing functions with arbitrary domains because we can use the binary expansion of the inputs. However, such an expansion makes the protocol inefficient because unnecessary privacy is considered among the expanded bits of each input. Hence, we remove the binary expansion technique in this paper and propose a new private PEZ protocol directly applicable to functions with arbitrary domains. The proposed private PEZ protocol for an arbitrary function is much more efficient than Balogh et al.’s protocol. Concretely, an efficiency measure called the length of an initial string is exponentially improved in the domain size m: the order obtained from our construction is O((2m)mn-1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {O}((2m)^{m^{n-1}})$$\end{document}, while the construction of Balogh et al. yields Ω((2m2)mn-1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm {\Omega }\bigg (\bigg (2^{\frac{m}{2}}\bigg )^{m^{n-1}}\bigg )$$\end{document}. The key idea of our protocol is called the divide and cue strategy, based on a recursive structure of views in private PEZ protocols.
Balogh et al. proposed deterministic secure multiparty computation called private PEZ protocols. In their work, a general construction of private PEZ protocols for computing an arbitrary function with n inputs is presented, but the function’s inputs must be binary. Binary domains are sufficient for computing functions with arbitrary domains because we can use the binary expansion of the inputs. However, such an expansion makes the protocol inefficient because unnecessary privacy is considered among the expanded bits of each input. Hence, we remove the binary expansion technique in this paper and propose a new private PEZ protocol directly applicable to functions with arbitrary domains. The proposed private PEZ protocol for an arbitrary function is much more efficient than Balogh et al.’s protocol. Concretely, an efficiency measure called the length of an initial string is exponentially improved in the domain size m: the order obtained from our construction is O((2m)mn-1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {O}((2m)^{m^{n-1}})$$\end{document}, while the construction of Balogh et al. yields Ω((2m2)mn-1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm {\Omega }\bigg (\bigg (2^{\frac{m}{2}}\bigg )^{m^{n-1}}\bigg )$$\end{document}. The key idea of our protocol is called the divide and cue strategy, based on a recursive structure of views in private PEZ protocols.
期刊介绍:
Designs, Codes and Cryptography is an archival peer-reviewed technical journal publishing original research papers in the designated areas. There is a great deal of activity in design theory, coding theory and cryptography, including a substantial amount of research which brings together more than one of the subjects. While many journals exist for each of the individual areas, few encourage the interaction of the disciplines.
The journal was founded to meet the needs of mathematicians, engineers and computer scientists working in these areas, whose interests extend beyond the bounds of any one of the individual disciplines. The journal provides a forum for high quality research in its three areas, with papers touching more than one of the areas especially welcome.
The journal also considers high quality submissions in the closely related areas of finite fields and finite geometries, which provide important tools for both the construction and the actual application of designs, codes and cryptographic systems. In particular, it includes (mostly theoretical) papers on computational aspects of finite fields. It also considers topics in sequence design, which frequently admit equivalent formulations in the journal’s main areas.
Designs, Codes and Cryptography is mathematically oriented, emphasizing the algebraic and geometric aspects of the areas it covers. The journal considers high quality papers of both a theoretical and a practical nature, provided they contain a substantial amount of mathematics.