Best-of-Both-Worlds Multiparty Quantum Computation with Publicly Verifiable Identifiable Abort

TL;DR

This paper presents a novel multiparty quantum computation protocol with publicly verifiable identifiable abort and best-of-both-worlds security, enabling outside verification of malicious parties even in quantum settings.

Contribution

It introduces the first MPQC protocol with PVIA assuming post-quantum cryptographic primitives and a new auditable quantum authentication primitive.

Findings

First MPQC-PVIA protocol with classical verification

Introduces auditable quantum authentication (AQA) primitive

Achieves best-of-both-worlds security in MPQC

Abstract

Alon et al. (CRYPTO 2021) introduced a multiparty quantum computation protocol that is secure with identifiable abort (MPQC-SWIA). However, their protocol allows only inside MPQC parties to know the identity of malicious players. This becomes problematic when two groups of people disagree and need a third party, like a jury, to verify who the malicious party is. This issue takes on heightened significance in the quantum setting, given that quantum states may exist in only a single copy. Thus, we emphasize the necessity of a protocol with publicly verifiable identifiable abort (PVIA), enabling outside observers with only classical computational power to agree on the identity of the malicious party in case of an abort. However, achieving MPQC with PVIA poses significant challenges due to the no-cloning theorem, and previous works proposed by Mahadev (STOC 2018) and Chung et al. (Eurocrypt 2022) for classical verification of quantum computation fall short. In this paper, we obtain the first MPQC-PVIA protocol assuming post-quantum oblivious transfer and a classical broadcast channel. The core component of our construction is a new authentication primitive called auditable quantum authentication (AQA) that identifies the malicious sender with overwhelming probability. Additionally, we provide the first MPQC protocol with best-of-both-worlds (BoBW) security, which guarantees output delivery with an honest majority and remains secure with abort even if the majority is dishonest. Our best-of-both-worlds MPQC protocol also satisfies PVIA upon abort.