
arXiv: 2008.02717
This paper reports on the computation of a discrete logarithm in the finite field F 2 30750 \mathbb {F}_{2^{30750}} , breaking by a large margin the previous record, which was set in January 2014 by a computation in F 2 9234 \mathbb {F}_{2^{9234}} . The present computation made essential use of the elimination step of the quasi-polynomial algorithm due to Granger, Kleinjung and Zumbrägel, and is the first large-scale experiment to truly test and successfully demonstrate its potential when applied recursively, which is when it leads to the stated complexity. It required the equivalent of about 2900 2900 core years on a single core of an Intel Xeon Ivy Bridge processor running at 2.6 GHz, which is comparable to the approximately 3100 3100 core years expended for the discrete logarithm record for prime fields, set in a field of bit-length 795 795 , and demonstrates just how much easier the problem is for this level of computational effort. In order to make the computation feasible we introduced several innovative techniques for the elimination of small degree irreducible elements, which meant that we avoided performing any costly Gröbner basis computations, in contrast to all previous records since early 2013. While such computations are crucial to the L ( 1 4 + o ( 1 ) ) L(\frac 1 4 + o(1)) complexity algorithms, they were simply too slow for our purposes. Finally, this computation should serve as a serious deterrent to cryptographers who are still proposing to rely on the discrete logarithm security of such finite fields in applications, despite the existence of two quasi-polynomial algorithms and the prospect of even faster algorithms being developed.
discrete logarithm problem, Mathematics - Number Theory, Algebraic coding theory; cryptography (number-theoretic aspects), quasi-polynomial algorithm, 11Y16, 11T71, Cryptography, FOS: Mathematics, Finite fields, Quasi-polynomial algorithm, Number Theory (math.NT), finite fields, Discrete logarithm problem, binary fields, Binary fields, [MATH.MATH-NT] Mathematics [math]/Number Theory [math.NT], [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR], Number-theoretic algorithms; complexity
discrete logarithm problem, Mathematics - Number Theory, Algebraic coding theory; cryptography (number-theoretic aspects), quasi-polynomial algorithm, 11Y16, 11T71, Cryptography, FOS: Mathematics, Finite fields, Quasi-polynomial algorithm, Number Theory (math.NT), finite fields, Discrete logarithm problem, binary fields, Binary fields, [MATH.MATH-NT] Mathematics [math]/Number Theory [math.NT], [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR], Number-theoretic algorithms; complexity
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
