Alon 等人 (CRYPTO 2021) 引入了一种具有可识别中止 (MPQC-SWIA) 安全性的多方量子计算协议。但是,他们的协议只允许 MPQC 内部各方知道恶意参与者的身份。当两组人意见不一致并需要第三方(如陪审团)来验证谁是恶意方时,这就会变得有问题。鉴于量子态可能只存在于一份副本中,这个问题在量子环境中具有更重要的意义。因此,我们强调具有可公开验证的可识别中止 (PVIA) 协议的必要性,使只有经典计算能力的外部观察者能够在发生中止的情况下就恶意方的身份达成一致。然而,由于不可克隆定理以及 Mahadev (STOC 2018) 和 Chung 等人提出的先前工作,实现具有 PVIA 的 MPQC 带来了重大挑战。 (Eurocrypt 2022)用于量子计算的经典验证的协议存在缺陷。在本文中,我们获得了第一个 MPQC-PVIA 协议,该协议假设后量子无意识传输和经典广播信道。我们构建的核心组件是一种称为可审计量子认证(AQA)的新认证原语,它以压倒性的概率识别恶意发送者。此外,我们提供了第一个具有两全其美(BoBW)安全性的 MPQC 协议,该协议保证在诚实多数的情况下输出交付,并且即使多数不诚实也能在中止时保持安全。我们的两全其美 MPQC 协议在中止时也满足 PVIA。
主要关键词