Tags: #opendp

arXiv 2609.30254 提出 Forte,首个针对 Rust &mut 原地修改的 sensitivity 类型系统。λ-Forte 演算 + Verus 反证 + Flux 普通库实现,把 OpenDP 109 篇手写稳定性证明变成 checked obligation。