Supersingular isogeny search
Construct an explicit isogeny between two supersingular elliptic curves.
F_p-rational curves · quantum · GRH
Quantum isogeny construction between F_p-rational supersingular curves
Results
| # | PUBLICATION / AUTHORS | DATE | TIME BOUND | SPACE BOUND | EVIDENCE |
|---|---|---|---|---|---|
| 1 | A quantum algorithm for computing isogenies between supersingular elliptic curvesIndocrypt 2014SourceBibTeX / details | 2014 | Lp[1/2, sqrt(3)/2] | Not stated in the checked source | PublishedSource checked |
Comparison definition & assumptions
- Regime
- Quantum isogeny construction between F_p-rational supersingular curves
- Computation
- Quantum
- Rigor
- Conditional on GRH
- Instances
- Both curves defined over F_p
- Cost scale
- L_p[1/2,c]
- Parameter
- p
- Description
- Quantum isogeny construction between F_p-rational supersingular curves
- Comparison rules
- L_p[α,c]=exp((c+o(1))(ln p)^α(ln ln p)^{1−α}). Compare c only at fixed α=1/2. This easier commutative-action case is not general supersingular isogeny search.
- Tags
- F_p rational, quantum, GRH