Search papers, labs, and topics across Lattice.
This paper introduces a novel algebraic framework for the Supersingular Isogeny Problem by representing it as a system of multivariate polynomial equations, specifically for isogenies of degree 2 or 3. The authors leverage Renes formulas for elliptic curves to analyze the algebraic properties of these systems, proving their zero-dimensionality and computing the dimension of their highest degree part. Experimental results indicate that utilizing Gr\"obner basis techniques for solving these systems offers a significant speed advantage over traditional methods involving modular polynomials.
Solving the Supersingular Isogeny Problem using Gr\"obner basis techniques can be dramatically faster than conventional approaches, reshaping the efficiency landscape of cryptographic applications.
We present a new algebraic modeling of the Supersingular Isogeny Problem as a system of multivariate polynomial equations, in the case where the elliptic curves are connected by an isogeny whose degree is a power of $2$ or $3$. This modeling relies on Renes formulas for elliptic curves in Montgomery form (degree $2$) or triangular form (degree $3$). We investigate several algebraic properties of these systems: we prove that they are zero-dimensional, compute the dimension of their highest degree part, and show that they are not in generic coordinates. Experimental results show that solving these systems via Gr\"obner basis techniques is significantly faster than solving the algebraic modeling with modular polynomials.
