开发者提议用Rust重写Apache2核心逻辑

开发者 jdpressman 正讨论以 Rust 重写 Apache2 的安全逻辑，并为实现加入 Verus 形式化规约和对抗性审查，以期在“期望意义上”比继续运行基于 C 的 apache2 更安全；他明确表示重写版本不必做到完美。 该方案目前仍处于讨论和设计阶段，并非已经完成或验证。其还计划让其他模型参与审查，但相关请求可能受到网络安全过滤机制拦截。

AI 根据报道生成 · 3 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。