【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 引入了新的静态分析检查和支持交叉编译的文档测试,进一步保障了代码质量。

➡️

继续阅读