WireGuard是基于UDP的三层加密隧道,把peer公钥与允许的IP前缀绑定。它简化了算法选择与会话管理接口,但内部仍有握手状态、密钥代际、计数器、重放窗口和计时器,不能描述成“没有状态机,只有加密”。
它提供安全的数据平面,不包含完整的用户登录、设备审批、地址分配、DNS和NAT穿透控制平台。这些功能可由配置工具或其他系统补齐;有一对公钥并不意味着两台设备已经知道如何互相到达。
问题 关键理解
AllowedIPs是路由还是访问控制 发送按目的选peer,接收按源核验
148 B握手里有什么 两个独立加密字段,不是一个合并块
120秒是否无流量也定期重握手 与密钥年龄、角色和收发事件有关
keepalive是否让所有NAT都能穿透 维持已有状态不等于自动建立可达路径
latest handshake很新为何业务不通 还可能是内层路由、AllowedIPs或防火墙
MTU是否永远1420 要按外层路径和封装预算计算
公钥身份、AllowedIPs 与外层 endpoint
peer公钥表示配置的加密身份;endpoint是当前发送UDP的IP和端口;AllowedIPs把内层IP范围关联到该身份。外层地址可改变,内层地址和公钥关系仍由本地策略决定。
AllowedIPs:发送选公钥,接收核对内层源地址
发送:目的 IP = 10.0.0.7
最长匹配 10.0.0.7/32 → Peer B
接收:已由 Peer A 认证解密
内层源 IP = 10.0.0.7
用 B 的会话密钥发送
还需外层 endpoint 可达
源地址归属 B,拒绝 A 冒用
加密有效不等于允许任意内层源地址
示例:A 拥有 10.0.0.0/24,B 拥有更具体的 10.0.0.7/32;仍需系统路由把包送到接口。
操作系统先依据路由把内层包交给WireGuard接口,接口再按目的地址在AllowedIPs中做最长前缀匹配,选择peer。接收侧先认证解密,再核对内层源地址是否归属该peer。仅能成功解密,不意味着该peer可以冒用其他内层地址。Cryptokey Routing
例如A配置10.0.0.0/24,B配置10.0.0.7/32:发往10.0.0.7选B,发往10.0.0.8选A;若A发送源地址10.0.0.7的内层包,在这种配置下会因更具体归属不符而拒绝。AllowedIPs不是简单对每个peer各自做独立集合包含测试。
from ipaddress import ip_address , ip_network
routes = [ ( ip_network ( ' 10.0.0.0/24' ) , ' A' ) , ( ip_network ( ' 10.0.0.7/32' ) , ' B' ) ]
def owner ( address ) :
ip = ip_address ( address )
candidates = [ ( net . prefixlen , peer ) for net , peer in routes if ip in net ]
return max ( candidates ) [ 1 ] if candidates else None
assert owner ( ' 10.0.0.7' ) == ' B'
assert owner ( ' 10.0.0.8' ) == ' A'
assert owner ( ' 10.0.1.1' ) is None
assert owner ( ' 10.0.0.7' ) != ' A' print ( ' 最长前缀选择与接收源归属模型通过' )
wg配置接口的WireGuard参数;地址和系统路由是其他配置层。wg-quick会按配置辅助设置地址与路由等,但这不意味着协议会自动把所有AllowedIPs广播给对端。0.0.0.0/0也不覆盖IPv6的::/0。wg 、wg-quick
A允许整个/24,为什么不能发送其中的.7?
地址条中的金色.7被更具体的/32分给B。把接收peer保持A,来回移动.7与.8,结果在这一点发生变化;这来自统一的最长前缀归属,而非独立检查每个peer的允许集合。
正在呈现知识画面 重新加载
A允许整个/24,为什么不能发送其中的.7? 最长前缀归属覆盖更宽的前缀。收到A认证包后,源地址属于B仍应拒绝,不能只检查A的/24包含它。
{"id":"wireguard-prefix-owner","title":"A允许整个/24,为什么不能发送其中的.7?","summary":"最长前缀归属覆盖更宽的前缀。收到A认证包后,源地址属于B仍应拒绝,不能只检查A的/24包含它。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><div class=\"control\"><label for=\"address\" data-i18n=\"address\"></label><output for=\"address\" id=\"address-value\"></output><input id=\"address\" type=\"range\" min=\"0\" max=\"15\" value=\"7\" step=\"1\"></div><div class=\"presets\" role=\"group\" data-i18n-label=\"peer\"><button data-mode=\"A\" data-i18n=\"a\"></button><button data-mode=\"B\" data-i18n=\"b\"></button></div><div class=\"track-row\"><span data-i18n=\"address\"></span><div id=\"addresses\" class=\"track\"></div></div><div class=\"metrics\"><div><span data-i18n=\"owner\"></span><strong id=\"owner\"></strong></div><div><span data-i18n=\"accept\"></span><strong id=\"accept\"></strong></div></div><details class=\"scope\"><summary data-i18n=\"scopeLabel\"></summary><p data-i18n=\"scope\"></p></details>","css":".intro{margin:8px 0 18px;color:var(--muted);font-size:14px}.caption,.hint{font-size:12px;color:var(--muted);margin-top:12px}.control{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:6px 12px;align-items:center;margin:14px 0;font-size:13px}.control label{font-size:13px}.control output{color:var(--accent);min-width:5em;text-align:right;font-variant-numeric:tabular-nums}.control input{grid-column:1/-1;width:100%;margin:0}.presets{display:flex;gap:4px;align-items:stretch}.presets button{flex:1 1 0;min-width:0;overflow-wrap:anywhere;font-size:13px}.actions{display:flex;gap:8px;flex-wrap:wrap;margin:14px 0}.actions button{flex:1;min-width:0;font-size:13px;min-height:42px}.copy{display:grid;font-size:14px;margin:16px 0}.copy>*{grid-area:1/1;margin:0}.reserve{visibility:hidden}.scope{margin-top:14px;color:var(--muted);font-size:12px}.scope summary{padding:8px 0;cursor:pointer}.scope p{margin-top:10px}.two{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.card{border:1px solid var(--rule);border-radius:9px;padding:14px;min-width:0}.card header{font-size:14px;font-weight:600;margin-bottom:10px}.card button{font-size:12px;width:100%;min-width:0}.card small{display:block;font-size:12px;color:var(--muted)}.card code{font-size:12px;overflow-wrap:anywhere}.metrics{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.metrics>div{border-left:2px solid var(--accent);padding-left:10px;min-width:0}.metrics span{display:block;min-height:3.2em;color:var(--muted);font-size:12px}.metrics strong{font-size:23px;display:block;font-weight:500;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.formula{border-top:1px solid var(--rule);padding-top:12px;margin-top:14px;font-size:13px;font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.value{font:500 20px var(--viz-font-ui)}.legend{display:flex;flex-wrap:wrap;gap:6px 14px;font-size:12px;color:var(--muted);margin:12px 0}.legend span:before{content:'';display:inline-block;width:8px;height:8px;border-radius:2px;background:var(--accent);margin-right:6px}.legend .second:before{background:var(--second)}.check{display:flex;align-items:center;gap:8px;font-size:13px;margin:12px 0}.check input{width:16px;height:16px;flex-shrink:0;accent-color:var(--accent)}select,input[type=text],input[type=number]{background:var(--paper);color:var(--ink);font:inherit;font-size:13px;padding:10px;border:1px solid var(--rule);border-radius:7px;max-width:100%;min-width:0}select{width:100%;min-height:42px}.band{height:20px;display:flex;background:var(--surface);border-radius:4px;overflow:hidden}.band i{height:100%;display:block;background:var(--accent);transition:width .25s}.band i.second{background:var(--second)}button:disabled{cursor:default}.status{font-size:13px;min-height:4.8em}.mono{font-family:var(--viz-font-mono);font-variant-numeric:tabular-nums}.muted{color:var(--muted)}\n@media(max-width:480px){.two{gap:8px}.card{padding:12px 9px}.actions button,.presets button{font-size:12px}.metrics strong{font-size:20px}.metrics{gap:8px}}\n@media(prefers-reduced-motion:reduce){*,*::before,*::after{transition:none!important;animation:none!important}}\n.track-row{margin:16px 0}.track-row>span{display:block;font-size:12px;color:var(--muted);margin-bottom:7px}.track{display:flex;gap:5px;min-width:0}.cell{flex:1;min-width:0;min-height:48px;border:1px solid var(--rule);border-radius:5px;background:var(--surface);display:flex;align-items:center;justify-content:center;text-align:center;padding:5px 3px;font-size:12px;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.cell.on{background:var(--accent-soft);border-color:var(--accent)}.cell.gold{background:var(--second-soft);border-color:var(--second)}.cell.empty{border-style:dashed;color:var(--muted)}.cell.error{border-color:var(--second);text-decoration:line-through}.choices{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px;margin:14px 0}.choices button{min-width:0;padding:10px 4px;font-size:12px;overflow-wrap:anywhere}.choices button[aria-current=true]{border-color:var(--accent);background:var(--accent-soft)}.relation{display:grid;grid-template-columns:minmax(0,1fr) 28px minmax(0,1fr);align-items:center;gap:6px;margin:12px 0}.relation .cell{min-height:72px}.relation>i{text-align:center;font-style:normal;color:var(--accent)}.readout{font-size:13px;white-space:pre-line;min-height:6.4em;overflow-wrap:anywhere}.plot{position:relative;border-left:1px solid var(--rule);border-bottom:1px solid var(--rule);padding:8px 0;margin:18px 0}.plot-row{height:28px;position:relative;margin:4px 0;background:var(--surface)}.plot-row i{position:absolute;inset-block:5px;background:var(--accent);min-width:2px;transition:width .2s,left .2s}.plot-row b{position:relative;padding:4px 6px;font:11px/28px var(--viz-font-ui);background:var(--paper);border-radius:3px}.axis{display:flex;justify-content:space-between;font-size:11px;color:var(--muted)}\n\n/* Action labels must remain readable across locales and narrow embeds. */\n.actions{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}\n.actions button{overflow-wrap:anywhere;white-space:normal;min-height:58px;padding:8px}\nbutton{overflow-wrap:anywhere}\n@media(min-width:640px){.actions{grid-template-columns:repeat(3,minmax(0,1fr))}}\n\n.metrics span{overflow-wrap:anywhere}\n.panel{border:1px solid var(--rule);border-radius:9px;padding:12px;margin:14px 0;min-width:0}.panel h3{font-size:13px;margin:0 0 10px;color:var(--muted)}.source{font:13px/1.8 var(--viz-font-mono);white-space:pre-wrap;overflow-wrap:anywhere;margin:12px 0}.source mark{background:var(--accent-soft);color:var(--ink);border-bottom:2px solid var(--accent)}.source .fault{background:var(--second-soft);border-color:var(--second)}.diagram{display:block;width:100%;height:auto;max-height:320px;margin:14px 0;overflow:visible}.diagram text{fill:var(--ink);font:12px var(--viz-font-ui)}.diagram .edge{stroke:var(--muted);stroke-width:1.5;fill:none}.diagram .edge.on{stroke:var(--accent);stroke-width:3}.diagram .node{fill:var(--surface);stroke:var(--rule);stroke-width:1.5}.diagram .node.on{fill:var(--accent-soft);stroke:var(--accent)}.diagram .node.gold{fill:var(--second-soft);stroke:var(--second)}.log{font:12px/1.8 var(--viz-font-mono);white-space:pre-line;overflow-wrap:anywhere;min-height:7.2em}.table{display:grid;gap:5px;margin:14px 0}.table .tr{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:5px}.table .tr>*{padding:8px 5px;background:var(--surface);border-radius:4px;min-width:0;overflow-wrap:anywhere;font-size:12px}.table .tr .on{background:var(--accent-soft)}.table .tr .gold{background:var(--second-soft)}.choices button{min-height:44px}.metrics strong{min-height:1.6em}.code-line{display:block}.code-line.on{background:var(--accent-soft);border-left:2px solid var(--accent);padding-left:6px}.status-badge{font-size:12px;color:var(--accent)}.tile-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px}.tile-grid .cell{min-height:40px}.actions button{min-height:48px}.form-field{display:grid;gap:8px;margin:14px 0;font-size:13px}.form-field input{width:100%;font-family:var(--viz-font-ui)}.metrics.three{grid-template-columns:repeat(3,minmax(0,1fr))}.formula{min-height:3.2em}.presets{flex-wrap:wrap}.presets button{flex-basis:25%;min-height:44px}\n\n.budget{display:flex;height:28px;margin:16px 0;background:var(--surface);border-radius:5px;overflow:hidden}.budget i{display:block;background:var(--accent);transition:width .2s}.budget i.gold{background:var(--second)}.intervals{margin:16px 0}.interval{position:relative;height:36px;background:var(--surface);margin:6px 0;border-radius:4px;overflow:hidden}.interval i{position:absolute;height:100%;background:var(--accent-soft);border-left:2px solid var(--accent)}.interval i.gold{background:var(--second-soft);border-color:var(--second)}.interval span{position:relative;z-index:1;font:12px/36px var(--viz-font-ui);padding-left:7px}.table .tr>*{min-height:4.8em}.formula{white-space:pre-line;min-height:7.2em}.actions:has(>button:only-child){grid-template-columns:1fr}.metrics strong{min-height:3.2em}.rangegrid{display:grid;grid-template-columns:repeat(12,minmax(0,1fr));gap:3px;margin:14px 0}.rangegrid .cell{min-height:30px;padding:3px 1px;font-size:10px}.message{min-height:7.2em;white-space:pre-line;font:13px/1.8 var(--viz-font-ui);overflow-wrap:anywhere}\n/* Allow CJK hanging punctuation without overflowing a metric's border box. */\n.metrics>div{padding-right:4px}.metrics span{line-break:anywhere}\n\n#addresses{display:grid;grid-template-columns:repeat(8,minmax(0,1fr))}.metrics strong{font-size:18px}#addresses .selected{outline:2px solid var(--ink);outline-offset:1px}","js":"const $=s=>document.querySelector(s);const set=(id,v)=>$('#'+id).textContent=v;const t=k=>viz.t(k);function cells(id,values){$('#'+id).replaceChildren(...values.map(v=>{const e=document.createElement('div');e.className='cell '+(v.cls||'');e.textContent=v.text;e.title=v.title||v.text;return e;}));}function pressed(mode){document.querySelectorAll('[data-mode]').forEach(e=>e.setAttribute('aria-pressed',String(e.dataset.mode===mode)));}const esc=s=>String(s).replace(/[&<>\"']/g,c=>({'&':'&','<':'<','>':'>','\"':'"',\"'\":'''}[c]));const fmt=s=>'{'+[...s].sort().join(', ')+'}';function graph(id,nodes,edges){const el=$('#'+id);el.setAttribute('viewBox','0 0 360 200');el.innerHTML='<defs><marker id=\"arrow-'+id+'\" viewBox=\"0 0 10 10\" refX=\"8\" refY=\"5\" markerWidth=\"5\" markerHeight=\"5\" orient=\"auto-start-reverse\"><path d=\"M 0 0 L 10 5 L 0 10 z\" fill=\"var(--muted)\"/></marker></defs>'+edges.map(e=>{const a=nodes[e[0]],b=nodes[e[1]],dx=b.x-a.x,dy=b.y-a.y,d=Math.hypot(dx,dy)||1;if(edges.some(r=>r[0]===e[1]&&r[1]===e[0])){const nx=-dy/d,ny=dx/d;return '<path class=\"edge '+(e[2]?'on':'')+'\" d=\"M '+(a.x+dx/d*22+nx*12)+' '+(a.y+dy/d*22+ny*12)+' Q '+((a.x+b.x)/2+nx*38)+' '+((a.y+b.y)/2+ny*38)+' '+(b.x-dx/d*25+nx*12)+' '+(b.y-dy/d*25+ny*12)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}return '<line class=\"edge '+(e[2]?'on':'')+'\" x1=\"'+(a.x+dx/d*25)+'\" y1=\"'+(a.y+dy/d*25)+'\" x2=\"'+(b.x-dx/d*28)+'\" y2=\"'+(b.y-dy/d*28)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}).join('')+nodes.map(n=>'<g><circle class=\"node '+(n.cls||'')+'\" cx=\"'+n.x+'\" cy=\"'+n.y+'\" r=\"25\"/><text x=\"'+n.x+'\" y=\"'+(n.y+4)+'\" text-anchor=\"middle\">'+esc(n.name)+'</text>'+(n.sub?'<text x=\"'+n.x+'\" y=\"'+(n.y+43)+'\" text-anchor=\"middle\">'+esc(n.sub)+'</text>':'')+'</g>').join('');}function table(id,rows){$('#'+id).classList.add('table');$('#'+id).replaceChildren(...rows.map(r=>{const row=document.createElement('div');row.className='tr';r.forEach(x=>{const c=document.createElement('div');if(typeof x==='object'){c.textContent=x.text;c.className=x.cls||'';}else c.textContent=x;row.append(c)});return row;}));}function band(id,parts,total){$('#'+id).replaceChildren(...parts.map((p,i)=>{const e=document.createElement('i');e.style.width=(100*p.value/total)+'%';e.className=i%2?'gold':'on';e.title=p.name+': '+p.value;return e}));}function intervals(id,items,total){$('#'+id).replaceChildren(...items.map(p=>{const row=document.createElement('div');row.className='interval';const bar=document.createElement('i');bar.style.left=(100*p.start/total)+'%';bar.style.width=(100*(p.end-p.start)/total)+'%';bar.className=p.cls||'';const label=document.createElement('span');label.textContent=p.label;row.append(bar,label);return row;}));}let peer='A';function draw(){const n=+$('#address').value,owner=n===7?'B':'A';set('address-value','10.0.0.'+n);cells('addresses',Array.from({length:16},(_,i)=>({text:'.'+i,cls:(i===7?'gold':'on')+(i===n?' selected':'')})));set('owner',owner);set('accept',owner===peer?'ACCEPT':'REJECT');$('#accept').dataset.allowed=String(owner===peer);pressed(peer);}$('#address').oninput=draw;document.querySelectorAll('[data-mode]').forEach(b=>b.onclick=()=>{peer=b.dataset.mode;draw()});draw();","audio":false,"strings":{"a":"A","accept":"此源地址从所选peer接收","address":"内层末字节","b":"B","heading":"A允许整个/24,为什么不能发送其中的.7?","intro":"修改内层地址与已认证peer,比较发送选路和接收源地址归属。","owner":"发往此地址选择","peer":"入站认证peer","reset":"重置","scope":"A拥有10.0.0.0/24,B拥有10.0.0.7/32;系统已把包交给WireGuard。签名/AEAD检查用已通过前提表示,只模拟归属查询。","scopeLabel":"模型范围与约定"}}
Noise 握手:固定算法组合,不是只做一次临时 DH
WireGuard采用Noise_IKpsk2_25519_ChaChaPoly_BLAKE2s构造,组合静态与临时密钥建立认证和方向密钥;可选PSK作为额外材料混入。它不在每次连接中协商一长串cipher suite,但算法固定不等于协议之外不存在任何降级或配置风险。
发起方预先知道响应方静态公钥,响应方依据解出的发起者公钥识别已配置peer。双方只需交换公开身份材料,不能把“双方预共享”写成彼此知道对方静态私钥。
两条握手消息建立密钥,首条传输消息再向响应方确认
发起方
响应方
Initiation:148 B,临时公钥 + 加密身份 + 加密时间戳
Response:92 B,临时公钥 + 空明文的认证标签
Transport:数据或空 keepalive,确认新会话密钥
长度仅是 WireGuard 消息,不含 UDP/IP;cookie 回复属于按条件触发的另一条路径。
握手包含多次静态/临时DH及transcript混合,不能简化成一个临时DH结果再随意加上公钥哈希。正确的DH等式是DH(a_private, b_public) = DH(b_private, a_public);把public/public或private/private写进去不是另一种等价计算。
响应方发送第二条消息后,还要收到发起方用新密钥发来的Transport消息,才能获得该方向的密钥确认;发起方没有排队数据时可发空包完成这一步。WireGuard协议
握手消息的长度如何得到
消息 字段预算 总计
Initiation 类型/保留4 + sender4 +临时公钥32 +加密静态48 +加密时间戳28 +mac1/mac2各16 148 B
Response 类型/保留4 +sender4 +receiver4 +临时公钥32 +空明文tag16 +mac1/mac2各16 92 B
Cookie reply 类型/保留4 +receiver4 +nonce24 +加密cookie32 64 B
encrypted_static与encrypted_timestamp分别携带认证标签,不能合成一个“身份+时间戳”的单一AEAD字段。类型由1 B类型与3 B零保留位构成,内核以小端32位存储方便检查;索引和Transport counter同样按规定小端编码。
数据平面:IP 包、padding、计数器与认证标签
Transport消息头为16 B:类型/保留4、receiver index4、counter8;加密内容后有16 B标签,因此空keepalive的WireGuard消息为32 B。receiver index定位对应密钥状态,不是明文携带完整peer公钥。
内层IP包可能补零以减少精细长度泄漏。Linux发送路径通常按16 B对齐,但padding还受内层MTU等边界限制;不能一律在MTU顶端再补到下一个16倍数。以下计算单个正常内层包,不涉及GSO分段等复杂路径。
import struct
assert 4 + 4 + 32 + 48 + 28 + 16 + 16 == 148
assert 4 + 4 + 4 + 32 + 16 + 16 + 16 == 92
assert 4 + 4 + 24 + 32 == 64
header = struct . pack ( ' <IIQ' , 4 , 0x 12345678, 9 )
assert len ( header ) == 16 and header . hex ( ) == ' 04000000785634120900000000000000'
def outer_size ( inner , mtu = 1420 , ip_header = 40 ) :
assert 0 <= inner <= mtu
padded = min ( mtu , ( ( inner + 15 ) / / 16 ) * 16 )
return ip_header + 8 + 16 + padded + 16
assert outer_size ( 0 ) == 80
assert outer_size ( 1000 ) == 1088 assert outer_size ( 1420 ) == 1500 assert outer_size ( 1000 , ip_header = 20 ) == 1068
print ( ' 空包 / 1000 B内层 / 1420 B内层的IPv6总长:' , outer_size ( 0 ) , outer_size ( 1000 ) , outer_size ( 1420 ) )
32 B是WireGuard消息下限,外层IPv4加UDP后为60 B,外层IPv6则80 B,不含链路层。1420常来自1500−40−8−32的预算,实际路径、IPv6扩展头或其他封装会改变可用值。
counter参与AEAD nonce构造,每个方向和密钥代际各有状态;接收侧用窗口容忍一定重排并拒绝重复。它不会像TCP一样重传丢失的内层数据包,可靠性仍由内层协议决定。WireGuard白皮书
乱序可以接受,重复为什么必须拒绝?
先递送7,再递送3:后者较小但在窗口内,仍可接受;再次递送3才是重复。递送15后窗口左界移到8,再来的7已经太旧。所有状态只在成功认证的包上推进。
正在呈现知识画面 重新加载
乱序可以接受,重复为什么必须拒绝? 计数器小于最高值不一定是重放:还要看是否在窗口内、是否已收过。太旧或重复都拒绝,丢失位置不会自动触发重传。
{"id":"replay-sliding-window","title":"乱序可以接受,重复为什么必须拒绝?","summary":"计数器小于最高值不一定是重放:还要看是否在窗口内、是否已收过。太旧或重复都拒绝,丢失位置不会自动触发重传。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><div class=\"control\"><label for=\"counter\" data-i18n=\"counter\"></label><output for=\"counter\" id=\"counter-value\"></output><input id=\"counter\" type=\"range\" min=\"0\" max=\"31\" value=\"7\" step=\"1\"></div><div class=\"actions\"><button id=\"deliver\" data-i18n=\"deliver\"></button><button id=\"reset\" data-i18n=\"reset\"></button></div><div class=\"track-row\"><span data-i18n=\"window\"></span><div id=\"window\" class=\"track\"></div></div><div class=\"metrics\"><div><span data-i18n=\"highest\"></span><strong id=\"highest\"></strong></div><div><span data-i18n=\"result\"></span><strong id=\"result\"></strong></div></div><p id=\"bounds\" class=\"message\"></p><details class=\"scope\"><summary data-i18n=\"scopeLabel\"></summary><p data-i18n=\"scope\"></p></details>","css":".intro{margin:8px 0 18px;color:var(--muted);font-size:14px}.caption,.hint{font-size:12px;color:var(--muted);margin-top:12px}.control{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:6px 12px;align-items:center;margin:14px 0;font-size:13px}.control label{font-size:13px}.control output{color:var(--accent);min-width:5em;text-align:right;font-variant-numeric:tabular-nums}.control input{grid-column:1/-1;width:100%;margin:0}.presets{display:flex;gap:4px;align-items:stretch}.presets button{flex:1 1 0;min-width:0;overflow-wrap:anywhere;font-size:13px}.actions{display:flex;gap:8px;flex-wrap:wrap;margin:14px 0}.actions button{flex:1;min-width:0;font-size:13px;min-height:42px}.copy{display:grid;font-size:14px;margin:16px 0}.copy>*{grid-area:1/1;margin:0}.reserve{visibility:hidden}.scope{margin-top:14px;color:var(--muted);font-size:12px}.scope summary{padding:8px 0;cursor:pointer}.scope p{margin-top:10px}.two{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.card{border:1px solid var(--rule);border-radius:9px;padding:14px;min-width:0}.card header{font-size:14px;font-weight:600;margin-bottom:10px}.card button{font-size:12px;width:100%;min-width:0}.card small{display:block;font-size:12px;color:var(--muted)}.card code{font-size:12px;overflow-wrap:anywhere}.metrics{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.metrics>div{border-left:2px solid var(--accent);padding-left:10px;min-width:0}.metrics span{display:block;min-height:3.2em;color:var(--muted);font-size:12px}.metrics strong{font-size:23px;display:block;font-weight:500;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.formula{border-top:1px solid var(--rule);padding-top:12px;margin-top:14px;font-size:13px;font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.value{font:500 20px var(--viz-font-ui)}.legend{display:flex;flex-wrap:wrap;gap:6px 14px;font-size:12px;color:var(--muted);margin:12px 0}.legend span:before{content:'';display:inline-block;width:8px;height:8px;border-radius:2px;background:var(--accent);margin-right:6px}.legend .second:before{background:var(--second)}.check{display:flex;align-items:center;gap:8px;font-size:13px;margin:12px 0}.check input{width:16px;height:16px;flex-shrink:0;accent-color:var(--accent)}select,input[type=text],input[type=number]{background:var(--paper);color:var(--ink);font:inherit;font-size:13px;padding:10px;border:1px solid var(--rule);border-radius:7px;max-width:100%;min-width:0}select{width:100%;min-height:42px}.band{height:20px;display:flex;background:var(--surface);border-radius:4px;overflow:hidden}.band i{height:100%;display:block;background:var(--accent);transition:width .25s}.band i.second{background:var(--second)}button:disabled{cursor:default}.status{font-size:13px;min-height:4.8em}.mono{font-family:var(--viz-font-mono);font-variant-numeric:tabular-nums}.muted{color:var(--muted)}\n@media(max-width:480px){.two{gap:8px}.card{padding:12px 9px}.actions button,.presets button{font-size:12px}.metrics strong{font-size:20px}.metrics{gap:8px}}\n@media(prefers-reduced-motion:reduce){*,*::before,*::after{transition:none!important;animation:none!important}}\n.track-row{margin:16px 0}.track-row>span{display:block;font-size:12px;color:var(--muted);margin-bottom:7px}.track{display:flex;gap:5px;min-width:0}.cell{flex:1;min-width:0;min-height:48px;border:1px solid var(--rule);border-radius:5px;background:var(--surface);display:flex;align-items:center;justify-content:center;text-align:center;padding:5px 3px;font-size:12px;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.cell.on{background:var(--accent-soft);border-color:var(--accent)}.cell.gold{background:var(--second-soft);border-color:var(--second)}.cell.empty{border-style:dashed;color:var(--muted)}.cell.error{border-color:var(--second);text-decoration:line-through}.choices{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px;margin:14px 0}.choices button{min-width:0;padding:10px 4px;font-size:12px;overflow-wrap:anywhere}.choices button[aria-current=true]{border-color:var(--accent);background:var(--accent-soft)}.relation{display:grid;grid-template-columns:minmax(0,1fr) 28px minmax(0,1fr);align-items:center;gap:6px;margin:12px 0}.relation .cell{min-height:72px}.relation>i{text-align:center;font-style:normal;color:var(--accent)}.readout{font-size:13px;white-space:pre-line;min-height:6.4em;overflow-wrap:anywhere}.plot{position:relative;border-left:1px solid var(--rule);border-bottom:1px solid var(--rule);padding:8px 0;margin:18px 0}.plot-row{height:28px;position:relative;margin:4px 0;background:var(--surface)}.plot-row i{position:absolute;inset-block:5px;background:var(--accent);min-width:2px;transition:width .2s,left .2s}.plot-row b{position:relative;padding:4px 6px;font:11px/28px var(--viz-font-ui);background:var(--paper);border-radius:3px}.axis{display:flex;justify-content:space-between;font-size:11px;color:var(--muted)}\n\n/* Action labels must remain readable across locales and narrow embeds. */\n.actions{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}\n.actions button{overflow-wrap:anywhere;white-space:normal;min-height:58px;padding:8px}\nbutton{overflow-wrap:anywhere}\n@media(min-width:640px){.actions{grid-template-columns:repeat(3,minmax(0,1fr))}}\n\n.metrics span{overflow-wrap:anywhere}\n.panel{border:1px solid var(--rule);border-radius:9px;padding:12px;margin:14px 0;min-width:0}.panel h3{font-size:13px;margin:0 0 10px;color:var(--muted)}.source{font:13px/1.8 var(--viz-font-mono);white-space:pre-wrap;overflow-wrap:anywhere;margin:12px 0}.source mark{background:var(--accent-soft);color:var(--ink);border-bottom:2px solid var(--accent)}.source .fault{background:var(--second-soft);border-color:var(--second)}.diagram{display:block;width:100%;height:auto;max-height:320px;margin:14px 0;overflow:visible}.diagram text{fill:var(--ink);font:12px var(--viz-font-ui)}.diagram .edge{stroke:var(--muted);stroke-width:1.5;fill:none}.diagram .edge.on{stroke:var(--accent);stroke-width:3}.diagram .node{fill:var(--surface);stroke:var(--rule);stroke-width:1.5}.diagram .node.on{fill:var(--accent-soft);stroke:var(--accent)}.diagram .node.gold{fill:var(--second-soft);stroke:var(--second)}.log{font:12px/1.8 var(--viz-font-mono);white-space:pre-line;overflow-wrap:anywhere;min-height:7.2em}.table{display:grid;gap:5px;margin:14px 0}.table .tr{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:5px}.table .tr>*{padding:8px 5px;background:var(--surface);border-radius:4px;min-width:0;overflow-wrap:anywhere;font-size:12px}.table .tr .on{background:var(--accent-soft)}.table .tr .gold{background:var(--second-soft)}.choices button{min-height:44px}.metrics strong{min-height:1.6em}.code-line{display:block}.code-line.on{background:var(--accent-soft);border-left:2px solid var(--accent);padding-left:6px}.status-badge{font-size:12px;color:var(--accent)}.tile-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px}.tile-grid .cell{min-height:40px}.actions button{min-height:48px}.form-field{display:grid;gap:8px;margin:14px 0;font-size:13px}.form-field input{width:100%;font-family:var(--viz-font-ui)}.metrics.three{grid-template-columns:repeat(3,minmax(0,1fr))}.formula{min-height:3.2em}.presets{flex-wrap:wrap}.presets button{flex-basis:25%;min-height:44px}\n\n.budget{display:flex;height:28px;margin:16px 0;background:var(--surface);border-radius:5px;overflow:hidden}.budget i{display:block;background:var(--accent);transition:width .2s}.budget i.gold{background:var(--second)}.intervals{margin:16px 0}.interval{position:relative;height:36px;background:var(--surface);margin:6px 0;border-radius:4px;overflow:hidden}.interval i{position:absolute;height:100%;background:var(--accent-soft);border-left:2px solid var(--accent)}.interval i.gold{background:var(--second-soft);border-color:var(--second)}.interval span{position:relative;z-index:1;font:12px/36px var(--viz-font-ui);padding-left:7px}.table .tr>*{min-height:4.8em}.formula{white-space:pre-line;min-height:7.2em}.actions:has(>button:only-child){grid-template-columns:1fr}.metrics strong{min-height:3.2em}.rangegrid{display:grid;grid-template-columns:repeat(12,minmax(0,1fr));gap:3px;margin:14px 0}.rangegrid .cell{min-height:30px;padding:3px 1px;font-size:10px}.message{min-height:7.2em;white-space:pre-line;font:13px/1.8 var(--viz-font-ui);overflow-wrap:anywhere}\n/* Allow CJK hanging punctuation without overflowing a metric's border box. */\n.metrics>div{padding-right:4px}.metrics span{line-break:anywhere}\n\n#window{display:grid;grid-template-columns:repeat(8,minmax(0,1fr))}.metrics strong{font-size:17px}","js":"const $=s=>document.querySelector(s);const set=(id,v)=>$('#'+id).textContent=v;const t=k=>viz.t(k);function cells(id,values){$('#'+id).replaceChildren(...values.map(v=>{const e=document.createElement('div');e.className='cell '+(v.cls||'');e.textContent=v.text;e.title=v.title||v.text;return e;}));}function pressed(mode){document.querySelectorAll('[data-mode]').forEach(e=>e.setAttribute('aria-pressed',String(e.dataset.mode===mode)));}const esc=s=>String(s).replace(/[&<>\"']/g,c=>({'&':'&','<':'<','>':'>','\"':'"',\"'\":'''}[c]));const fmt=s=>'{'+[...s].sort().join(', ')+'}';function graph(id,nodes,edges){const el=$('#'+id);el.setAttribute('viewBox','0 0 360 200');el.innerHTML='<defs><marker id=\"arrow-'+id+'\" viewBox=\"0 0 10 10\" refX=\"8\" refY=\"5\" markerWidth=\"5\" markerHeight=\"5\" orient=\"auto-start-reverse\"><path d=\"M 0 0 L 10 5 L 0 10 z\" fill=\"var(--muted)\"/></marker></defs>'+edges.map(e=>{const a=nodes[e[0]],b=nodes[e[1]],dx=b.x-a.x,dy=b.y-a.y,d=Math.hypot(dx,dy)||1;if(edges.some(r=>r[0]===e[1]&&r[1]===e[0])){const nx=-dy/d,ny=dx/d;return '<path class=\"edge '+(e[2]?'on':'')+'\" d=\"M '+(a.x+dx/d*22+nx*12)+' '+(a.y+dy/d*22+ny*12)+' Q '+((a.x+b.x)/2+nx*38)+' '+((a.y+b.y)/2+ny*38)+' '+(b.x-dx/d*25+nx*12)+' '+(b.y-dy/d*25+ny*12)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}return '<line class=\"edge '+(e[2]?'on':'')+'\" x1=\"'+(a.x+dx/d*25)+'\" y1=\"'+(a.y+dy/d*25)+'\" x2=\"'+(b.x-dx/d*28)+'\" y2=\"'+(b.y-dy/d*28)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}).join('')+nodes.map(n=>'<g><circle class=\"node '+(n.cls||'')+'\" cx=\"'+n.x+'\" cy=\"'+n.y+'\" r=\"25\"/><text x=\"'+n.x+'\" y=\"'+(n.y+4)+'\" text-anchor=\"middle\">'+esc(n.name)+'</text>'+(n.sub?'<text x=\"'+n.x+'\" y=\"'+(n.y+43)+'\" text-anchor=\"middle\">'+esc(n.sub)+'</text>':'')+'</g>').join('');}function table(id,rows){$('#'+id).classList.add('table');$('#'+id).replaceChildren(...rows.map(r=>{const row=document.createElement('div');row.className='tr';r.forEach(x=>{const c=document.createElement('div');if(typeof x==='object'){c.textContent=x.text;c.className=x.cls||'';}else c.textContent=x;row.append(c)});return row;}));}function band(id,parts,total){$('#'+id).replaceChildren(...parts.map((p,i)=>{const e=document.createElement('i');e.style.width=(100*p.value/total)+'%';e.className=i%2?'gold':'on';e.title=p.name+': '+p.value;return e}));}function intervals(id,items,total){$('#'+id).replaceChildren(...items.map(p=>{const row=document.createElement('div');row.className='interval';const bar=document.createElement('i');bar.style.left=(100*p.start/total)+'%';bar.style.width=(100*(p.end-p.start)/total)+'%';bar.className=p.cls||'';const label=document.createElement('span');label.textContent=p.label;row.append(bar,label);return row;}));}let high=-1,seen=new Set,last='∅';function draw(){const lo=Math.max(0,high-7);set('counter-value',$('#counter').value);cells('window',Array.from({length:8},(_,i)=>({text:lo+i,cls:seen.has(lo+i)?'on':'empty'})));set('highest',high<0?'∅':high);set('result',last);set('bounds','window = ['+lo+','+Math.max(7,high)+']\\nmissing ≠ retransmission request');$('#window').dataset.snapshot=JSON.stringify({high,seen:[...seen],last});}$('#deliver').onclick=()=>{const n=+$('#counter').value;if(n<high-7)last='TOO OLD';else if(seen.has(n))last='DUPLICATE';else{last='ACCEPT';high=Math.max(high,n);seen.add(n);seen=new Set([...seen].filter(x=>x>=high-7))}draw()};$('#reset').onclick=()=>{high=-1;seen=new Set;last='∅';draw()};$('#counter').oninput=draw;draw();","audio":false,"strings":{"counter":"待递送计数器","deliver":"递送认证包","heading":"乱序可以接受,重复为什么必须拒绝?","highest":"最高已收计数器","intro":"任意选择计数器并递送,观察窗口前移、位图记忆与旧包淘汰。","reset":"重置","result":"上次处理结果","scope":"通用教学8计数窗口,计数0…31、单方向单密钥,认证已成功。不是WireGuard实际窗口大小,也不模拟换钥、并发验证或计数器溢出。","scopeLabel":"模型范围与约定","window":"当前窗口(蓝:已收)"}}
计时器:按事件维护密钥,而非无条件每120秒重连
下面按Linux 7.2的drivers/net/wireguard/messages.h、timers.c、send.c和receive.c核对。网站概述中的简写单位或旧公式,不应覆盖具体实现的常量与触发条件。
条件或常量 本地实现中的意义
REKEY_AFTER_TIME=120 s 发起方发送路径按密钥年龄触发更新等
REJECT_AFTER_TIME=180 s 超过相应密钥寿命后拒绝使用
REKEY_TIMEOUT=5 s 握手未响应时重试基础间隔,再加jitter
KEEPALIVE_TIMEOUT=10 s 收到数据后若没有回发,安排空包等事件行为
REKEY_AFTER_MESSAGES=2^60 消息数量触发更新阈值,不是唯一安全限额
REJECT_AFTER_TIME×3=540 s 相应静默条件下清理残余密钥材料的计时尺度
发送路径、接收路径和握手重试是不同触发点。当前接收路径的last-minute更新使用180−10−5=165秒这一年龄阈值,并带发起方角色等条件;不能照搬120−10−5,也不能解释成120秒没有流量就必定发起握手。
握手重试按5秒加随机抖动推进,并有尝试上限;这里不是5、10、20秒指数退避。默认没有PersistentKeepalive时,空闲设备可以保持安静,但此前流量触发的协议空包或重试仍可能存在。
新旧密钥可在过渡中共存,以适应丢包与重排;切换不等于立即抹除一切旧状态。固定消息阈值也不能换算成某个“多少万年后才换密钥”的使用保证,因为时间阈值和其他限制更早参与处理。
Cookie、漫游与 NAT 的边界
mac1帮助服务端在昂贵处理前筛选消息,但由公开响应方身份派生的相关材料不等于已经认证出一个获准peer。负载条件满足且缺少有效cookie时,可返回cookie挑战,要求后续mac2提供相应证明;不是每次首次握手都必定触发cookie。
mac2是使用cookie计算的MAC,不是直接把cookie原值塞进mac2字段。cookie有助验证来源可达并减少资源滥用,不能替代完整peer身份认证。响应消息的mac2也需按协议条件处理,不能永远标成零。
有效认证流量可更新peer的外层endpoint,支持地址变化后的漫游。但双方都没有可达端点、映射无法打通时,WireGuard本身没有自动协调发现或通用中继服务。
PersistentKeepalive用于让闲置时的NAT或状态防火墙映射持续有效,默认关闭,25秒是常见适用示例而非协议强制值。它维持可用路径,不保证任何NAT组合都能互通,也不能无限维持已经不可达的网络。WireGuard Quick Start
路由出口与诊断
全隧道路由时,应确保外层UDP去peer endpoint的流量有正常出口,避免再次送入同一WireGuard接口。策略mark与网络命名空间可帮助分开内层路由和外层socket所属网络环境。WireGuard路由与命名空间
以下选择性命令用于观察现有接口,不打印私钥或PSK,也不修改配置:
wg show all endpoints
wg show all allowed-ips
wg show all latest-handshakes
wg show all transfer
ip route show
ip - 6 route show
现象 区分的问题
没有近期握手 是否有流量触发、endpoint是否可达、密钥是否匹配
握手成功但业务失败 系统路由、AllowedIPs源校验、转发和防火墙
小包通、大包卡 内层MTU、外层路径及ICMP反馈
空闲后被动入站失败 NAT映射寿命与keepalive需求
漫游后单向通信 外层endpoint更新、回程路径与过滤
latest-handshakes是时间记录,不是应用健康探针;长期空闲时旧时间不自动意味着故障。transfer计数增长也需结合方向和实际内层应用结果解释。
继续查阅