An Optimized Quantum Implementation of ISD on Scalable Quantum Resources

12/12/2021
by   Andre Esser, et al.
0

The security of code based constructions is usually assessed by Information Set Decoding (ISD) algorithms. In the quantum setting, amplitude amplification yields an asymptotic square root gain over the classical analogue. However, it is still unclear whether a real quantum circuit could yield actual improvements or suffer an enormous overhead due to its implementation. This leads to different considerations of these quantum attacks in the security analysis of code based proposals. In this work we clarify this doubt by giving the first quantum circuit design of the fully-fledged ISD procedure, an implementation in the quantum simulation library Qibo as well as precise estimates of its complexities. We show that against common belief, Prange's ISD algorithm can be implemented rather efficiently on a quantum computer, namely with only a logarithmic overhead in circuit depth compared to a classical implementation. As another major contribution, we leverage the idea of classical co-processors to design hybrid classical-quantum trade-offs, that allow to tailor the necessary qubits to any available amount, while still providing quantum speedups. Interestingly, when constraining the width of the circuit instead of its depth we are able to overcome previous optimality results on constraint quantum search.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/10/2022

Classical verification of quantum depth

We present two protocols for classical verification of quantum depth. Ou...
research
05/15/2018

Time-Space Complexity of Quantum Search Algorithms in Symmetric Cryptanalysis

Performance of cryptanalytic quantum search algorithms is mainly inferre...
research
12/11/2018

Multi-objective evolutionary algorithms for quantum circuit discovery

Quantum hardware continues to advance, yet finding new quantum algorithm...
research
03/13/2023

Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification

Grover's algorithm is a well-known contribution to quantum computing. It...
research
04/26/2021

Classical and Quantum algorithms for generic Syndrome Decoding problems and applications to the Lee metric

The security of code-based cryptography usually relies on the hardness o...
research
08/01/2022

Experimental validation of the Kibble-Zurek Mechanism on a Digital Quantum Computer

The Kibble-Zurek mechanism (KZM) captures the essential physics of noneq...
research
08/16/2022

Mean estimation when you have the source code; or, quantum Monte Carlo methods

Suppose y is a real random variable, and one is given access to “the cod...

Please sign up or login with your details

Forgot password? Click here to reset