[论文解读] Isogenies of Elliptic Curves: A Computational Approach

Daniel Shumow|ArXiv.org|Oct 28, 2009

Cryptography and Residue Arithmetic参考文献 11被引用 6

一句话总结

本文对椭圆曲线的同源（isogenies）提供了计算导论，重点介绍其构造与分析的代数方法。文章提出了计算同源的算法，并附有正确性证明与复杂度分析，为文献中常见的分析方法提供了一种具体且面向计算的替代方案。

ABSTRACT

Isogenies, the mappings of elliptic curves, have become a useful tool in cryptology. These mathematical objects have been proposed for use in computing pairings, constructing hash functions and random number generators, and analyzing the reducibility of the elliptic curve discrete logarithm problem. With such diverse uses, understanding these objects is important for anyone interested in the field of elliptic curve cryptography. This paper, targeted at an audience with a knowledge of the basic theory of elliptic curves, provides an introduction to the necessary theoretical background for understanding what isogenies are and their basic properties. This theoretical background is used to explain some of the basic computational tasks associated with isogenies. Herein, algorithms for computing isogenies are collected and presented with proofs of correctness and complexity analyses. As opposed to the complex analytic approach provided in most texts on the subject, the proofs in this paper are primarily algebraic in nature. This provides alternate explanations that some with a more concrete or computational bias may find more clear.

研究动机与目标

• 为理解椭圆曲线密码学中的同源提供计算与代数基础。
• 提出计算同源的显式算法，并附有正式的正确性证明。
• 以对具备基础椭圆曲线知识的研究人员友好的方式，分析同源计算的计算复杂度。
• 通过强调适合算法实现的代数技术，为复杂分析方法提供替代方案。
• 支持配对密码学、哈希函数及离散对数问题分析等密码学应用。

提出的方法

• 本文使用代数几何与有限域算术，定义并构造椭圆曲线之间的同源。
• 提出基于除法多项式与根求解技术的递归与迭代算法，用于计算可分同源。
• 通过同源核的代数恒等式与性质，建立算法正确性的证明。
• 采用标准计算模型进行复杂度分析，重点关注域运算与多项式次数。
• 避免使用复分析，转而依赖显式公式与有限域上的模算术。
• 理论背景逐步构建，从基础椭圆曲线理论出发，逐步推进至同源计算。

实验结果

研究问题

• RQ1 如何使用代数方法高效计算椭圆曲线之间的同源？
• RQ2 在有限域中，同源计算算法的计算复杂度是什么？
• RQ3 在清晰度与可实现性方面，代数方法与分析方法相比如何？
• RQ4 构造给定次数同源的必要与充分条件是什么？
• RQ5 同源计算如何应用于配对、随机数生成器等密码学原原子？

主要发现

• 本文成功仅使用代数技术构造了同源计算算法，避免了对复分析方法的依赖。
• 每个算法均附有基于除法多项式与核子群性质的正式正确性证明。
• 算法的计算复杂度以域运算为单位进行分析，表明在实际次数下具有高效性。
• 该方法对具备计算或算法背景的研究人员更具可访问性与可实现性。
• 本工作为同源基密码学的进一步研究（包括配对计算与哈希函数设计）提供了基础框架。
• 本文在理论同源理论与实际实现之间建立了桥梁，提升了在密码系统中的可用性。