[论文解读] Dual Elliptic Primes and Applications to Cyclotomy Primality Proving

Preda Mihăilescu|ArXiv.org|Sep 26, 2007

Cryptography and Residue Arithmetic参考文献 20被引用 5

一句话总结

本文提出CIDE，一种新颖的素性证明算法，通过利用双椭圆素数（即一对素数，其中一者支持一个点数等于另一者的椭圆曲线）统一了分圆法与椭圆曲线法。该算法实现启发式立方时间复杂度，并生成二次时间可验证的证明证书，结合了CPP与ECPP的优势，同时消除了分圆测试中的超多项式瓶颈。

ABSTRACT

Two rational primes p, q are called dual elliptic if there is an elliptic curve E mod p with q points. They were introduced as an interesting means for combining the strengths of the elliptic curve and cyclotomy primality proving algorithms. By extending to elliptic curves some notions of galois theory of rings used in the cyclotomy primality tests, one obtains a new algorithm which has heuristic cubic run time and generates certificates that can be verified in quadratic time. After the break through of Agrawal, Kayal and Saxena has settled the complexity theoretical problem of primality testing, some interest remains for the practical aspect of state of the art implementable proving algorithms.

研究动机与目标

• 为解决分圆素性证明（CPP）的实际低效问题，尽管其理论运行时间呈超多项式增长，但实际表现强劲。
• 通过将分圆法的结构优势与椭圆曲线算术相结合，克服ECPP缺乏已证明多项式时间终止性的缺陷。
• 引入双椭圆素数的概念，作为分圆与椭圆曲线素性证明框架之间的桥梁。
• 开发一种新算法CIDE，实现启发式立方时间复杂度，并生成高效可验证的证明证书。
• 通过使用椭圆曲线扩张与Galois环结构，消除素性证明中对n−1大因数分解的依赖。

提出的方法

• 将双椭圆素数定义为有理素数p与q，使得存在一个定义在F_p上的椭圆曲线E，其有理点数恰好为q。
• 将Galois环理论从分圆域扩展至Z/(n·Z)上的椭圆曲线扩张，实现结构化的代数测试。
• 使用ACE算法寻找Z/(n·Z)的L次扩张，通过Jacobi和测试验证合适椭圆曲线的存在性。
• 对n与m（即双素数）执行分圆测试，验证模n与模m下分圆多项式Φ_s(X)的因式分解符合预期。
• 利用Ajtai-Kumar-Sivakumar算法计算Jacobi和，将此步骤降至近乎线性时间，从而实现多项式时间验证。
• 通过[28]中的认证方法构建素性证明证书，其可在无条件情况下以二次时间独立验证。

实验结果

研究问题

• RQ1 能否在保留分圆法结构优势的同时，消除分圆素性证明的超多项式运行时间？
• RQ2 能否利用双椭圆素数构建一种混合素性证明算法，融合分圆法与椭圆曲线法的优势？
• RQ3 能否在保持确定性、基于证书的验证过程的同时，实现启发式立方时间复杂度的素性证明？
• RQ4 能否将Jacobi和的计算——此前CPP中的性能瓶颈——减少至随机多项式时间，且不依赖启发式假设？
• RQ5 在Galois环上使用椭圆曲线扩张，能否开启一类具有可证明效率与强实际性能的新素性测试？

主要发现

• CIDE算法实现启发式运行时间O(log³⁺ε(n))次二进制运算，显著优于经典CPP的超多项式运行时间。
• CIDE生成的素性证明证书可在无条件情况下以二次时间O(log²(n))独立验证。
• 使用双椭圆素数可消除对n−1大因数分解的依赖，这是经典Lucas-Lehmer与分圆测试的关键限制。
• 通过集成Ajtai-Kumar-Sivakumar算法计算Jacobi和，将此前超多项式步骤降至近乎线性时间，从而实现整体立方时间复杂度。
• 该算法具有确定性且实用，其理论效率与实际可行性均优于传统ECPP与CPP。
• 该方法为大素数提供了AKS算法的可行替代方案，因其避免了AKS在实践中因空间复杂度过高而受阻的问题。