Secure multi-party computation (SMC) addresses the problem of jointly computing global functions of private inputs while revealing minimal information about individual data. Two prominent examples of SMC tasks are sealed-bid auction and secure multi-party summation. Existing schemes for quantum auction and quantum summation have largely been developed independently, motivated by distinct applications and employing different computational primitives. In this work, structural symmetries in existing protocols for quantum auction and quantum summation are identified. In particular, it is established that the core auction primitives including revenue estimation, maximum bid identification, and winner determination can be reduced to repeated invocations of a summation oracle acting on suitably defined indicator functions. Conversely, summation protocols can be naturally embedded as auxiliary subroutines within auction frameworks, establishing summation as a unifying primitive underlying a broad class of auction mechanisms. Further, computational, communication and memory costs of these reductions are analyzed and compared with some of the representative existing protocols. The analysis has revealed that the process of implementing summation tasks through currently known auction protocols leads to additional overhead associated with bid-space exploration and winner determination. The proposed framework is protocol-agnostic and applicable across diverse computational models, including gate-based and photonic implementations. Finally, a proof-of-concept experimental realization (numerical validation) of a two-bidder sealed-bid auction using IBM (optical quantum) hardware is demonstrated to establish that the claimed equivalence is not merely formal but experimentally verifiable with the available hardware.
Comments
We have identified the structural symmetries in existing protocols for quantum auction and quantum summation
Secure multi-party computation (SMC) addresses the problem of jointly computing global functions of private inputs while revealing minimal information about individual data. Two prominent examples of SMC tasks are sealed-bid auction and secure multi-party summation. Existing schemes for quantum auction and quantum summation have largely been developed independently, motivated by distinct applications and employing different computational primitives. In this work, structural symmetries in existing protocols for quantum auction and quantum summation are identified. In particular, it is established that the core auction primitives including revenue estimation, maximum bid identification, and winner determination can be reduced to repeated invocations of a summation oracle acting on suitably defined indicator functions. Conversely, summation protocols can be naturally embedded as auxiliary subroutines within auction frameworks, establishing summation as a unifying primitive underlying a broad class of auction mechanisms. Further, computational, communication and memory costs of these reductions are analyzed and compared with some of the representative existing protocols. The analysis has revealed that the process of implementing summation tasks through currently known auction protocols leads to additional overhead associated with bid-space exploration and winner determination. The proposed framework is protocol-agnostic and applicable across diverse computational models, including gate-based and photonic implementations. Finally, a proof-of-concept experimental realization (numerical validation) of a two-bidder sealed-bid auction using IBM (optical quantum) hardware is demonstrated to establish that the claimed equivalence is not merely formal but experimentally verifiable with the available hardware.
In this article, we first define a primitive problem of secure multiparty computations, i.e., secure multiparty disjunction (SMD), and present a novel quantum protocol for SMD that can ensure information-theoretical security, i.e., unconditional security. Furthermore, based on the quantum SMD protocol, we design a quantum sealed-bid auction (QSA) scheme without an auctioneer. In the proposed QSA scheme, all bidders can jointly find the winning bidder without the help of an auctioneer while it can perfectly protect the privacy of nonwinning bidders. The proposed quantum SMD protocol and quantum QSA scheme take Bell states as quantum resources and only perform single-particle Pauli operators and two-particle Bell measurements. Finally, we simulate the related quantum protocols in Qiskit and verify the correctness and the feasibility of the proposed protocols.
A sealed-bid auction is an essential tool for trading commodities in modern society. However, the non-winning bidders in previously proposed sealed-bid auction schemes lack privacy protection. In this paper, we define a sealed-bid auction with strong privacy protection, which can protect the privacy of all non-winning bidders. In order to fulfil the task, we first present a quantum secret sharing protocol and a secure quantum summation protocol and then design their corresponding quantum circuits, where the security of the latter is guaranteed by the former, while the former is information-theoretically secure. We further present a quantum seal-bid auction (QSA) scheme with strong privacy protection based on the designed quantum protocols. In our QSA scheme, each bidder first encodes a private vector by his private bid and public agreement information, and then all bidders jointly compute the summations of their respective private vectors without a trusted third party. Finally, we verify the correctness and the feasibility of the proposed QSA scheme by circuit simulations in IBM Qiskit.
In this brief, we present a novel quantum protocol for sealed-bid auction and design the corresponding quantum circuits. In the proposed protocol, we introduce two auctioneers to ensure that they can supervise each other, where one is a classical auctioneer, and the other is a quantum auctioneer. Furthermore, we turn sealed-bid auction into secure multiparty summation by employing the Chinese Remainder Theorem to achieve the anonymity. Compared with the related protocols, the proposed protocol can meet more security properties, e.g., anonymity, fairness, verifiability, secrecy and non-repudiation.
In secure multi-party computations (SMC), parties wish to compute a function on their private data without revealing more information about their data than what the function reveals. In this paper, we investigate two Shannon-type questions on this problem. We first consider the traditional one-shot model for SMC which does not assume a probabilistic prior on the data. In this model, private communication and randomness are the key enablers to secure computing, and we investigate a notion of randomness cost and capacity. We then move to a probabilistic model for the data, and propose a Shannon model for discrete memoryless SMC. In this model, correlations among data are the key enablers for secure computing, and we investigate a notion of dependency which permits the secure computation of a function. While the models and questions are general, this paper focuses on summation functions and relies on polar code constructions.
Quantum Secure Multi-party Summation (QSMS) is a fundamental primitive of Quantum Secure Multi-party Computation (QSMC), enabling multiple participants to jointly compute the sum of their private inputs without disclosing individual data. However, most existing QSMS protocols require all participants to possess full quantum capabilities and often rely on pre-shared keys, auxiliary mask transmission, or multiple trusted third parties, resulting in high communication overhead and limited practicality. To address these limitations, we propose an efficient Semi-Quantum Secure Multi-party Summation (SQSMS) protocol based on d-dimensional n-particle entangled states. By exploiting the global correlation properties of high-dimensional entangled states, the proposed protocol generates correlated random masks directly from quantum measurement outcomes. These masks cancel automatically during the aggregation process, eliminating the need for additional mask distribution and transmission. Compared with existing QSMS schemes, the proposed protocol reduces communication overhead, improves quantum efficiency, and avoids reliance on pre-shared keys or multiple trusted third parties. Moreover, only simple measurement operations are required from classical participants, making the protocol more practical for semi-quantum environments. We further provide formal correctness and security analyses of the proposed protocol and conduct quantum circuit simulations using the IBM Qiskit platform to demonstrate its feasibility. Moreover, based on the proposed summation protocol, we design several extended application protocols, including anonymous voting, anonymous auction, and anonymous ranking, which further illustrate the scalability and practical applicability of the proposed scheme.
Secure multi-party computation (SMC) enables multiple parties to collaboratively perform computational tasks without revealing their private data. A specific application scenario within SMC is Private Set Intersection with Correlated Sum (PSI-CS), where two participating parties compute the sum of associated elements in their intersection while preserving the privacy of their individual sets. This problem arises in various contexts, including calculating conversion amounts between suppliers and platforms, such as advertising conversion amounts and agency business conversion amounts. The paper proposes a protocol that employs quantum single-photon technology to compute the PSI-CS, provides four technical solutions suitable for various scenarios ranging from small to large data volumes, sparse to dense datasets, and without revealing the cardinality of the intersection. Additionally, the method extends to computing the union set with correlated sums. We experimentally validate the proposed protocol, conduct correctness and security analyses, and demonstrate its practical significance and application value. By utilizing single-photon technology, quantum gate operations, and measurements become more accessible, simplifying the protocol’s implementation. Notably, our approach provides unconditional security against quantum computational attacks, representing a substantial improvement in both efficiency and practical applicability compared to classical domain protocols.