{"title":"后量子格密码系统中量子密码分析的实现复杂度估计","authors":"A. O. Bakharev","doi":"10.1134/S1990478923030018","DOIUrl":null,"url":null,"abstract":"<p> Due to the development of quantum computing, there is a need for the development and\nanalysis of cryptosystems resistant to attacks using a quantum computer (post-quantum\ncryptography algorithms). The security of many well-known post-quantum cryptosystems based\non lattice theory depends on the complexity of solving the shortest vector problem (SVP). In this\npaper, a model of quantum oracle developed from Grover’s algorithm is described to implement\na hybrid quantum–classical algorithm based on GaussSieve. This algorithm can be used for\nattacks on cryptosystems whose security depends on solving the SVP. Upper bounds for the\nnumber of qubits and the depth of the circuit were obtained for two implementations of the\nproposed quantum oracle model: minimizing the number of qubits and minimizing the circuit\ndepth. The complexity of implementing the proposed quantum oracle model to attack\npost-quantum lattice-based cryptosystems that are finalists of the NIST post-quantum\ncryptography competition is analyzed.\n</p>","PeriodicalId":607,"journal":{"name":"Journal of Applied and Industrial Mathematics","volume":"17 3","pages":"459 - 482"},"PeriodicalIF":0.5800,"publicationDate":"2023-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Estimates of Implementation Complexity for Quantum Cryptanalysis of Post-Quantum Lattice-Based Cryptosystems\",\"authors\":\"A. O. Bakharev\",\"doi\":\"10.1134/S1990478923030018\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p> Due to the development of quantum computing, there is a need for the development and\\nanalysis of cryptosystems resistant to attacks using a quantum computer (post-quantum\\ncryptography algorithms). The security of many well-known post-quantum cryptosystems based\\non lattice theory depends on the complexity of solving the shortest vector problem (SVP). In this\\npaper, a model of quantum oracle developed from Grover’s algorithm is described to implement\\na hybrid quantum–classical algorithm based on GaussSieve. This algorithm can be used for\\nattacks on cryptosystems whose security depends on solving the SVP. Upper bounds for the\\nnumber of qubits and the depth of the circuit were obtained for two implementations of the\\nproposed quantum oracle model: minimizing the number of qubits and minimizing the circuit\\ndepth. The complexity of implementing the proposed quantum oracle model to attack\\npost-quantum lattice-based cryptosystems that are finalists of the NIST post-quantum\\ncryptography competition is analyzed.\\n</p>\",\"PeriodicalId\":607,\"journal\":{\"name\":\"Journal of Applied and Industrial Mathematics\",\"volume\":\"17 3\",\"pages\":\"459 - 482\"},\"PeriodicalIF\":0.5800,\"publicationDate\":\"2023-11-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Applied and Industrial Mathematics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://link.springer.com/article/10.1134/S1990478923030018\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"Engineering\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Applied and Industrial Mathematics","FirstCategoryId":"1085","ListUrlMain":"https://link.springer.com/article/10.1134/S1990478923030018","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"Engineering","Score":null,"Total":0}
Estimates of Implementation Complexity for Quantum Cryptanalysis of Post-Quantum Lattice-Based Cryptosystems
Due to the development of quantum computing, there is a need for the development and
analysis of cryptosystems resistant to attacks using a quantum computer (post-quantum
cryptography algorithms). The security of many well-known post-quantum cryptosystems based
on lattice theory depends on the complexity of solving the shortest vector problem (SVP). In this
paper, a model of quantum oracle developed from Grover’s algorithm is described to implement
a hybrid quantum–classical algorithm based on GaussSieve. This algorithm can be used for
attacks on cryptosystems whose security depends on solving the SVP. Upper bounds for the
number of qubits and the depth of the circuit were obtained for two implementations of the
proposed quantum oracle model: minimizing the number of qubits and minimizing the circuit
depth. The complexity of implementing the proposed quantum oracle model to attack
post-quantum lattice-based cryptosystems that are finalists of the NIST post-quantum
cryptography competition is analyzed.
期刊介绍:
Journal of Applied and Industrial Mathematics is a journal that publishes original and review articles containing theoretical results and those of interest for applications in various branches of industry. The journal topics include the qualitative theory of differential equations in application to mechanics, physics, chemistry, biology, technical and natural processes; mathematical modeling in mechanics, physics, engineering, chemistry, biology, ecology, medicine, etc.; control theory; discrete optimization; discrete structures and extremum problems; combinatorics; control and reliability of discrete circuits; mathematical programming; mathematical models and methods for making optimal decisions; models of theory of scheduling, location and replacement of equipment; modeling the control processes; development and analysis of algorithms; synthesis and complexity of control systems; automata theory; graph theory; game theory and its applications; coding theory; scheduling theory; and theory of circuits.