XiaoMi-AI文件搜索系统
World File Search SystemMPQC
具有可公开验证和可识别中止功能的两全其美的多方量子计算
Alon 等人 (CRYPTO 2021) 引入了一种具有可识别中止 (MPQC-SWIA) 安全性的多方量子计算协议。但是，他们的协议只允许 MPQC 内部各方知道恶意参与者的身份。当两组人意见不一致并需要第三方（如陪审团）来验证谁是恶意方时，这就会变得有问题。鉴于量子态可能只存在于一份副本中，这个问题在量子环境中具有更重要的意义。因此，我们强调具有可公开验证的可识别中止 (PVIA) 协议的必要性，使只有经典计算能力的外部观察者能够在发生中止的情况下就恶意方的身份达成一致。然而，由于不可克隆定理以及 Mahadev (STOC 2018) 和 Chung 等人提出的先前工作，实现具有 PVIA 的 MPQC 带来了重大挑战。 （Eurocrypt 2022）用于量子计算的经典验证的协议存在缺陷。在本文中，我们获得了第一个 MPQC-PVIA 协议，该协议假设后量子无意识传输和经典广播信道。我们构建的核心组件是一种称为可审计量子认证（AQA）的新认证原语，它以压倒性的概率识别恶意发送者。此外，我们提供了第一个具有两全其美（BoBW）安全性的 MPQC 协议，该协议保证在诚实多数的情况下输出交付，并且即使多数不诚实也能在中止时保持安全。我们的两全其美 MPQC 协议在中止时也满足 PVIA。
异步多方量子计算？
摘要。多方量子计算（MPQC）允许一组各方通过私人量子数据安全地计算量子电路。当前的MPQC协议依赖于网络是同步的事实，即，保证发送的消息可以在已知的固定延迟上限内传递，不幸的是，即使只有一条消息迟到，也完全分解了。是由现实世界网络的动机，Ben-OR，Canetti和Goldreich（Stoc'93）的开创性工作启动了对不同步网络的经典电路的多方计算的研究，其中网络延迟可以是任意的。在这项工作中，我们开始研究异步多方量子计算（AMPQC）协议，其中计算电路为量子。我们的结果完全表征了最佳可实现的损坏阈值：我们提出了一个n-党AMPQC协议，最多可将T 值得注意的是，这种特征与类似的经典环境不同，其中最佳损坏阈值为t值得注意的是，这种特征与类似的经典环境不同，其中最佳损坏阈值为t