WireGuard 深度系列：从设计哲学到内核实现
内容提要
WireGuard 通过打破传统分层，用固定密码学原语和 cryptokey routing 表实现简洁高效的内核 VPN。本系列五篇文章涵盖设计哲学、Noise IKpsk2 协议、内核代码路径、运维实践及深度争论，探讨其相对 IPSec 的边界、1.5 RTT 握手、多核处理、配置易错点及后量子安全挑战，适合网络工程师、内核开发者及架构师阅读。
延伸解读
“简单”的代价：WireGuard 拒绝了什么
WireGuard 的“简单”并非少写功能，而是系统性拒绝证书体系、算法协商和 SPD/SAD 分离。NDSS 2017 论文承认，IPSec 的分层在学术上更“正确”，但 WireGuard 从分层破坏出发，用固定密码学原语和 cryptokey routing 补洞。这种取舍换来可审计性，但也意味着它不适合需要灵活算法或复杂策略的场景。
1.5 RTT 握手的安全边界
Noise IKpsk2 通过四次 Curve25519 DH（es/ss/ee/se）在 1.5 RTT 内完成认证、前向保密与身份隐藏。但响应方必须等发起方第一条 transport 消息才能安全发数据，这是协议安全边界，不是实现疏忽。Dowling & Paterson 指出，第一条 transport 作为 key confirmation，使标准 session-key indistinguishability 证明难以模块化。
多核并行与保序的工程权衡
内核实现中，发送路径用 AllowedIPs trie 选 peer，加解密进入 parallel worker，per-peer 串行保证 UDP 外层可乱序、内层会话有序。这种设计在保持性能的同时，避免了复杂的锁和乱序处理，但也意味着多核扩展性受限于 per-peer 串行化，高并发场景下可能成为瓶颈。
配置易错点：两张路由表
cryptokey routing 与宿主机 FIB 是两套表。能握手但 ping 不通、能解密但回不了包，几乎都落在这两张表与 endpoint 学习不同步。生产环境中最容易配错的是 AllowedIPs 与路由表不一致，以及 NAT 和漫游场景下的 endpoint 更新问题。理解这两张表的区别是排障关键。
Q&A
WireGuard 的设计哲学是什么？它如何打破传统分层？
WireGuard 的设计哲学是故意打破传统分层，用 cryptokey routing 表、固定密码学原语和约数千行的内核虚拟网卡来实现简洁高效的 VPN。它拒绝证书体系、cipher suite negotiation 和 SPD/SAD 分离，以换取可审计性和简单性。
WireGuard 的握手协议是什么？它如何实现 1.5 RTT 的认证和密钥交换？
WireGuard 使用 Noise IKpsk2 握手协议，通过四次 Curve25519 DH（es/ss/ee/se）在 1.5 RTT 内完成认证、前向保密和身份隐藏。响应方必须等发起方第一条 transport 消息才能安全发送数据，这是协议的安全边界。
WireGuard 在内核中如何处理多核并行和保序？
WireGuard 发送路径使用 AllowedIPs trie 选择 peer，加解密进入 parallel worker，并通过 per-peer 串行保证 UDP 外层可乱序、内层会话有序。
WireGuard 运维中常见的配置错误有哪些？
常见的配置错误包括 AllowedIPs 与宿主机 FIB 路由表不一致、NAT 配置错误、漫游时 endpoint 学习不同步，导致能握手但 ping 不通或能解密但回不了包。
WireGuard 的“无算法协商”在后量子时代面临哪些挑战？
WireGuard 的“无算法协商”在后量子时代面临挑战，因为固定原语可能被量子计算机破解。PSK 是量子威胁的权宜之计，但不是最终解决方案。形式化证明方面，Dowling & Paterson 指出第一条 transport 消息作为 key confirmation 使标准证明难以模块化。
WireGuard 与 IPSec 相比有哪些边界和优势？
WireGuard 的优势在于简洁、可审计、性能高，但边界在于它不支持算法协商、证书体系等，适用于特定场景如 site-to-site、远程接入和 ZTNA 数据面。IPSec 分层更“正确”，但复杂度高。
