Paper 2022/1068
Evaluating isogenies in polylogarithmic time
Abstract
Let π βΆ πΈ β πΈβ² be an N-isogeny between elliptic curves (or abelian varieties) over a finite field π½_π. We show that there always exist an efficient representation of π that takes polylogarithmic π(log^π(1) π log π) space and which can evaluate π at any point π β πΈ(π½_{π^π}) in polylogarithmic π(log^π(1) π) arithmetic operations in π½_{π^π}. Furthermore, this efficient representation can be computed by evaluating π on π(log π) points defined over extensions of degree π(log π) over π½_π. In particular, if π is represented by the equation π»(π₯) = 0 of its kernel πΎ, then using VΓ©luβs formula the efficient representation can be computed in time π Μ(π log π + log^2 π).
Metadata
- Available format(s)
- Category
- Foundations
- Publication info
- Preprint.
- Keywords
- isogeny
- Contact author(s)
- damien robert @ inria fr
- History
- 2022-08-21: approved
- 2022-08-17: received
- See all versions
- Short URL
- https://ia.cr/2022/1068
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2022/1068, author = {Damien Robert}, title = {Evaluating isogenies in polylogarithmic time}, howpublished = {Cryptology {ePrint} Archive, Paper 2022/1068}, year = {2022}, url = {https://eprint.iacr.org/2022/1068} }