Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves
Loops and cycles play an important role in computing endomorphism rings of supersingular elliptic curves and related cryptosystems. For a supersingular elliptic curve E defined over 𝔽p2, if an imaginary quadratic order O can be embedded in End(E) and a prime L splits into two principal ideals in O,...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
De Gruyter
2021-05-01
|
Series: | Journal of Mathematical Cryptology |
Subjects: | |
Online Access: | https://doi.org/10.1515/jmc-2020-0029 |
id |
doaj-901b77dc661f431985bdcc1c58edd201 |
---|---|
record_format |
Article |
spelling |
doaj-901b77dc661f431985bdcc1c58edd2012021-09-22T06:13:10ZengDe GruyterJournal of Mathematical Cryptology1862-29761862-29842021-05-0115145446410.1515/jmc-2020-0029Constructing Cycles in Isogeny Graphs of Supersingular Elliptic CurvesXiao Guanju0Luo Lixia1Deng Yingpu2Key Laboratory of Mathematics Mechanization, NCMIS, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing100190, China; School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing100049, ChinaKey Laboratory of Mathematics Mechanization, NCMIS, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing100190, China; School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing100049, ChinaKey Laboratory of Mathematics Mechanization, NCMIS, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing100190, China; School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing100049, ChinaLoops and cycles play an important role in computing endomorphism rings of supersingular elliptic curves and related cryptosystems. For a supersingular elliptic curve E defined over 𝔽p2, if an imaginary quadratic order O can be embedded in End(E) and a prime L splits into two principal ideals in O, we construct loops or cycles in the supersingular L-isogeny graph at the vertices which are next to j(E) in the supersingular ℓ-isogeny graph where ℓ is a prime different from L. Next, we discuss the lengths of these cycles especially for j(E) = 1728 and 0. Finally, we also determine an upper bound on primes p for which there are unexpected 2-cycles if ℓ doesn’t split in O.https://doi.org/10.1515/jmc-2020-0029elliptic curvesisogeny graphsloopscycles11g0511g1514h5294a60 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Xiao Guanju Luo Lixia Deng Yingpu |
spellingShingle |
Xiao Guanju Luo Lixia Deng Yingpu Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves Journal of Mathematical Cryptology elliptic curves isogeny graphs loops cycles 11g05 11g15 14h52 94a60 |
author_facet |
Xiao Guanju Luo Lixia Deng Yingpu |
author_sort |
Xiao Guanju |
title |
Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves |
title_short |
Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves |
title_full |
Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves |
title_fullStr |
Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves |
title_full_unstemmed |
Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves |
title_sort |
constructing cycles in isogeny graphs of supersingular elliptic curves |
publisher |
De Gruyter |
series |
Journal of Mathematical Cryptology |
issn |
1862-2976 1862-2984 |
publishDate |
2021-05-01 |
description |
Loops and cycles play an important role in computing endomorphism rings of supersingular elliptic curves and related cryptosystems. For a supersingular elliptic curve E defined over 𝔽p2, if an imaginary quadratic order O can be embedded in End(E) and a prime L splits into two principal ideals in O, we construct loops or cycles in the supersingular L-isogeny graph at the vertices which are next to j(E) in the supersingular ℓ-isogeny graph where ℓ is a prime different from L. Next, we discuss the lengths of these cycles especially for j(E) = 1728 and 0. Finally, we also determine an upper bound on primes p for which there are unexpected 2-cycles if ℓ doesn’t split in O. |
topic |
elliptic curves isogeny graphs loops cycles 11g05 11g15 14h52 94a60 |
url |
https://doi.org/10.1515/jmc-2020-0029 |
work_keys_str_mv |
AT xiaoguanju constructingcyclesinisogenygraphsofsupersingularellipticcurves AT luolixia constructingcyclesinisogenygraphsofsupersingularellipticcurves AT dengyingpu constructingcyclesinisogenygraphsofsupersingularellipticcurves |
_version_ |
1717371858525880320 |