SSIP / F_p-rational curves · quantum · GRH

A quantum algorithm for computing isogenies between supersingular elliptic curves

Jean-François Biasse · David Jao · Anirudh Sankar

Indocrypt 2014

PublishedSource checked

Time bound: L_p[1/2, sqrt(3)/2]
Space bound: Not stated in the checked source

Source / version date: 2014
Comparison variant: F_p-rational curves · quantum · GRH
Cost scale: L_p[1/2,c]
assumption: GRH
date-basis: Publication year 2014; day not asserted
L-notation: L_p[α,c]=exp((c+o(1))(ln p)^α(ln ln p)^{1−α})

Assumptions and source notes

Theorem 1 gives the subexponential bound when both curves are defined over F_p. The displayed coefficient is sqrt(3)/2 in the L-notation scale, not a p exponent.

Source location

Theorem 1 (Main result), p.4
Version: Checked 2026-11-08; see linked source version/date

Primary source ↗

BibTeXDownload .bib

@misc{bjs14,
  author = {Jean-François Biasse and David Jao and Anirudh Sankar},
  title = {{A quantum algorithm for computing isogenies between supersingular elliptic curves}},
  year = {2014},
  doi = {10.1007/978-3-319-13039-2_25},
  url = {https://cacr.uwaterloo.ca/techreports/2014/cacr2014-24.pdf},
  keywords = {supersingular isogenies, quantum, GRH},
  cr_date = {2014-12-31},
  cr_date_precision = {year},
  cr_status = {published},
  cr_venue = {INDOCRYPT 2014},
  cr_author_ids = {jean-francois-biasse; david-jao; anirudh-sankar}
}