1: \begin{abstract}

2: A new proof is given for the correctness of the powers of two descent method for computing discrete logarithms.

3: The result is slightly stronger than the original work, but more importantly we provide a unified geometric argument, eliminating the need to analyse all possible subgroups of $\mathrm{PGL}_2(\F_q)$.

4: Our approach sheds new light on the role of $\mathrm{PGL}_2$, in the hope to eventually lead to a complete proof that discrete logarithms can be computed in quasi-polynomial time in finite fields of fixed characteristic.

5: \end{abstract}

6: