PreprintCited by 28Quantum Computing Algorithms and ArchitectureQuantum Information and CryptographyCryptography and Residue Arithmetic

The DOI matches its DataCite record; 1 of the 1 references it cites were found in a registry or an index.

Benchmarking the quantum cryptanalysis of symmetric, public-key and hash-based cryptographic schemes

Open access

Abstract

Quantum algorithms can break factoring and discrete logarithm based cryptography and weaken symmetric cryptography and hash functions. In order to estimate the real-world impact of these attacks, apart from tracking the development of fault-tolerant quantum computers it is important to have an estimate of the resources needed to implement these quantum attacks. For attacking symmetric cryptography and hash functions, generic quantum attacks are substantially less powerful than they are for today's public-key cryptography. So security will degrade gradually as quantum computing resources increase. At present, there is a substantial resource overhead due to the cost of fault-tolerant quantum error correction. We provide estimates of this overhead using state-of-the-art methods in quantum fault-tolerance. We use state-of-the-art optimized circuits, though further improvements in their implementation would also reduce the resources needed to implement these attacks. To bound the potential impact of further circuit optimizations we provide cost estimates assuming trivial-cost implementations of these functions. These figures indicate the effective bit-strength of the various symmetric schemes and hash functions based on what we know today (and with various assumptions on the quantum hardware), and frame the various potential improvements that should continue to be tracked. As an example, we also look at the implications for Bitcoin's proof-of-work system. For many of the currently used asymmetric (public-key) cryptographic schemes based on RSA and elliptic curve discrete logarithms, we again provide cost estimates based on the latest advances in cryptanalysis, circuit compilation and quantum fault-tolerance theory. These allow, for example, a direct comparison of the quantum vulnerability of RSA and elliptic curve cryptography for a fixed classical bit strength.

Overview

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

DataCite · 10.48550/arxiv.1902.02332

Cites

1 of 1 references verified0 citation errors · 0 not checkable

Statistics

Verification

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • The T factory count for Gheorghiu et al. (2019) [30] was inferred by dividing the stated T count of 2.4·10^12 by the production rate of the T factory from [27], approximately 25kHz for the given surface code cycle time.

    “The T factory count was inferred by dividing the stated T count of 2 . 4 · 10 12 by the production rate of the T factory from [27], which is approximately 25kHz for the given surface code cycle time.”

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Citations

Cites

Flagged first, then by citations

Research works printed but not linked: 3

  1. [22]M. Kaplan, G. Leurent, A. Leverrier, and M. Naya-Plasencia, 'Breaking symmetric cryptosystems using quantum period finding,' E-print arXiv:1602.05973 [quant-ph]. · arXiv
  2. [23]Y.-A. Chen and X.-S. Gao, 'Quantum Algorithms for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems,' (2017), arXiv:1712.06239 [quant-ph]. · arXiv
  3. [24]Y.-A. Chen, X.-S. Gao, and C.-M. Yuan, 'Quantum Algorithms for Optimization and Polynomial Systems Solving over Finite Fields,' (2018), arXiv:1802.03856 [quant-ph]. · arXiv

Cited by

Sorted by citations

Metadata

Authors
Gheorghiu, V., & Mosca, M.
Venue
arXiv
Publisher
arXiv
Published
2019
ISSN
2331-8422 (ISSN-L)
OpenAlex
W2993007990
Cited by
28
References
1
Citations by year
2025: 2 · 2024: 3 · 2023: 4 · 2022: 6 · 2021: 5 · 2020: 7 · 2019: 1
Type
posted content
Language
en
Open access
Locations
  • arXiv (Cornell University) (submittedVersion)
  • arXiv (Cornell University)
Funders
  • Canadian Institute for Advanced Research
  • Government of Canada
  • Institut Périmètre de physique théorique
  • Natural Sciences and Engineering Research Council of Canada
Topics
  • Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
  • Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum Information and Cryptography
  • Physical Sciences › Computer Science › Information Systems › Cryptography and Residue Arithmetic
Keywords
quantum cryptanalysis, quantum resource estimation, fault-tolerant quantum computing, symmetric encryption, hash functions, public-key cryptography, elliptic curve discrete logarithm problem, circuit compilation

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review