开发者用 Rust 重写 Apache2 并加入 Verus 形式化规约

开发者 jdpressman 正讨论用 Rust 重写 Apache2 的安全逻辑，并为实现加入 Verus 形式化规约与对抗性审查，以期比继续运行基于 C 的 apache2 更安全。该方案不要求重写版本完美，只需在期望意义上优于现状；他还计划让其他模型参与审查，但可能受网络安全过滤拦截影响。