English
Related papers

Related papers: Semantics-Based Verification of an Implemented Sho…

200 papers

Elliptic curve cryptography (ECC) is a widely established cryptographic technique, recognized for its effectiveness and reliability across a broad range of applications such as securing telecommunications or safeguarding cryptocurrency…

Quantum Physics · Physics 2025-01-20 Diego Polimeni , Raphael Seidel

Precise suites of benchmarks are required to assess the progress of early fault-tolerant quantum computers at economically impactful applications such as cryptanalysis. Appropriate challenges exist for factoring but those for elliptic curve…

Quantum Physics · Physics 2026-03-27 Pierre-Luc Dallaire-Demers , William Doyle , Timothy Foo

Shor's algorithm is well-known for its capability to address the elliptic curve discrete logarithm problem (ECDLP) in polynomial time. The enhancement of its quantum resources continues to be a crucial focus of research. Nevertheless, the…

Cryptography and Security · Computer Science 2025-07-23 Yan Huang , Fangguo Zhang , Fei Gao , Zijian Zhou , Longjiang Qu

Since the elliptic curve discrete logarithms problem (ECDLP) was proposed, it has been widely used in cryptosystem because of its strong security. Although the proposal of the extended Shor's algorithm offers hope for cracking ECDLP, it is…

Quantum Physics · Physics 2026-02-24 Xia Liu , Huan Yang , Li Yang

We show in some detail how to implement Shor's efficient quantum algorithm for discrete logarithms for the particular case of elliptic curve groups. It turns out that for this problem a smaller quantum computer can solve problems further…

Quantum Physics · Physics 2007-05-23 John Proos , Christof Zalka

In the past years, research on Shor's algorithm for solving elliptic curves for discrete logarithm problems (Shor's ECDLP), the basis for cracking elliptic curve-based cryptosystems (ECC), has started to garner more significant interest. To…

Quantum Physics · Physics 2023-06-14 Harashta Tatimma Larasati , Howon Kim

The semidirect discrete logarithm problem (SDLP) is the following analogue of the standard discrete logarithm problem in the semidirect product semigroup $G\rtimes \mathrm{End}(G)$ for a finite semigroup $G$. Given $g\in G, \sigma\in…

Cryptography and Security · Computer Science 2023-12-22 Muhammad Imran , Gábor Ivanyos

Solving the Elliptic Curve Discrete Logarithm Problem (ECDLP) is critical for evaluating the quantum security of widely deployed elliptic-curve cryptosystems. Consequently, minimizing the number of logical qubits required to execute this…

Quantum Physics · Physics 2026-04-21 Han Luo , Ziyi Yang , Ziruo Wang , Yuexin Su , Tongyang Li

The elliptic curve discrete logarithm problem is considered a secure cryptographic primitive. The purpose of this paper is to propose a paradigm shift in attacking the elliptic curve discrete logarithm problem. In this paper, we will argue…

Cryptography and Security · Computer Science 2023-06-22 Ansari Abdullah , Ayan Mahalanobis , Vivek M. Mallick

Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but these are only useful if computed answers are correct. While hardware-level decoherence errors have garnered significant attention, a…

Programming Languages · Computer Science 2022-04-15 Yuxiang Peng , Kesha Hietala , Runzhou Tao , Liyi Li , Robert Rand , Michael Hicks , Xiaodi Wu

The discrete logarithm problem (DLP) over finite fields, commonly used in classical cryptography, has no known polynomial-time algorithm on classical computers. However, Shor has provided its polynomial-time algorithm on quantum computers.…

Quantum Physics · Physics 2025-10-06 Kaito Kishi , Junpei Yamaguchi , Tetsuya Izu , Noboru Kunihiro

While recent progress in quantum hardware open the door for significant speedup in certain key areas, quantum algorithms are still hard to implement right, and the validation of such quantum programs is a challenge. Early attempts either…

Programming Languages · Computer Science 2022-02-04 Christophe Chareton , Sébastien Bardin , François Bobot , Valentin Perrelle , Benoit Valiron

In this paper, we first define the quantum discrete logarithm problem (QDLP)which is similar to classical discrete logarithm problem. But, this problem cannot be solved by Shor's quantum algorithm. Based on quantum discrete logarithm…

Quantum Physics · Physics 2007-05-23 Chien-Yuan Chen , Chih-Cheng Hsueh

We perform logical and physical resource estimation for computing binary elliptic curve discrete logarithms using Shor's algorithm on fault-tolerant quantum computers. We adopt a windowed approach to design our circuit implementation of the…

Quantum Physics · Physics 2025-09-01 Michael Garn , Angus Kan

Quantum computers have the potential to perform computational tasks beyond the reach of classical machines. A prominent example is Shor's algorithm for integer factorization and discrete logarithms, which is of both fundamental importance…

We give precise quantum resource estimates for Shor's algorithm to compute discrete logarithms on elliptic curves over prime fields. The estimates are derived from a simulation of a Toffoli gate network for controlled elliptic curve point…

Quantum Physics · Physics 2017-11-01 Martin Roetteler , Michael Naehrig , Krysta M. Svore , Kristin Lauter

The discrete logarithm problem (DLP) is the basis for several cryptographic primitives. Since Shor's work, it has been known that the DLP can be solved by combining a polynomial-size quantum circuit and a polynomial-time classical…

Cryptography and Security · Computer Science 2022-08-31 Yoshinori Aono , Sitong Liu , Tomoki Tanaka , Shumpei Uno , Rodney Van Meter , Naoyuki Shinohara , Ryo Nojima

While significant progress has been made on the hardware side of quantum computing, support for high-level quantum programming abstractions remains underdeveloped compared to classical programming languages. In this article, we introduce…

We lay the foundations for a blockchain scheme, whose consensus is reached via a proof of work algorithm based on the solution of consecutive discrete logarithm problems over the point group of elliptic curves. In the considered…

Cryptography and Security · Computer Science 2021-11-19 Alessio Meneghetti , Massimiliano Sala , Daniele Taufer

Nowadays, predominant asymmetric cryptographic schemes are considered to be secure because discrete logarithms are believed to be hard to be computed. The algorithm of Shor can effectively compute discrete logarithms, i.e. it can brake such…

Cryptography and Security · Computer Science 2025-04-01 Johanna Barzen , Frank Leymann
‹ Prev 1 2 3 10 Next ›