土法炼钢 · 系统与基础设施

【WireGuard】深度探讨：形式化证明、密码敏捷性与后量子

2026-07-19 | network · security · cryptography | #wireguard #formal-verification #crypto-agility #post-quantum #noise #ztna #acns

Dowling–Paterson 对 1.5 RTT confirmation 的证明障碍、Donenfeld 的回应、netdev 上「无算法协商」争论、PSK 量子权宜之计，以及 WireGuard 作为 ZTNA 数据面的边界与开放问题。