【Rust日报】2025-12- 04 Ferrocene 包含首个通过 SIL 2 认证的 Rust 核心库子集 | Wasmi 1.0 发布
💡
原文中文,约3100字,阅读约需8分钟。
📝
内容提要
Ferrocene 25.11.0 正式发布,首个通过 IEC 61508 (SIL 2) 认证的 Rust 核心库降低了安全认证成本,推动 Rust 在安全关键领域的应用。更新集成了 Rust 1.89 和 1.90 的特性,提升了开发者体验。
🎯
关键要点
- Ferrocene 25.11.0 正式发布,包含首个通过 IEC 61508 (SIL 2) 认证的 Rust 核心库。
- 此次更新降低了安全认证成本,推动 Rust 在安全关键领域的应用。
- 集成了 Rust 1.89 和 1.90 的特性,提升了开发者体验。
- 核心库是所有其他库的基础,适用于不依赖操作系统的嵌入式开发。
- Ferrous Systems 与 TÜV SÜD 合作完成认证,消除了开发者的验证成本障碍。
- 更新包括 Const Generics 增强和 FFI 互操作性提升。
- Ferrocene 25.11.0 为高安全等级软件开发提供完整解决方案,巩固了 Rust 在嵌入式领域的竞争地位。
- Hyper-util 发布可组合连接池,改变了 Rust 网络连接管理的构建方式。
- 新的连接池架构基于 Tower 的模块化设计,允许灵活组合不同策略。
- HTTP 客户端库 reqwest 已采用新架构,提升了性能和灵活性。
- Wasmi 1.0 正式发布,标志着高效 WebAssembly 解释器的 API 稳定性里程碑。
- Wasmi 1.0 支持广泛的标准,增强了对复杂应用的支持能力。
- 通过安全审计和持续测试,降低了攻击面和维护成本。
- 引入官方 C-API 绑定,支持跨语言集成,提升开发者体验。
❓
延伸问答
Ferrocene 25.11.0 的主要更新内容是什么?
Ferrocene 25.11.0 包含首个通过 IEC 61508 (SIL 2) 认证的 Rust 核心库,并集成了 Rust 1.89 和 1.90 的特性,提升了开发者体验。
Ferrocene 25.11.0 如何降低安全认证成本?
通过提供经认证的 Rust 核心库,Ferrocene 25.11.0 消除了开发者在构建合规系统时的验证成本障碍。
Ferrocene 25.11.0 对嵌入式开发有什么影响?
Ferrocene 25.11.0 为不依赖操作系统的嵌入式开发提供了基础库,巩固了 Rust 在该领域的竞争地位。
Wasmi 1.0 发布的主要特点是什么?
Wasmi 1.0 主要特点包括广泛的标准支持、安全性加固和开发者体验升级,标志着 API 稳定性的新里程碑。
Hyper-util 的可组合连接池有什么优势?
可组合连接池通过模块化设计,允许开发者灵活组合不同策略,显著提升了性能和灵活性。
Ferrocene 25.11.0 如何提升开发者体验?
Ferrocene 25.11.0 引入了新的静态分析检查和支持交叉编译的文档测试,进一步保障了代码质量。
➡️