Eurydice：把 Rust 代码编译成可读 C 代码
2026.10.10 · 产品 · 开源项目 · 社区热议
Eurydice 将 Rust 转为结构清晰、保留求值顺序的 C 代码，服务高保障软件。
Eurydice 是 Aeneas 项目下的新编译器，目标是把 Rust 代码转换成干净的 C 代码，方便现有验证与合规工具继续使用。它由 Inria 和微软的人员维护，2023 年启动，已用于把部分后量子密码例程从 Rust 编译到 C。与 rustc 生成位运算循环不同，Eurydice 会保留代码结构，并用临时变量维持原有求值顺序。
- 目标是把 Rust 转成干净 C 代码，而非机器码
- 2023 年启动，MIT 与 Apache-2.0 双许可
- 由 Inria 和微软人员维护，接受外部贡献
- 已用于编译部分后量子密码例程
- 保留代码结构与求值顺序，但泛型需单态化
为什么值得看
了解 Rust 与 C 之间过渡方案，以及形式验证场景的编译思路。
适合谁关注
Rust 开发者、编译器爱好者、高保障软件与形式验证从业者。