#isogeny

共收录 7 条相关安全情报。

← 返回所有主题
👥 作者: Nicolas Swanson

本文研究超奇异椭圆曲线在固定特征 p 下,从任意超奇异曲线 E 到其 Frobenius 共轭 E^(p) 的等源(isogeny)存在性所需的最小次数 δ(p)。作者将该存在性问题转化为正定整系数三元二次型的表示问题,并利用 Voronoi 在三维空间中的完美型理论(perfect forms)来刻画 δ(p) 接近最大值的情形。对于足够大的素数 p,文章证明 δ(p) 达到其上界当且仅当 p 可由九个显式三次多项式之一表示,从而将该类素数的无穷性归结为这些三次多项式是否能无穷多次取素数值这一数论经典猜想。此外,作者还证明对于几乎所有素数,δ(p) 至少比其上界低 p^{1/6-o(1)}。这一结果不仅深化了对超奇异椭圆曲线等源图结构的理解,也可能对基于超奇异等源的密码系统(如 SIDH/SIKE 类协议)的安全性分析产生理论影响。适合数论、算术几何及密码学理论方向的研究者阅读。

💡 推荐理由: 超奇异椭圆曲线是后量子密码(如同源密码)的数学基础,δ(p) 的性质直接影响等源图的结构与潜在攻击路径,因此对安全从业者评估相关密码方案的长期安全性有理论参考价值。

🎯 建议动作: 研究跟进

排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Furkan Cifci, Osman Emre Donder, Reyyan Cifci

本文提出了一种名为 MCSI 的两消息密钥交换协议,其设计基于 CSIDH 类群作用(commutative supersingular isogeny key exchange)。在该协议中,每一方使用由双方静态密钥共同确定的认证加密密钥来发送其临时公钥元素,从而隐式实现双向认证,并防止窃听者获取临时元素。接收方只需进行一次标签校验即可丢弃未认证的消息,而无需执行代价高昂的类群作用求值(后者约贵四个数量级)。在安全性分析方面,作者证明了协议以零错误概率正确成立,并在随机预言机模型下证明了三个结论,全部归约到强并行化问题:被动敌手下的会话密钥不可区分性、盲化临时元素的机密性以及盲化传输的完整性。文中特别指出,这些证明均未使用判别式类群作用的决策性假设,因为该假设对非素数判别式类群作用不成立。此外,作者证明盲化密钥不能来自其旨在建立的会话密钥本身。在实例化方面,文章选定参数并展示了一个为椭圆曲线离散对数选择的素数不可用的情况:对于 NIST P-521 素数 p=2^521-1,该作用不存在可高效求值的生成元。实践层面,作者用 C 语言和 Python 独立实现了该协议,交叉验证了结果,并测量了会话在域运算、时间和内存方面的开销。他们还对代码进行了秘密依赖控制流审计:域运算和对称层未发现泄露,但类群作用天生会泄露密钥,两次时序测量可区分两个一范数相差 5(总长 370)的密钥。最后,作者明确了未证明的安全属性,包括临时密钥泄露下的安全性、盲化的前向保密性以及恒定时间执行。该研究适合对后量子密码学、密钥交换协议设计、CSIDH 安全性及侧信道分析感兴趣的研究人员和工程师阅读。

💡 推荐理由: 该协议在后量子密钥交换中引入了盲化临时密钥与隐式认证,并避免了昂贵的类群求值,为设计高效且抗量子的安全通道提供了新思路。其安全证明不依赖被否定的决策性假设,值得关注。

🎯 建议动作: 研究跟进

排序因子: 影响边界/网络设备 (+5) | 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Weize Wang, Chutong Wang, Yu Wu, Qifan Xue, Jieyu Zheng, Yunlei Zhao

该论文针对现代同源密码系统(如 SQIsign)在有限域、椭圆曲线和高维同源运算中大量计算开销的问题,提出了一种通过暴露 SIMD 并行性来加速的方法。传统做法尝试直接向量化域乘法,但受限于 Montgomery 梯子等循环依赖结构以及点运算、配对和 theta 坐标公式中不规则的细粒度并行性,效果有限。作者的关键洞察是:不应孤立地向量化域乘法,而应重新组织更高层原语的算术依赖图,从而恢复大量 SIMD 并行。他们基于 AVX-512IFMA 指令集实现了 SQIsign 的端到端优化,在大部分曲线侧计算中保持数据处于基为 2^51 的向量表示。具体优化包括:投影坐标下的 xDBLADD 调度、多种坐标系中的批量点倍、向量化双标量阶梯、融合立方运算的配对步骤,以及批量的一维和二维同源求值。与参考 C 实现相比,在 NIST level I 参数下,密钥生成、签名和验证分别获得 1.76 倍、1.71 倍和 3.18 倍的端到端加速;结合 Qlapoti 后,密钥生成和签名加速比进一步提升至 2.90 倍和 2.69 倍。此外,作者将相同的方法应用于 CORAL——一种基于二维 2-同源的近期后量子非交互密钥交换方案,在五组参数下,密钥生成实现 1.28–1.40 倍加速,共享密钥计算实现 1.92–2.46 倍加速。这些结果提供了跨方案证据,表明算法级 SIMD 调度是高维同源密码学中可复用的优化维度。适合对后量子密码实现性能优化、SIMD 并行编程以及同源密码算法加速感兴趣的密码工程研究人员阅读。

💡 推荐理由: 该研究展示了针对同源后量子密码的实用性能优化方向,对推动 SQIsign、CORAL 等方案的实际部署有积极意义;但作为算法实现优化,不涉及漏洞或攻击,安全从业者可将其视为性能情报参考。

🎯 建议动作: 研究跟进

排序因子: 影响边界/网络设备 (+5) | 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Hyeonhak Kim, Suhri Kim

在本文中,作者围绕着后量子密码中同源密码学的发展进程,特别是SIDH及其衍生变体的性能问题展开研究。SIDH曾因密钥尺寸小、运算速度快而被视为极具潜力的同源密钥交换方案,并成功进入NIST后量子密码标准化的第四轮备选名单。然而,Castryck和Decru在2022年提出的密钥恢复攻击显示,SIDH在经典计算模型下可以在多项式时间内被破解,这一致命缺陷导致其被标准化流程除名。为了修复该安全问题,学界提出了多种SIDH变体,例如MSIDH、MD-SIDH以及二/三进制SIDH(bin/terSIDH),但这些方案在安全性增强的同时引入了较大的性能开销,实际部署困难。针对这一现状,Basso和Maino在Eurocrypt 2025上提出了POKE——一种利用高维同源构造的公钥加密方案,它在保留SIDH式简洁性的同时,通过提高维数规避了原攻击。本文首次将POKE从加密方案改造为可交互的密钥交换(KEM)协议,并针对NIST安全级别I开展了系统的性能基准测试。测试对象包括M-SIDH、terSIDH和CSIDH。实验数据表明,基于POKE的KEM在运行速度上比terSIDH快约21.21倍,比CSIDH快约64.97倍,在同类同源算法中表现突出,被作者认为是当前最有前途的同源密钥交换候选方案。该研究不仅呈现了POKE的实际性能优势,也为后续后量子密码算法的选型和工程落地提供了关键参考。

💡 推荐理由: 后量子密码迁移是长期趋势,同源密码学是重要分支。POKE的性能突破可能改变实际部署选择,对安全架构的前瞻性规划具有指导意义。

🎯 建议动作: 研究跟进

排序因子: 影响边界/网络设备 (+5) | 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.6)
👥 作者: Abhinav Sharma, Vikas Srivastava

本文提出了一种基于同源群作用(Isogeny Group Actions)的新型主动可验证门限不经意伪随机函数(threshold VOPRF)框架,名为 PIVOT(Proactive Isogeny-based Verifiable Oblivious Threshold PRF)。传统的门限 OPRF 将密钥分发给 n 个服务器,任何至少 t 个服务器的合格集合都能完成函数求值,而少于 t 份额无法泄露密钥信息。然而,现有的基于同源的门限 OPRF 主要针对静态腐败模型设计,若份额在整个服务生命周期内保持不变,移动敌手可以随时间逐步入侵不同服务器,累积同一共享状态下的 t 个份额,最终恢复主密钥。PIVOT 解决了这一关键安全问题:它无需可信经销商(dealerless),并能够在不改变主密钥、公钥或已生成 OPRF 输出的前提下,周期性刷新服务器份额。其核心构造结合了 Shamir 秘密共享、加法同态系数承诺、顺序 Lagrange 加权群作用,以及将认证份额与对应同源动作关联的联合零知识证明。系统还支持协调的周期切换、公开可验证的归责、安全擦除,以及在不同阈值下进行的委员会重新共享。作者形式化了长期运行的主动性门限 VOPRF 的功能,证明了分布式密钥生成、门限求值、主动刷新和委员会重共享的正确性,并在向量化(vectorization)和一次性隐藏群作用假设下提供了基于模拟的安全分析。作为应用示例,论文描述了一个分布式私有查找服务,其加密数据库在多次份额更新和委员会迁移后仍然有效。该研究适用于对密码学、同源密码学、门限协议及移动敌手模型感兴趣的安全研究人员。由于仅基于摘要,该论文的完整技术细节和实验验证需参考原文。

💡 推荐理由: 针对移动敌手模型下的同源门限 OPRF 提出主动刷新机制,弥补现有方案静态腐败假设的不足,增强长期运行密码服务的密钥安全性,对分布式隐私计算有重要参考价值。

🎯 建议动作: 研究跟进

排序因子: 影响边界/网络设备 (+5) | 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
推荐 3.5
Conf: 50%
👥 作者: Alessio Caminata, Andrea Sanguineti, Silvia Sconza

该论文提出了一种新的代数建模方法,用于解决超奇异同源问题(Supersingular Isogeny Problem)。该问题在后量子密码学中至关重要,特别是对于基于同源的密码方案(如SIKE)的安全性基础。传统的代数建模通常使用模多项式,但计算成本较高。本文利用Renes公式,针对度数为2或3的幂的同源,将椭圆曲线表示为Montgomery形式(度数2)或三角形形式(度数3),从而构建了一个多元多项式方程组。作者证明了该方程组是零维的,即只有有限个解,并计算了其最高次部分的维数,同时指出这些系统不在通用坐标下(即具有特殊结构)。实验结果表明,通过Gröbner基方法求解这些方程组比使用模多项式的代数建模显著更快。这一工作为后量子密码分析提供了一种新的工具,可能有助于评估基于同源的密码方案的实际安全性。论文适合密码学研究人员、后量子密码安全评估者以及代数几何领域的研究者阅读。

💡 推荐理由: 该研究提出了求解超奇异同源问题的更高效代数建模方法,可能降低基于同源的密码方案(如SIKE)的安全性假设,对后量子密码的标准化和部署具有潜在影响。

🎯 建议动作: 研究跟进

排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Hung T. Dang, Diep V. Nguyen

该论文针对超椭圆曲线(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)