Quantum computing cryptography: Finding cryptographic Boolean functions with quantum annealing by a 2000 qubit D-wave quantum computer.

As the building block in symmetric cryptography, designing Boolean functions satisfying multiple properties is an important problem in sequence ciphers, block ciphers, and hash functions. However, the search of $n$-variable Boolean functions fulfilling global cryptographic constraints is computationally hard due to the super-exponential size $\mathcal{O}(2^{2^n})$ of the space. Here, we introduce a codification of the cryptographically relevant constraints in the ground state of an Ising Hamiltonian, allowing us to naturally encode it in a quantum annealer, which seems to provide a quantum speedup. Additionally, we benchmark small $n$ cases in a D-Wave machine, showing its capacity of devising bent functions, the most relevant set of cryptographic Boolean functions. We have complemented it with local search and chain repair to improve the D-Wave quantum annealer performance related to the low connectivity. This work shows how to codify super-exponential cryptographic problems into quantum annealers and paves the way for reaching quantum supremacy with an adequately designed chip.

[1]  Claude Carlet,et al.  A Larger Class of Cryptographic Boolean Functions via a Study of the Maiorana-McFarland Construction , 2002, CRYPTO.

[2]  John A. Gunnels,et al.  Breaking the 49-Qubit Barrier in the Simulation of Quantum Circuits , 2017, 1710.05867.

[3]  J. Doll,et al.  Quantum annealing: A new method for minimizing multidimensional functions , 1994, chem-ph/9404003.

[4]  F. MacWilliams,et al.  The Theory of Error-Correcting Codes , 1977 .

[5]  Jing Wang,et al.  Construction and count of 1-resilient rotation symmetric Boolean functions , 2018, Inf. Sci..

[6]  Yingpu Deng,et al.  A conjecture about binary strings and its applications on constructing Boolean functions with optimal algebraic immunity , 2011, Des. Codes Cryptogr..

[7]  Nicolas Courtois Fast Algebraic Attacks on Stream Ciphers with Linear Feedback , 2003, CRYPTO.

[8]  Cunsheng Ding,et al.  The Stability Theory of Stream Ciphers , 1991, Lecture Notes in Computer Science.

[9]  Claude Carlet,et al.  Boolean Functions for Cryptography and Error-Correcting Codes , 2010, Boolean Models and Methods.

[10]  G. Rose,et al.  Finding low-energy conformations of lattice protein models by quantum annealing , 2012, Scientific Reports.

[11]  Enes Pasalic,et al.  Improving the lower bound on the maximum nonlinearity of 1-resilient Boolean functions and designing functions satisfying all cryptographic criteria , 2017, Inf. Sci..

[12]  Daniel A. Lidar,et al.  Error-corrected quantum annealing with hundreds of qubits , 2013, Nature Communications.

[13]  Willi Meier,et al.  Fast Correlation Attacks on Stream Ciphers (Extended Abstract) , 1988, EUROCRYPT.

[14]  Julian Francis Miller,et al.  Cryptographic Boolean functions: One output, many design criteria , 2016, Appl. Soft Comput..

[15]  Keith A. Britt,et al.  Quantum Annealing for Prime Factorization , 2018, Scientific Reports.

[16]  Xiaohu Tang,et al.  Highly Nonlinear Boolean Functions With Optimal Algebraic Immunity and Good Behavior Against Fast Algebraic Attacks , 2013, IEEE Transactions on Information Theory.

[17]  M. W. Johnson,et al.  Quantum annealing with manufactured spins , 2011, Nature.

[18]  Daniel A. Lidar,et al.  Solving a Higgs optimization problem with quantum annealing for machine learning , 2017, Nature.

[19]  William Millan,et al.  Heuristic Design of Cryptographically Strong Balanced Boolean Functions , 1998, EUROCRYPT.

[20]  Václav Dvorák,et al.  Bent Function Synthesis by Means of Cartesian Genetic Programming , 2014, PPSN.

[21]  Raouf Dridi,et al.  Prime factorization using quantum annealing and computational algebraic geometry , 2016, Scientific Reports.

[22]  Davide Castelvecchi,et al.  Quantum computers ready to leap out of the lab in 2017 , 2017, Nature.

[23]  H. Neven,et al.  Characterizing quantum supremacy in near-term devices , 2016, Nature Physics.

[24]  Daniel O'Malley An approach to quantum-computational hydrologic inverse analysis , 2018, Scientific Reports.