Mbed-TLS项目中移除RSA-PSK密钥交换机制的技术解析
在Mbed-TLS项目的最新开发中,开发团队决定从TLS 1.2协议实现中移除RSA-PSK(RSA预共享密钥)密钥交换机制。这一技术决策反映了现代密码学实践的发展趋势和安全需求的变化。
RSA-PSK是一种混合密钥交换机制,结合了RSA非对称加密和预共享密钥(PSK)两种认证方式。在这种机制下,客户端和服务器既需要使用预先共享的密钥进行认证,又需要通过RSA加密交换部分密钥材料。这种设计原本旨在提供双重认证保障,但随着密码学技术的发展,其实际应用价值和安全优势已逐渐减弱。
从技术实现角度来看,此次移除工作涉及多个层面的代码变更。首先需要删除相关的配置选项MBEDTLS_KEY_EXCHANGE_RSA_PSK_ENABLED及其保护的所有代码逻辑。同时,所有使用该密钥交换类型的密码套件(如TLS-RSA-PSK-WITH-AES-256-GCM-SHA384等)也需要一并移除。这些密码套件涵盖了多种加密算法组合,包括AES、CAMELLIA、ARIA等不同分组密码,以及GCM、CBC等不同工作模式。
在测试方面,移除工作需要特别谨慎。测试用例分为三类处理:专门针对RSA-PSK的测试直接移除;已有其他密钥交换类型等效测试的案例也直接移除;而对于那些测试目标更广泛但恰好使用了RSA-PSK的测试,则需调整为使用其他保留的密码套件。这种分类处理方法既保证了测试覆盖率的完整性,又避免了不必要的冗余。
从安全演进的角度看,移除RSA-PSK机制有几个合理考量:首先,现代TLS实践更倾向于使用前向安全性更好的密钥交换机制,如ECDHE;其次,PSK本身已经提供了足够的认证强度,与RSA结合的收益有限;最后,减少支持的密钥交换类型可以缩小代码库的攻击面,符合最小化实现的安全原则。
对于Mbed-TLS用户而言,这一变更意味着需要检查现有配置中是否启用了RSA-PSK相关选项,并在升级前做好迁移准备。项目团队建议用户转向更现代的密钥交换机制,如PSK单独使用或与ECDHE结合的方案,这些方案在保证安全性的同时,通常还能提供更好的性能表现。
这一技术决策体现了Mbed-TLS项目紧跟密码学发展前沿、持续优化安全实现的开发理念,也是项目向更精简、更安全方向演进的重要一步。
ERNIE-4.5-VL-28B-A3B-ThinkingERNIE-4.5-VL-28B-A3B-Thinking 是 ERNIE-4.5-VL-28B-A3B 架构的重大升级,通过中期大规模视觉-语言推理数据训练,显著提升了模型的表征能力和模态对齐,实现了多模态推理能力的突破性飞跃Python00
unified-cache-managementUnified Cache Manager(推理记忆数据管理器),是一款以KV Cache为中心的推理加速套件,其融合了多类型缓存加速算法工具,分级管理并持久化推理过程中产生的KV Cache记忆数据,扩大推理上下文窗口,以实现高吞吐、低时延的推理体验,降低每Token推理成本。Python03
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
Spark-Prover-7BSpark-Prover-7B is a 7B-parameter large language model developed by iFLYTEK for automated theorem proving in Lean4. It generates complete formal proofs for mathematical theorems using a three-stage training framework combining pre-training, supervised fine-tuning, and reinforcement learning. The model achieves strong formal reasoning performance and state-of-the-art results across multiple theorem-proving benchmarksPython00
MiniCPM-V-4_5MiniCPM-V 4.5 是 MiniCPM-V 系列中最新且功能最强的模型。该模型基于 Qwen3-8B 和 SigLIP2-400M 构建,总参数量为 80 亿。与之前的 MiniCPM-V 和 MiniCPM-o 模型相比,它在性能上有显著提升,并引入了新的实用功能Python00
Spark-Formalizer-7BSpark-Formalizer-7B is a 7B-parameter large language model by iFLYTEK for mathematical auto-formalization. It translates natural-language math problems into precise Lean4 formal statements, achieving high accuracy and logical consistency. The model is trained with a two-stage strategy combining large-scale pre-training and supervised fine-tuning for robust formal reasoning.Python00
GOT-OCR-2.0-hf阶跃星辰StepFun推出的GOT-OCR-2.0-hf是一款强大的多语言OCR开源模型,支持从普通文档到复杂场景的文字识别。它能精准处理表格、图表、数学公式、几何图形甚至乐谱等特殊内容,输出结果可通过第三方工具渲染成多种格式。模型支持1024×1024高分辨率输入,具备多页批量处理、动态分块识别和交互式区域选择等创新功能,用户可通过坐标或颜色指定识别区域。基于Apache 2.0协议开源,提供Hugging Face演示和完整代码,适用于学术研究到工业应用的广泛场景,为OCR领域带来突破性解决方案。00- HHowToCook程序员在家做饭方法指南。Programmer's guide about how to cook at home (Chinese only).Dockerfile014
Spark-Scilit-X1-13B科大讯飞Spark Scilit-X1-13B基于最新一代科大讯飞基础模型,并针对源自科学文献的多项核心任务进行了训练。作为一款专为学术研究场景打造的大型语言模型,它在论文辅助阅读、学术翻译、英语润色和评论生成等方面均表现出色,旨在为研究人员、教师和学生提供高效、精准的智能辅助。Python00- PpathwayPathway is an open framework for high-throughput and low-latency real-time data processing.Python00