【Rust日报】2026-09-02 全球首个 Rust 安全认证产品
内容提要
本文介绍了四个Rust项目：Sonair ADAR One成为首个用Rust实现并获安全认证的3D超声波传感器；Wasmi 2.0解释器性能提升约2.2倍；Sonora是Rust和GPUI构建的跨平台音乐播放器；Rust-GB实现用纯Rust编写Game Boy ROM。
延伸解读
安全认证的突破意义
Sonair ADAR One 成为首个用 Rust 实现并完成安全认证的嵌入式系统，这对 Rust 在工业安全领域的应用具有里程碑意义。团队原本是 C/C++ 背景，且无 Rust 产品交付经验，却成功通过认证，说明 Rust 在内存安全方面的优势已获得安全标准认可。值得注意的是，认证过程依赖 Ferrocene 路径，表明 Rust 工具链的认证支持尚在完善中，但这一案例为后来者提供了可参考的实践路径。
性能提升的对比视角
Wasmi 2.0 在 Apple M2 Pro 上相对 1.0 快约 2.2 倍，这一提升来自约 8 个月的引擎大改。文章将 Wasmi 与 Wasm3、WAMR、Wasmtime Pulley 等主流解释器对比，但未给出具体数值，读者需注意性能数据可能因基准和硬件而异。此外，2.0 新增的 validate feature 可缩小产物、稳定 fuel metering 等功能，对 IoT 和智能合约等资源受限场景尤为实用。
开源项目的成熟度差异
Sonora 和 Rust-GB 均处于早期阶段：Sonora 版本 0.28.1、约 95 star，Rust-GB 约 291 star。Sonora 强调内存占用低于 Spotify Desktop，但未提供具体数据；Rust-GB 通过 LLVM-Z80 实现纯 Rust 编写 Game Boy ROM，技术上有创新，但硬件兼容性和 API 安全性仍在完善。读者在评估这些项目时，应关注其活跃度和文档，避免在生产环境直接依赖。
Q&A
全球首个用 Rust 实现并完成安全认证的嵌入式系统是什么？
挪威 Sonair 公司的 ADAR One 3D 超声波传感器，面向机器人与机械安全场景，成为首个以 Rust 实现并完成安全认证的嵌入式系统。
Wasmi 2.0 相比 1.0 性能提升了多少？
在 Apple M2 Pro 上，wasmi-benchmarks 几何均值显示相对 Wasmi 1.0 约快 2.2 倍。
Sonora 音乐播放器支持哪些音乐源？
Sonora 支持 Spotify、YouTube（可选登录）和本地曲库。
Rust-GB 项目是如何实现用纯 Rust 编写 Game Boy ROM 的？
Rust-GB 通过开发 LLVM-Z80，将 LLVM IR 直接编译到 Game Boy 机器码，并构建了 Game Boy 侧的 Rust 库，从而实现了用纯 Rust 编写 Game Boy 程序。
Sonair 团队为什么选择 Rust 而不是 C/C++？
主要针对 C/C++ 的内存与并发痛点，尽管当时编译器安全认证尚未完成，团队仍决定沿 Ferrocene 路径推进。
Wasmi 2.0 新增了哪些功能？
Wasmi 2.0 提供了 validate feature 以缩小产物、稳定的 fuel metering、WebAssembly deterministic profile 支持以及改进的 CLI。
Sonora 播放器在 UI 设计上受到什么启发？
Sonora 的 UI 受 Zed/GPUI 启发，并对 GPUI fork 做了效果与 profiling 相关补丁。
Rust-GB 项目提供了哪些工具和库？
Rust-GB 提供了 HAL/runtime（如 rust-gb、gb-rt）、cargo-gb 等 host 工具、示例 ROM，以及 llvm-z80 / rust-z80 等产物。
