本文探讨IKEv2与IPsec的三大争议：形式化验证揭示认证弱点、算法协商导致降级风险、后量子混合密钥交换需RFC 9370支持。对比WireGuard固定套件，选型取决于合规审计、多厂商互通或极简管理需求。强调形式化结果受模型限制，部署需核对配置，后量子安全需显式机制。

本文探讨WireGuard协议在密码学证明、密码敏捷性、后量子安全及零信任架构中的争议。核心观点：WireGuard的“简单”经得起审计，但并非在所有模型下被原样证明；拒绝套件协商换来版本化演进义务；PSK仅是针对性威胁模型的补丁，后量子需新协议世代；在零信任中它是数据面工具，而非完整安全架构。

量子计算机对传统加密算法（如RSA和ECC）构成威胁，因此需要转向抗量子攻击的后量子签名算法。目前，ML-KEM加密和ML-DSA签名已被广泛采用，但仍需改进。Cloudflare计划在2029年前实现全面的后量子安全。NIST正在推进多种后量子签名方案，但这些方案的成熟和标准化可能需要更长时间。

公钥加密无法直接加密大消息，因其明文长度和性能限制。混合加密结合公钥和对称加密，先用公钥加密会话密钥，再用该密钥加密数据。KEM/DEM范式将混合加密分为密钥封装和数据封装，确保安全性。HPKE是现代混合加密框架，支持灵活的算法选择，适应未来的后量子安全需求。

GitHub 引入混合后量子安全密钥交换算法 sntrup761x25519-sha512，以保护 SSH 连接免受未来量子计算威胁。该算法结合后量子密码学与经典椭圆曲线，计划于2025年9月17日上线，确保即使量子计算机破解现有算法，SSH 流量仍然安全。