【Rust日报】2025-06-11 RustWeek 演讲回放列表发布
原文中文，约3200字，阅读约需8分钟。
📝
内容提要
微软正在将其开源密码学库SymCrypt从C语言重写为Rust，以提升内存安全性并防范漏洞。重写过程中将结合形式化验证方法，并确保与现有C API兼容。目前初步的Rust版本已在预览分支中发布。
🔎
延伸解读
内存安全的重要性
微软将SymCrypt从C语言重写为Rust，旨在提升内存安全性。C语言的内存管理容易导致漏洞，而Rust的设计理念强调安全性，能够有效防止常见的内存错误。这一转变不仅能增强SymCrypt的安全性，还能为其他项目提供借鉴，推动更多开源项目向Rust迁移。
兼容性与工具链的挑战
在重写SymCrypt的过程中，微软特别强调与现有C API的兼容性。这意味着在使用Rust的同时，必须确保新版本能够无缝对接旧有系统。为此，微软采用了Eurydice工具将Rust编译为C，这一策略虽然有效，但也可能增加开发复杂性，开发者需关注工具链的稳定性和性能。
形式化验证的应用
微软在重写过程中结合了形式化验证方法，利用Aeneas工具将Rust代码与证明分离。这种方法可以提高代码的可靠性，确保在安全性要求高的领域中，软件的行为符合预期。然而，形式化验证的实施可能需要额外的时间和资源，开发团队需评估其对项目进度的影响。
❓
Q&A
微软为什么将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等平台。
🏷️
