Quantum Equivalence of the DLP and CDHP for Group Actions

Abstract

In this short note we give a polynomial-time quantum reduction from the vectorization problem (DLP) to the parallelization problem (CDHP) for group actions. Combined with the trivial reduction from parallelization to vectorization, we thus prove the quantum equivalence of both problems, which is the post-quantum counterpart to classic results of den Boer and Maurer in the classical Diffie–Hellman setting. In contrast to the classical setting, our reduction holds unconditionally and does not assume knowledge of suitable auxiliary algebraic groups. We conclude with a discussion of the implications of this reduction for isogeny-based cryptosystems including CSIDH.