Quantum-safe Cryptographic protocols

量子安全加密协议

• 批准号: RGPIN-2014-04698
• 负责人: Crépeau, Claude
• 金额: $ 1.46万
• 依托单位: McGill University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2016
• 资助国家: 加拿大
• 起止时间: 2016-01-01 至 2017-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=611191
• 关键词: Quantum; safe; Cryptographic; protocols

While physical implementation of a quantum computer still seems far away, the perspective of such a realization is so profound to the world of cryptography that it is worth considering already what this science will become after the construction of a quantum computer. The study of Quantum-safe (aka Post-Quantum) cryptographic tools and protocols follow from the belief that we must start now to prepare for this future. Quantum-Safe Oblivious Transfer and Fully Homomorphic Encryption ******************************************************* In the classical world there used to be very general techniques to achieve Oblivious Transfer from various cryptographic assumption. In the Quantum-safe cryptographic world we have no such things: several techniques have been proposed to obtain Quantum-safe Oblivious Transfer but no general technique has emerged yet. The search for such a general approach will be one objective of our research. We will also consider the relation between Oblivious Transfer and the related task of Fully Homomorphic Encryption as implemented under the Learning with error assumption or the Approximate Integer GCD assumption. We would like to show that in the quantum world OT is inherently easier to achieve than FHE. Interactive Hashing and Statistical Zero-Knowledge Arguments ************************************************** Another specific target is to study a powerful tool to construct secure protocols known as "Interactive Hashing". This tool was used in the classical setting both in the information theoretical and computational framework. Currently, none of the proofs of security of protocols involving interactive hashing is valid in the quantum setting. We will develop new techniques to establish security proofs in the quantum world. We hope to achieve the same result as in the classical world: It is possible to build statistical zero-knowledge arguments for NP under the sole assumption that a quantum one-way function exists. Non-Interactive Quantum-Safe Zero-Knowledge Proofs ******************************************** Another classical cryptographic situation that is no longer available in the Quantum-safe world, is the primitive of Non-Interactive Zero-Knowledge protocols under computational assumptions. Such protocols have been proposed for prefect or statistical Non-Interactive Zero-Knowledge proofs under no computational assumption (although using quantum communication to achieve that). However, it does not seem to apply to situations where only Computational Zero-Knowledge is achievable (for NP-complete languages for example) or where the soundness of the proof system is only valid because a certain computational assumption cannot be broken (Perfect or Statistical Zero-Knowledge Arguments). This research program will contain theoretical work only but will produce significant training of HQPs.

虽然量子计算机的物理实现似乎还很遥远，但这种实现对密码学世界的影响是如此深远，以至于值得考虑的是，在量子计算机建成后，这门科学将会变成什么样子。量子安全（又名后量子）加密工具和协议的研究源于我们必须从现在开始为未来做准备的信念。