【Rust日报】2025-06-11 RustWeek 演讲回放列表发布
内容提要
微软正在将其开源密码学库SymCrypt从C语言重写为Rust，以提升内存安全性并防范漏洞。重写过程中将结合形式化验证方法，并确保与现有C API兼容。目前初步的Rust版本已在预览分支中发布。
关键要点
-
微软将开源密码学库SymCrypt从C语言重写为Rust，以提升内存安全性和防范漏洞。
-
重写过程中将结合形式化验证方法，确保与现有C API兼容。
-
初步的Rust版本已在SymCrypt仓库的预览分支中发布。
-
Aeneas工具将Rust代码与证明分离，并连接到Lean等证明助手。
-
Eurydice将Rust编译为C，以兼容遗留环境。
-
Revizor工具将扩展以分析二进制文件，检测硬件级侧信道漏洞。
-
Meilisearch 1.15新增功能包括关闭数字拼写容错和改进中文支持。
-
S2团队实现了一个多玩家、无服务器、持久化的终端，支持多用户同时操作。
-
Conviva的流分析平台因原子计数器导致性能问题，通过替换解决了缓存争用。
-
Flarion CEO分享了使用Rust构建高性能数据处理系统的经验。
-
Gazan是基于Cloudflare Pingora的高性能反向代理，完全用Rust编写。
-
Pixi是一个跨平台、多语言的包管理器，基于conda生态系统构建。
-
Scientific Computing in Rust 2025和RustWeek的演讲回放列表已发布。
延伸解读
内存安全的重要性
微软将SymCrypt从C语言重写为Rust，旨在提升内存安全性。C语言的内存管理容易导致漏洞，而Rust的设计理念强调安全性，能够有效防止常见的内存错误。这一转变不仅能增强SymCrypt的安全性，还能为其他项目提供借鉴，推动更多开源项目向Rust迁移。
兼容性与工具链的挑战
在重写SymCrypt的过程中，微软特别强调与现有C API的兼容性。这意味着在使用Rust的同时，必须确保新版本能够无缝对接旧有系统。为此，微软采用了Eurydice工具将Rust编译为C，这一策略虽然有效，但也可能增加开发复杂性，开发者需关注工具链的稳定性和性能。
形式化验证的应用
微软在重写过程中结合了形式化验证方法，利用Aeneas工具将Rust代码与证明分离。这种方法可以提高代码的可靠性，确保在安全性要求高的领域中，软件的行为符合预期。然而，形式化验证的实施可能需要额外的时间和资源，开发团队需评估其对项目进度的影响。
延伸问答
微软为什么将SymCrypt从C语言重写为Rust？
微软重写SymCrypt为Rust是为了提升内存安全性并防范漏洞。
重写SymCrypt的过程中会使用哪些工具？
重写过程中将使用Aeneas、Eurydice和Revizor等工具。
初步的Rust版本SymCrypt在哪里可以找到？
初步的Rust版本已在SymCrypt仓库的预览分支中发布。
Eurydice工具的功能是什么？
Eurydice工具将Rust编译为C，以兼容遗留环境。
Revizor工具的扩展目的是什么？
Revizor工具将扩展以分析二进制文件，检测硬件级侧信道漏洞。
SymCrypt在什么平台上被广泛应用？
SymCrypt广泛应用于Windows、Azure Linux和Xbox等平台。
