Eurydice：将 Rust 编译为可读的 C 代码
Compiling Rust to readable C with Eurydice
Rust 编译器的生态正在快速多元化，除了 LLVM 和 GCC，新项目 Eurydice 提出了一个更激进的目标：将 Rust 代码转换为结构清晰、人类可读的 C 代码。这对于高可信度软件领域尤为重要，因为现有的验证和合规工具大多仍基于 C。Eurydice 通过保留代码的原始结构，移除 Rust 特有但 C 不支持的构造，实现了这一转换。虽然目前它主要适用于小型、自包含的程序，且在处理泛型和动态类型时面临挑战，但它为那些仅有 C 编译器环境的场景提供了平滑过渡方案，是 Aeneas 项目中连接 Rust 与形式化验证的重要桥梁。
直到这些工具能够更新以支持 Rust，Eurydice 可以为这些项目提供更平滑的过渡，并为那些拥有 C 编译器但没有可用 Rust 编译器的环境提供垫脚石。