【WireGuard】深度探讨：形式化证明、密码敏捷性与后量子
原文中文，约4400字，阅读约需11分钟。
📝
内容提要
Dowling–Paterson 对 1.5 RTT confirmation 的证明障碍、Donenfeld 的回应、netdev 上「无算法协商」争论、PSK 量子权宜之计，以及 WireGuard 作为 ZTNA 数据面的边界与开放问题。
🏷️
