【Rust日报】2025-07-16 Rust 功能测试：使用 `hint-mostly-unused` 加快编译

苦瓜小仔发表于 2025-07-16 11:51

Tags：日报

Rust 官方：使用 `hint-mostly-unused` 加快编译

Rust 团队在 2025 年 7 月 15 日宣布了一项新的夜间版功能 -Zhint-mostly-unused，旨在通过跳过未使用的依赖项代码生成来加速 Rust 编译时间。

许多大型 Rust 库提供了广泛 API，但用户往往只使用其中一小部分，导致编译器浪费大量时间生成未使用的代码。新功能通过延迟这些代码的生成来节省时间，尤其在发布构建中效果显著。

例如，某些大型依赖项的编译时间减少了 23% 到 51%。用户可以通过在 Cargo.toml 中设置 profile.hint-mostly-unused 或在依赖项的 Cargo.toml 中添加 [hints] mostly-unused = true 来启用此功能。

该功能目前仅在夜间版可用，团队呼吁开发者进行测试并提供反馈，以评估其稳定性和性能影响。

阅读：https://blog.rust-lang.org/inside-rust/2025/07/15/call-for-testing-hint-mostly-unused/

Reddit：https://www.reddit.com/r/rust/comments/1m0l4ca/call_for_testing_speeding_up_compilation_with/

《Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust》

论文：https://eprint.iacr.org/2025/980
仓库：https://github.com/cryspen/bertie

我们提出了一种有效方法，用于对用 Rust 编写的实用密码协议实现进行形式化验证。在单一的证明框架内，我们展示了如何为多种属性开发经机器检查的完备证明，包括运行时安全、解析正确性以及密码协议安全性。

所有分析任务均由软件开发人员驱动：他们在 Rust 源代码中撰写注解，并为每个任务选择后端证明器——既可以是通用的证明助手（如 F*），也可以是专门面向密码学的证明器（如 ProVerif 和 SSProve）。我们的主要贡献是：以 Bert13 为实例展示了这一方法论。

Bert13 是一个用 Rust 编写的可移植后量子 TLS 1.3 实现，已在安全性与功能正确性两方面得到验证。据我们所知，这是首个针对 Rust 协议实现的安全性验证成果，也是首个获得验证的后量子 TLS 1.3 库。

Helix editor 发布 v25.07

此次更新涉及195名贡献者，重点包括：

新增文件浏览器功能，支持模糊搜索和层级目录浏览；
支持 LSP 的 Document Color Request，可在编辑器中直接显示颜色；
命令模式大幅改进，新增标志（flags）和扩展（expansions）功能，提升命令行解析和补全能力

此外，Helix 还引入了全新的 tree - house 库，取代了原有的 Tree - sitter 绑定，优化了语法高亮、增量注入和局部变量处理等功能，提升了性能和可维护性。

阅读：https://helix-editor.com/news/release-25-07-highlights/

CortexBrain：基于 eBPF 的轻量级的服务网格

CortexBrain 旨在创建一个智能、轻量且高效的架构，无缝连接云端和边缘设备。

借助 eBPF 的强大功能，CortexBrain 能够成功管理分布式集群中的网络和可观察性，从而减少资源浪费并提升整体性能。

目前，这个项目正在缓慢发展，我们正在积极维护和扩展功能。我们引入了一个专用的命令行界面和网络连接跟踪器。我们正在开发下一个更新，最终将引入详细的网络和内核指标，并希望能够集成一个用于数据可视化的仪表板。

Linux 内核验证器（BPF 验证器）确保所有程序都能安全运行，JIT 编译器将字节码转换为特定于 CPU 架构的代码，以实现原生执行效率。CortexBrain 可以通过将程序连接到不同的钩子（例如 TC （流量控制）和 XDP 钩子）中，直接在内核级别观察和跟踪网络事件（例如入口连接和出口连接）、应用策略并在不同后端之间分配流量。借助 BPF 映射，所有被拦截的事件都能在用户空间成功通知。