Nicolas Courtois has recently uploaded to eprint the paper High Saturation Complete Graph Approach for EC Point Decomposition and ECDL Problem of over 80 pages about ECDLP.
The paper is written in an unusual style. It is a bit like a research notebook, containing sketches of ideas, rather than a polished mathematics paper.
The paper is mainly about the point decomposition problem, which is the fundamental problem behind all recent work on index calculus algorithms (see: these blog
posts). Precisely this problem is: Given a point and a factor base write for .
The standard approach these days is to use summation polynomials: We find solutions to the Semaev summation polynomial and then compute the corresponding points. Currently these methods have not had any practical impact on the security of elliptic curve cryptography.
The preprint contains several ideas, whose relevance and impact are yet to be fully determined.
One idea is a way to generate a lot of equations without adding too many new variables. Courtois chooses random elliptic curve points (where is any natural number) and defines new variables
Courtois then notes that if and then
Hence we have
There are choices for , so we get a system of equations in the variables . On the one hand, we now have a greatly over-determined system, and so it should be easier to solve than traditional systems. On the other hand, the system has too many solutions as the variables are unconstrained.
Hence the next problem is to add constraints to the system to reduce the number of solutions. If one can find suitable constraints then one should be able to define a corresponding notion of factor base. Some ideas are sketched in the paper, in particular in Section 18.2, but I have not yet formed an opinion about well these ideas will work. The paper only considers elliptic curves over prime fields , but similar ideas might be used for curves over other fields.
There are several other ideas in the paper, including some new polynomial equations that might be used to play a similar role to the summation polynomials.
Overall, the paper contains some interesting ideas that are not yet fully developed. Currently the paper does not describe a complete index calculus algorithm and it is difficult for me to determine whether or not the methods are likely to lead to an improvement over existing techniques. No precise complexity statements are made in the paper.
I hope that other researchers will investigate these ideas. I look forward to following the development of work on this topic.
— Steven Galbraith