OpenSSL项目中ML-KEM/ML-DSA算法的关键修复与优化
在OpenSSL项目中,随着ML-KEM和ML-DSA算法的合并,开发团队识别并解决了一系列关键问题。这些修复不仅涉及测试框架的调整,还包括算法实现的优化和配置管理的改进。以下是这些修复的详细技术分析。
测试框架的调整
测试框架的调整主要集中在确保ML-DSA算法在不同构建配置下的正确性。具体包括:
-
测试文件的重定位:将ML-DSA的测试文件从默认测试列表中移出,转而纳入同时测试FIPS和默认配置的列表中。这一调整确保了测试的全面性,覆盖了不同配置下的算法行为。
-
CI配置的更新:更新了CI配置文件,增加了
no-ml-dsa选项,以支持在禁用ML-DSA的情况下进行构建和测试。这一变更确保了构建系统的灵活性,能够适应不同的用户需求。 -
SSL测试的修复:修复了在禁用ML-DSA时
test_ssl_new测试失败的问题。通过将no-ml-dsa添加到批量排除列表中,并优化生成的SSL测试文件检查逻辑,确保了测试的稳定性和一致性。
算法实现的优化
在算法实现方面,团队对ML-KEM和ML-DSA进行了多项优化:
-
EVP测试的改进:移除了ML-KEM实现中自定义字段的使用,转而采用标准的控制机制。这一变更使得代码更加规范,减少了潜在的错误来源。
-
字符串比较的优化:在
t1_lib.c文件中,将字符串比较改为不区分大小写,提升了代码的健壮性和兼容性。 -
算法别名的添加:为ML-KEM添加了OID长名称作为算法别名,提高了算法的可识别性和易用性。
配置管理的增强
配置管理方面的改进主要包括:
-
批量禁用功能的扩展:在Configure脚本中增加了对ML-KEM的批量禁用支持,使得用户能够更方便地管理算法启用状态。
-
导入时间PCT的可配置性:实现了导入时间PCT(Probabilistic Checkable Testing)的可配置性,为用户提供了更大的灵活性,可以根据实际需求调整测试强度。
总结
通过这些修复和优化,OpenSSL项目不仅提升了ML-KEM和ML-DSA算法的稳定性和可靠性,还增强了构建和测试系统的灵活性。这些变更体现了开发团队对代码质量和用户体验的持续关注,为后续的功能扩展和维护奠定了坚实的基础。对于开发者而言,理解这些变更背后的技术细节,将有助于更好地利用OpenSSL的强大功能。
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedRust0130- DDeepSeek-V4-ProDeepSeek-V4-Pro(总参数 1.6 万亿,激活 49B)面向复杂推理和高级编程任务,在代码竞赛、数学推理、Agent 工作流等场景表现优异,性能接近国际前沿闭源模型。Python00
MiMo-V2.5-ProMiMo-V2.5-Pro作为旗舰模型,擅⻓处理复杂Agent任务,单次任务可完成近千次⼯具调⽤与⼗余轮上 下⽂压缩。Python00
GLM-5.1GLM-5.1是智谱迄今最智能的旗舰模型,也是目前全球最强的开源模型。GLM-5.1大大提高了代码能力,在完成长程任务方面提升尤为显著。和此前分钟级交互的模型不同,它能够在一次任务中独立、持续工作超过8小时,期间自主规划、执行、自我进化,最终交付完整的工程级成果。Jinja00
MiniCPM-V-4.6这是 MiniCPM-V 系列有史以来效率与性能平衡最佳的模型。它以仅 1.3B 的参数规模,实现了性能与效率的双重突破,在全球同尺寸模型中登顶,全面超越了阿里 Qwen3.5-0.8B 与谷歌 Gemma4-E2B-it。Jinja00
MiniMax-M2.7MiniMax-M2.7 是我们首个深度参与自身进化过程的模型。M2.7 具备构建复杂智能体应用框架的能力,能够借助智能体团队、复杂技能以及动态工具搜索,完成高度精细的生产力任务。Python00