本文研究量子計算經典通信(QCCC)模型中不完美完成金鑰協商的不可行性。在量子隨機預言機模型(QROM)下,金鑰協商協議允許參與者擁有量子計算能力,但通信受限於經典訊息。所謂不完美完成,是指協議以不可忽略(逆多項式)的機率成功,而非完美成功。作者證明,在兩種受限設置中,一個計算能力無界但查詢次數多項式有界的攻擊者可以完全恢復協商金鑰,因此這些設置下無法實現無條件安全的不完美完成金鑰協商。第一種設置是兩訊息(two-message)模式:Alice 在第一輪僅對隨機預言機做經典查詢,並向 Bob 發送經典訊息;但雙方在第二輪可以進行任意量子計算、量子查詢,並傳送量子態。攻擊基於 Austrin 等人的 heavy-query 學習技術以及 Katz 和 Sela 的重編程(reprogramming)技術。第二種設置是與輪數無關(round-independent)的模式:作者將 Barak 和 Mahmoody 的已知攻擊推廣到多輪,前提是 Alice 和 Bob 僅使用經典通信,並且除最後一輪外只進行經典查詢。在兩種設置中,只要誠實方的查詢界是多項式,且有效同意機率為逆多項式,攻擊者就能以多項式次查詢恢復金鑰。作為推論,論文排除了 QROM 中一類不完美正確的量子公鑰加密(PKE)的存在:當密鑰生成僅有經典隨機預言機查詢時,即使加密、解密和密文都是量子操作,也無法對長度為多項式有界的經典訊息實現此類 PKE。特別地,此結果適用於 Bartusek 和 Khurana 從兩輪 OSP 構造的不完美正確 PKE(一位元情形),只要經典 OSP 發送者僅做經典隨機預言機查詢。該研究為量子密碼學的基本限制提供了新的理論見解。
💡 推荐理由: 該結果揭示了 QROM 下不完美完成金鑰協商與量子公鑰加密的固有侷限,為後量子密碼協議的安全性假設提供了重要約束,有助於避免在設計中使用已知不安全的模型設定。
🎯 建议动作: 研究跟進