用 Rust 重写 SymCrypt 以实现微软密码库的现代化

[jiacai2050]

1. 由于C语言等内存不安全的语言存在风险，微软计划用内存安全的Rust语言重写SymCrypt加密库。
2. SymCrypt被广泛应用于Windows、Azure Linux、Xbox等平台，目前主要用C语言编写，会继续支持C语言API。
3. 为了确保实现与算法规范一致，将采用形式化验证方法，并分析编译后的代码，检测侧信道泄漏。
4. 使用Aeneas等工具来验证Rust代码的正确性，因为Rust的类型系统可以提供更强的安全保证。
5. 将使用Eurydice工具将Rust代码编译成C代码，以便与现有的C代码兼容，方便用户过渡。
6. 使用Revizor工具来分析二进制代码，检测硬件层面的安全漏洞，例如时间侧信道攻击。

Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library  - Microsoft Research