A Logic for Quantum Circuits and Protocols

Akira Ocirc IDE

Runhua Shi, Yi-Fei Li

Like addition, subtraction, multiplication and division, logical AND is a fundamental arithmetic operation in scientific computing. In this paper, we first consider and define a new privacy-preserving problem, i.e., Secure Multiparty Logical AND (SMLA), in which multiple participants can jointly compute the logical AND of their respective private bits. Furthermore, we present a novel quantum SMLA protocol by employing phase-matching quantum conference key agreement and perfect quantum encryption, and design the corresponding quantum circuits. The proposed quantum SMLA protocol can ensure information-theoretical security. What’s more, we design a private grouping strategy to reduce the communicational complexity and accordingly present an improved quantum SMLA protocol with the linear communicational rounds. In addition, we investigate its applications and design a feasible quantum Multiparty Private Set Intersection Cardinality (MPSI-CA) protocol based on the improved quantum SMLA protocol, in which multiple participants jointly compute the intersection cardinality without revealing their respective private sets. Finally, we verify the correctness and the feasibility of the proposed quantum protocols by circuit simulations in IBM Qiskit.

Felix M. Weidner, Mirko Rossini, Joachim Ankerhold +1 more

Boolean networks are commonly used in systems biology to dynamically model gene regulatory interactions. Here, we present a protocol for implementing Boolean network dynamics as quantum circuits. We describe steps for accessing cloud-based quantum processing units offered by IBM and IonQ and downloading and parsing logic for gene regulatory networks. We then detail procedures for performing simulations of quantum circuits on local devices and visualizing measurement results. For complete details on the use and execution of this protocol, please refer to Weidner et al.1

Mladen Pavičić, Norman D. Megill

John Bell

HuiJie LI, Run-Hua SHI, Weiyang Ke +1 more

This study first defined a new privacy protection problem, namely, quantum secure multiparty logical XOR (SMC_ XOR), and then designed corresponding quantum circuits where multiple participants could jointly calculate the logical XOR of their respective private bits. The proposed quantum SMC_XOR protocol can ensure unconditional security, i.e., information-theoretical security. Furthermore, we designed a grouping strategy to reduce communication complexity and presented an improved quantum SMC_XOR protocol. The improved quantum protocol is used to secure communication in metropolitan area networks, allowing two remote users to securely transmit confidential messages. Finally, we verified the correctness and feasibility of the proposed quantum SMC_XOR protocol by conducting circuit simulations on the IBM quantum system in Qiskit.