该论文针对超椭圆曲线(genus-2)上经典的 Richelot (2,2)-同源步提出了一种完全无导数的重表述。传统的 Richelot 步骤通过曲线 f=uvw 的因式分解,利用 Wronskian 导数构造目标三元组 (U,V,W)。论文在素数域 F_p (p>2) 上,通过系数矩阵的 2×2 子式以及从第一子结式和线性合冲来恢复 Wronskian 输出,从而避免了求导运算。由此得到的 Remainder-Polynomial Route (RPR) 被证明在 F_p[x] 中产生与经典方法完全相同的多项式元组(不仅是相差单位,而是精确的多项式恒等)。在此基础上,作者进一步提出了 Guarded Subresultant Route (GSR),一种确定性评估器:通过常数大小的代数守卫和轻量级后检查来认证可容许性,并且最多允许一次有界仿射重试。所有路径每步执行 O(1) 次域运算。在多个素数域上的原型实现中,对超过 10^6 次匹配试验,RPR 相对于经典 Wronskian 公式获得了约 4.75–6 倍的核加速;即使计入认证开销,完整的 GSR 流水线仍比 WRO 快 1.4–3 倍。正确性通过双 Richelot 对合测试在 5 个素数上的 2.5×10^5 个随机三元组上得到独立验证。该工作为后量子密码学中基于同源的密码体制(如 SIDH/SIKE 的推广)的高效实现提供了新途径。
💡 推荐理由: 为超椭圆曲线同源计算提供了一种无导数的更快、可认证的算法,有助于提升后量子密码(如同源密码)的软件实现效率与可靠性。
🎯 建议动作: 研究跟进
排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)