分析前1000个热门Rust crate发现，65%的最高版本仍低于1.0，许多crate长期未更新但下载量巨大。另有文章讨论supertrait义务应由impl还是调用方证明，结论倾向模块化证明。proofs.rs网站登记Rust形式化验证结果，支持Kani和Creusot。TokioConf 2027征稿截止2026年11月30日。