s2n-tls项目中OpenSSL 3.0 FIPS模式下哈希与签名机制的演进
2025-06-12 14:06:13作者:俞予舒Fleming
在密码学库s2n-tls的开发过程中,团队遇到了OpenSSL 3.0 FIPS模式下哈希与签名机制的兼容性问题。本文将深入分析这一技术挑战及其解决方案。
背景与挑战
s2n-tls作为AWS开发的TLS实现,需要支持多种加密操作,包括哈希计算和数字签名。在OpenSSL 3.0 FIPS模式下,原有的实现方式遇到了两个主要限制:
- MD5哈希算法不再被FIPS模式支持
- EVP_MD_CTX_set_pkey_ctx函数不可用
这些限制迫使开发团队重新审视整个加密操作架构,寻找既符合FIPS要求又能保持功能完整性的解决方案。
原有架构分析
在原有实现中,s2n-tls采用了双路径架构:
哈希计算路径:
- 传统方式:使用SHA1_hash()等非FIPS方法
- EVP方式:使用EVP_Digest()等现代方法
签名计算路径:
- 传统方式:使用ECDSA_sign()等非FIPS方法
- EVP方式:使用EVP_DigestSign()等现代方法
这种架构在不同OpenSSL版本间存在兼容性问题,特别是在FIPS模式下。
解决方案设计
开发团队提出了三路径签名方案来应对OpenSSL 3.0 FIPS的挑战:
- 传统签名:使用非FIPS方法
- EVP签名:使用完整EVP流程
- EVP-FIPS-140-3签名:使用EVP_pkey_sign()但不依赖EVP_MD_CTX_set_pkey_ctx
关键突破在于认识到虽然FIPS模式本身不支持MD5,但通过加载默认提供者(Default provider)可以获取MD5支持,这使得全面转向EVP接口成为可能。
架构演进
最终的架构演进路径包括三个主要阶段:
- 清理阶段:移除不再使用的openssl-1.0.2-fips特殊处理代码
- EVP哈希统一:
- 实现显式获取(EVP explicit fetch)
- 所有libcrypto实现统一使用EVP哈希
- 清理传统哈希实现
- EVP签名统一:
- 添加新的EVP签名方法
- 除awslc-fips外全部迁移到新EVP签名方法
- 清理传统pkey实现
技术实现细节
在具体实现上,团队采用了以下策略:
- 哈希计算:全面转向EVP接口,通过显式获取确保算法可用性
- 签名操作:
- 对于支持完整EVP流程的环境,使用EVP_DigestSign
- 对于限制性环境,使用EVP_pkey_sign配合外部哈希
- 兼容性处理:通过运行时检测自动选择最佳实现路径
总结
s2n-tls团队通过这次架构演进,不仅解决了OpenSSL 3.0 FIPS的兼容性问题,还实现了代码的简化和统一。新的架构具有以下优势:
- 更好的FIPS合规性
- 更清晰的代码结构
- 更强的版本兼容性
- 更易于维护的代码库
这一案例展示了在密码学库开发中如何平衡安全性要求、功能完整性和代码可维护性,为类似项目提供了有价值的参考。
登录后查看全文
热门项目推荐
相关项目推荐
GLM-5智谱 AI 正式发布 GLM-5,旨在应对复杂系统工程和长时域智能体任务。Jinja00
GLM-5-w4a8GLM-5-w4a8基于混合专家架构,专为复杂系统工程与长周期智能体任务设计。支持单/多节点部署,适配Atlas 800T A3,采用w4a8量化技术,结合vLLM推理优化,高效平衡性能与精度,助力智能应用开发Jinja00
jiuwenclawJiuwenClaw 是一款基于openJiuwen开发的智能AI Agent,它能够将大语言模型的强大能力,通过你日常使用的各类通讯应用,直接延伸至你的指尖。Python0209- QQwen3.5-397B-A17BQwen3.5 实现了重大飞跃,整合了多模态学习、架构效率、强化学习规模以及全球可访问性等方面的突破性进展,旨在为开发者和企业赋予前所未有的能力与效率。Jinja00
AtomGit城市坐标计划AtomGit 城市坐标计划开启!让开源有坐标,让城市有星火。致力于与城市合伙人共同构建并长期运营一个健康、活跃的本地开发者生态。01
MarkFlowy一款 AI Markdown 编辑器TSX01
热门内容推荐
最新内容推荐
项目优选
收起
deepin linux kernel
C
27
12
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
617
4.08 K
Ascend Extension for PyTorch
Python
453
538
🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 6 版)》题解
Java
69
21
暂无简介
Dart
858
205
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
926
775
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.48 K
836
AscendNPU-IR是基于MLIR(Multi-Level Intermediate Representation)构建的,面向昇腾亲和算子编译时使用的中间表示,提供昇腾完备表达能力,通过编译优化提升昇腾AI处理器计算效率,支持通过生态框架使能昇腾AI处理器与深度调优
C++
114
178
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
374
254
昇腾LLM分布式训练框架
Python
133
159