Secure multi-party computation (SMPC) protocols allow several parties that distrust each other to collectively compute a function on their inputs. In this paper, we introduce a protocol that lifts classical SMPC to quantum SMPC in a composably and statistically secure way, even for a single honest party. Unlike previous quantum SMPC protocols, our proposal only requires very limited quantum resources from all but one party; it suffices that the weak parties, i.e. the clients, are able to prepare single-qubit states in the X-Y plane. The novel quantum SMPC protocol is constructed in a naturally modular way, and relies on a new technique for quantum verification that is of independent interest. This verification technique requires the remote preparation of states only in a single plane of the Bloch sphere. In the course of proving the security of the new verification protocol, we also uncover a fundamental invariance that is inherent to measurement-based quantum computing.
翻译:安全多党计算( SMPC) 协议允许互不信任的多个缔约方集体计算其投入的函数。 在本文中,我们引入了一项协议,将传统的SMPC 以可比较和统计安全的方式提升到数量SMPC, 即使是对一个诚实的方。 与先前的量子 SMPC 协议不同,我们的提案只要求除一方以外的各方提供非常有限的量子资源; 只要弱方(即客户)能够在 X-Y 平面上建立单位状态。 新的量子 SMPC 协议是用自然模块构建的,并依靠独立感兴趣的量子核查新技术。 这一核查技术要求国家仅在布罗奇球球场的单一平面上进行远程准备。 在证明新的核查协议的安全性的过程中,我们还发现了测量量计算所固有的根本的不易性。</s>