本期介绍四个 Rust 项目：PolyXOR128 是带 Lean 形式化证明的 128 位通用哈希，碰撞概率上界为 (n/4096+3)/2^128，吞吐接近 foldhash 的两倍；Casita 是 Cachix 团队的内容寻址存储层，用 BLAKE3 管理源码与构建产物；mbrotli 进入 lzbench，解压快于官方 Brotli；Taipei 提供 Tower 过载治理。