同一サブネット内では ping が通るが、遠隔地にはアクセスできない場合、まずルーティングによって選択された次のホップ(ゲートウェイ)を確認し、その後、その次のホップの近傍解決を行います。ARP/NDP は現在のリンク上の隣接問題を解決するものであり、インターネット上の宛先を見つける役割は負いません。キャッシュに有効なマッピングが存在する場合や、ポイントツーポイントリンク、あるいは他の隣接メカニズムを使用している場合は、毎回解決要求を送信する必要はありません。
問題 この記事の入口 混同しないこと
ARP はゲートウェイに問い合わせるか、サーバーに問い合わせるか ルーティングと解決の順序 最終的な宛先 IP と次のホップ IP
28 バイトの ARP なのに 42/60 バイトがキャプチャされる理由 ヘッダーのバイト計算 プロトコル、イーサネットヘッダー、パディング、FCS
STALE は必ずクリアする必要があるか 近傍の状態 利用可能なマッピングと直近の到達可能性の証明
IPv6 でどのように近傍を発見するか NS/NA とマルチキャスト アドレス解決、到達性プローブ、DAD
RA がアドレスとデフォルトルートに与える影響 自動設定 プレフィックスの L/A フラグ、アドレスのライフサイクル、ルーターのライフサイクル
暗号化トンネルはなりすましを防ぐか セキュリティの境界 認証、転送、可用性
跨サブネット送信の例から
A が 192.0.2.10/24、デフォルトゲートウェイが 192.0.2.1 で、198.51.100.20 にアクセスしようとするとします。ルーティングの照合によりゲートウェイが次のホップとして選択され、A は接続されているインターフェースの近傍テーブルを照会します。マッピングがない場合にのみ、192.0.2.1 の MAC アドレスを解決し、遠隔地の 198.51.100.20 に対してブロードキャストは行いません。
まず次のホップを選択し、その MAC を解決する:跨サブネットでは遠隔地に対して直接 ARP を行わない
ホスト A
192.0.2.10/24
ローカルリンクのゲートウェイ
192.0.2.1
ARP ブロードキャスト:192.0.2.1 の MAC は誰?
ARP 応答:ゲートウェイ IP に対応するゲートウェイ MAC
IP 宛先は依然として 198.51.100.20、レイヤー2の宛先はゲートウェイ MAC
最初の要求は所属するブロードキャストドメイン内で伝播します。図では関連するゲートウェイのみを描画しています。近傍キャッシュがヒットすれば、解決のやり取りをスキップできます。
インターフェースも近傍コンテキストの一部です。同じ IPv4 アドレスが異なる VLAN やネットワーク名前空間に存在する可能性があり、すべてのシステム状態を単一のグローバルな「IP→MAC 辞書」で記述することはできません。ルーティングの誤り、VLAN の不通、インターフェースの選択ミスなどが、近傍解決の失敗として現れることがあります。
ARP パケットと最小フレーム長
イーサネット上の IPv4 ARP は EtherType 0x0806 を使用し、IPv4 ヘッダーを経由せずにイーサネットに直接載せられます。その汎用フィールドは異なるアドレス長を許可し、一般的な Ethernet/IPv4 の組み合わせは以下の通りです。RFC 826
フィールド バイト数 この例の値
ハードウェアタイプ / プロトコルタイプ 2 + 2 1 / 0x0800
ハードウェア長 / プロトコル長 1 + 1 6 / 4
操作 2 1: リクエスト、2: 応答
送信元ハードウェア / プロトコルアドレス 6 + 4 送信元 MAC / IPv4
宛先ハードウェア / プロトコルアドレス 6 + 4 宛先 MAC / IPv4
合計 28 バイト です。タグ付けされていないイーサネットヘッダー 14 バイトを加えると 42 バイトになり、さらに 18 バイトのパディングを加えて FCS を含まない 60 バイトに達し、最後に 4 バイトの FCS を加えると 64 バイトになります。ここで言う最小イーサネットペイロードの 46 バイトは、28 バイトの ARP と 18 バイトのパディングで構成され、イーサネットヘッダーと FCS は含まれません。キャプチャ時にパディングと FCS が見えるかどうかは、キャプチャ位置とドライバに依存します。
最初の解決要求は通常、ブロードキャスト MAC アドレスを使用して送信されます。宛先ハードウェアアドレスはまだ不明であるためです。一般的な実装ではゼロで埋められますが、これはブロードキャスト範囲を決定するためのイーサネット宛先アドレスではありません。通常の応答は通常ユニキャストですが、公告など異なる使用形態も存在し、すべての ARP リクエスト/応答の方向性を固定することはできません。
近傍テーブル:MAC があることと到達可能であることは別問題
Linux は IPv4 ARP と IPv6 近傍の動作を汎用近傍フレームワークに統合しています。INCOMPLETE は解決中を示し、送信待ちのパケットは限られたキューで待機できます。REACHABLE は直近で到達確認が得られたことを示します。STALE はマッピングを保持していますが、確認は古くなっています。これはエントリが「壊れている」わけではありません。
近傍状態は対応関係と到達性を表す:STALE でも先に送信できる
INCOMPLETE
解決中、キュー待ちの可能性あり
REACHABLE
直近に到達性の確認あり
STALE
マッピングは存在するが、確認は古い
DELAY
データを先に送信し、確認を待つ
PROBE / FAILED
能動プローブ / 解決失敗
有効な確認
確認が古くなる
再使用
待機中に確認なし
確認が得られれば REACHABLE に復帰可能
一般的なパスの例示であり、完全な状態遷移図ではありません。再試行/老化は設定可能であり、FAILED であっても近傍テーブルから即座にオブジェクトが削除されるわけではありません。
STALE エントリを使用する場合、通常は既存の MAC を使用してパケットを先に送信し、その後、上位層などからの確認を待つ DELAY 状態に入ります。必要に応じて PROBE に移行し、能動プローブを行います。すべてのプローブが枯渇すると FAILED 状態に入りますが、エントリの回収は後続のライフサイクル/ガーベジコレクションによって処理され、ip neigh から即座に消えることは保証されません。受信したパケットが到達性の証明となるかどうかは、タイプと状態に依存し、すべての ARP/NA が直接 REACHABLE を設定するわけではありません。
この記事では Linux 7.2 の net/core/neighbour.c に基づき、STALE→DELAY、確認待ち、プローブ失敗のパスを確認しました。実際には永続的、外部管理エントリなどの特殊な状態も存在しますが、図では一般的なパスのみを示しています。REACHABLE の期限が切れると、直近の使用状況に応じて直接 DELAY などの状態に移行することもあり、図を逐行の実装として扱うことはできません。
base_reachable_time_ms は到達時間の基準であり、実際の到達時間にはランダム化などの処理があります。delay_first_probe_time、retrans_time_ms、ucast_solicit、mcast_solicit はそれぞれ待機時間とプローブに影響します。gc_stale_time は未使用エントリの回収資格に関連しており、STALE エントリごとの固定の生存カウントダウンではありません。設定ではデフォルトテンプレートと特定のインターフェースを区別する必要があり、実際の状態を確認せずに固定の 30/60 秒で「チューニング」すべきではありません。
MAC があるのに、なぜ到達可能性の確認が必要なのか?
マッピングの存在、データの送信、到達性の証明の新鮮さを別々の項目として扱います。STALE から直接送信を試みて、確認を選択することもできます。また、待機時間を完全に経過させて失敗を観察することもできますが、すでに送信されたデータが空中で取り消されるわけではありません。マッピングをクリアしてから送信すると、キュー待ちが必要な別のパスを辿ることになります。
図を準備しています 再読み込み
MAC があるのに、なぜ到達可能性の確認が必要なのか? STALE は依然として利用可能なマッピングを保持しており、初回使用時は送信してから確認を待つことができます。未知のアドレスの解決にはパケットの一時保存が必要です。プローブ失敗とエントリの即時削除は別のイベントです。
{"id":"neighbor-reachability-evidence","title":"MAC があるのに、なぜ到達可能性の確認が必要なのか?","summary":"STALE は依然として利用可能なマッピングを保持しており、初回使用時は送信してから確認を待つことができます。未知のアドレスの解決にはパケットの一時保存が必要です。プローブ失敗とエントリの即時削除は別のイベントです。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><div class=\"actions\"><button id=\"send\" data-i18n=\"send\"></button><button id=\"wait\" data-i18n=\"wait\"></button><button id=\"confirm\" data-i18n=\"confirm\"></button><button id=\"forget\" data-i18n=\"forget\"></button><button id=\"stale\" data-i18n=\"stale\"></button></div><div class=\"metrics\"><div><span data-i18n=\"state\"></span><strong id=\"state\"></strong></div><div><span data-i18n=\"mapping\"></span><strong id=\"mapping\"></strong></div><div><span data-i18n=\"sent\"></span><strong id=\"sent\"></strong></div><div><span data-i18n=\"queued\"></span><strong id=\"queued\"></strong></div></div><div id=\"queue\" class=\"track\"></div><section class=\"panel\"><h3 data-i18n=\"trace\"></h3><div id=\"trace\"></div></section><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#trace{min-height:5.4em;white-space:pre-line;font:13px/1.8 var(--viz-font-ui)}.metrics strong{font-size:18px}","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 state='STALE',mac=true,sent=0,queue=0,probes=0,log='STALE + MAC';function draw(){set('state',state);set('mapping',mac?'02:00:00:00:00:01':'∅');set('sent',sent);set('queued',queue);set('trace',log);cells('queue',Array.from({length:3},(_,i)=>({text:i<queue?'data':'·',cls:i<queue?'gold':'empty'})));$('#confirm').disabled=state==='FAILED';$('#wait').disabled=state==='STALE'||state==='FAILED';$('#send').disabled=queue===3;$('#state').dataset.snapshot=JSON.stringify({state,mac,sent,queue,probes});}$('#send').onclick=()=>{if(state==='FAILED'){state='INCOMPLETE';mac=false;probes=0}if(!mac){queue++;state='INCOMPLETE';log='data → queue'}else{sent++;if(state==='STALE')state='DELAY';log='data → '+state+'; MAC available'}draw()};$('#wait').onclick=()=>{if(state==='REACHABLE')state='STALE';else if(state==='DELAY'){state='PROBE';probes=1}else if(++probes>=2){state='FAILED';queue=0}log='wait → '+state+'; probes='+probes;draw()};$('#confirm').onclick=()=>{mac=true;state='REACHABLE';sent+=queue;queue=0;probes=0;log='valid evidence → REACHABLE';draw()};function reset(known){state=known?'STALE':'INCOMPLETE';mac=known;sent=queue=probes=0;log=state;draw()}$('#forget').onclick=()=>reset(false);$('#stale').onclick=()=>reset(true);draw();","audio":false,"strings":{"confirm":"有効な確認を受信","forget":"マッピングをクリアしてリセット","heading":"MAC があるのに、なぜ到達可能性の確認が必要なのか?","intro":"送信、待機、確認を自由に選択し、マッピング、送信待ちキュー、到達状態がそれぞれどのように変化するかを観察します。","mapping":"リンクマッピング","queued":"送信待ち数","reset":"リセット","scope":"通常の動的近傍を簡略化。初期状態は STALE。待機は段階的であり、実際の秒数ではありません。プローブは2回、キュー上限は3回(教科書の約束事)。確認は一致する有効な到達性の証拠を示す。","scopeLabel":"モデルの範囲と約束事","send":"データを1送信","sent":"送信済みデータ数","stale":"STALE からリセット","state":"近傍状態","trace":"最後の操作","wait":"待機を進める"}}
IPv4 競合探知とアドレス公告は異なる
RFC 5227 の ARP Probe は、候補アドレスをまだ使用していない段階で競合を探知するために使用されます。送信元 IPv4 は 0.0.0.0、宛先 IPv4 は候補アドレスです。これにより、まだ確認されていないマッピングを他のホストのキャッシュに書き込むのを防ぎます。ARP Announcement は、使用中のアドレスを宣言するものです。送信元と宛先の IPv4 は同じです。これらを単に「gratuitous ARP を1つ送信し、応答を待つ」として記述すると、同時探知と競合の判断を見逃すことになります。RFC 5227:IPv4 アドレス競合検出
フェイルオーバー時に公告を行うと、近傍マッピングの更新に役立ちます。スイッチングデバイスもソース MAC から入力ポートを学習できます。これらは異なるテーブルです。ポリシーフィルタ、静的エントリ、MAC の不変性、転送テーブルの収束待ちなどが、切り替え結果に影響を与える可能性があります。公告を送信した直後にゼロ損失を約束することはできません。
Proxy ARP は、あるデバイスが宛先に代わって応答し、自身の MAC を提供し、その後転送を代行するものです。前提として、送信元ホストがルーティング/リンクに基づいて、確かにその宛先を解決すると判断している必要があります。もし宛先がデフォルトゲートウェイ経由であると既に判断している場合、通常はゲートウェイに問い合せます。プロキシは明確に設計されたアクセスシーンで使用できますが、誤った on-link の判断を隠蔽する可能性もあるため、ルーティングとポリシーと組み合わせてその役割を説明する必要があります。
NDP メッセージ:正しい番号と検証ルール
NDP は ICMPv6 で運ばれ、基本メッセージには RS 133、RA 134、NS 135、NA 136、Redirect 137 があります。これらのメッセージの Code はすべて 0 です。共通ヘッダーには Type、Code、Checksum などの汎用部分のみが含まれ、その後の固定フィールドはメッセージタイプによって変化し、4 バイトの Reserved として一律に描くことはできません。チェックサムには IPv6 擬似ヘッダーが含まれます。受信時の検証では、Hop Limit=255 などの条件もチェックされ、ルーティングを越えて転送される偽造パケットを制限しますが、ローカル送信者を認証するものではありません。RFC 4861:メッセージフォーマットと検証
一般的な ND オプションタイプ 意味
1 ソースリンク層アドレス
2 ターゲットリンク層アドレス
3 プレフィックス情報
4 リダイレクトヘッダー
5 MTU
これらのオプションの Length は 8 バイト単位であり、タイプと長さフィールドを含みます。ゼロ長は無効です。イーサネットリンク層アドレスオプションは通常 8 バイトであり、Type 1 をソース/ターゲットアドレスの両方として呼び出し、その後の番号を全体としてずらすことはできません。
NS/NA:マルチキャストで範囲を狭めるが、1つのグループが複数のアドレスに対応する場合もある
初期解決では、通常、ターゲットの solicited-node マルチキャストアドレスに対して NS を送信します。このアドレスは ff02::1:ff00:0/104 にターゲット IPv6 の下位 24 ビットを加えたものです。イーサネット上の IPv6 マルチキャスト MAC は、33:33 に IPv6 マルチキャストアドレスの下位 32 ビットを加えたものを使用します。したがって、ターゲット 2001:db8::1234:5678 は ff02::1:ff34:5678 および 33:33:ff:34:56:78 に対応します。RFC 2464:IPv6 マルチキャストからイーサネットへのマッピング
複数の IPv6 アドレスが下位 24 ビットを共有する場合、それらは同じグループを共有することになります。受信者は NS の完全な Target Address を確認する必要があり、イーサネット宛先 MAC のみで「私宛てだ」と判断することはできません。既知の近傍の到達性プローブでは、ユニキャスト NS が使用される場合もあり、NS はマルチキャスト問い合わせのみではありません。
通常の solicited NA は、ターゲットリンク層アドレスおよび R/S/O フラグを携带してユニキャストで返信できます。R はルーターの役割を示し、S は対応する solicited 到達性の確認セマンティクスを示し、O は既存のマッピング更新に影響します。マルチキャスト NA の Solicited フラグを「これも応答だから」と一律に 1 に設定することはできません。キャッシュの更新は、元の状態とフラグを組み合わせて実行する必要があります。RFC 4861:アドレス解決と NA 処理
DAD:アドレスがない状態で競合がないかどうたずねる
通常の DAD では、候補アドレスは tentative(暫定)状態にあり、送信される NS のソースは ::、Target は候補アドレスです。Source Link-Layer Address オプションは含まれません。既存のアドレス所有者は対応する NA で返信できます。同じアドレスを同時に探知している2つのノードが、相手の NS を受信することで競合を発見することもあるため、NA のみをカウントしたり、「2番目のノード」だけが失敗すると考えたりすることはできません。
競合が観察されなかった場合にのみ、プロトコルフローに従ってアドレスが有効化されます。ただし、パケット損失、フィルタリング、リンクの分離により、DAD は唯一性の絶対的な証明ではありません。有効化の回数、適用される例外、最適化された DAD、OS のポリシーは区別する必要があり、あらゆるタイプのアドレスに対して同じフローを一律に規定することはできません。RFC 4862:DAD
RA:アドレスプレフィックス、on-link、デフォルトルートはそれぞれ独立して動作する
ホストは RS を介してルーター情報を要求でき、ルーターも定期的に RA を送信できます。RA の送信元は通常、ルーターのリンクローカルアドレスです。応答の宛先は、RS の送信元などの条件に応じて選択する必要があり、ソースが :: の RS に対して、RA を未指定アドレスへのユニキャストで返信することを要求することはできません。
Prefix Information の L はプレフィックスの on-link 情報を示し、A は自律的なアドレス構成に使用可能かどうかを示し、これらは独立しています。アドレス/プレフィックス長を1つ持つからといって、一致するすべてのアドレスが直接到達可能であると無条件に解釈してはいけません。ホストは on-link 情報とルーティング選択に従う必要があります。RFC 5942:IPv6 サブネットモデル
アドレスの Preferred Lifetime が期限切れになると deprecated 状態になり、通常、新しい通信には選択されませんが、既存の通信は依然として有効である限り継続できます。Valid Lifetime が期限切れになると、アドレスはもはや有効ではありません。RA の Router Lifetime は、そのルーターがデフォルトルートの候補となる期間を制御し、0 に設定しても、すべてのプレフィックスとアドレスが同時に無効になるわけではありません。具体的なライフサイクルの更新にはプロトコルのルールがあり、一律に固定の日数に設定することはできません。
SLAAC の IID は、適切な安定した不透明なメカニズムまたは一時アドレスポリシーを使用すべきであり、デフォルトで MAC から生成すべきではありません。RFC 8981 の一時アドレスは定期的に変化し、特定のアドレスに関連するリスクを低減しますが、すべてのネットワーク識別子を隠すものではなく、すべての Linux インストールでデフォルトで有効になっているわけでもありません。システム設定とアドレス選択ポリシーは実際に確認する必要があります。RFC 8981:一時アドレス拡張
アドレスとデフォルトルートは同時に期限切れになるか?
数式内の異なる寿命は、異なるオブジェクトに属します。t=70 を選択すると、アドレスは依然として有効ですが、もはや優先されず、この RA が提供するデフォルトルートはすでに期限切れになっています。L をオフにしても、自動的に A がオフになるわけではありません。タイムスライダーは、初期広告の後の結果を1回だけ観察し、フラグを変更すると、この広告を再構築します。
図を準備しています 再読み込み
アドレスとデフォルトルートは同時に期限切れになるか? A と L は独立している。preferred の期限切れはアドレスを deprecated にするだけで、valid の期限切れになって初めて無効になる。Router Lifetime はデフォルトルートの候補を別に管理する。
{"id":"ra-independent-lifetimes","title":"アドレスとデフォルトルートは同時に期限切れになるか?","summary":"A と L は独立している。preferred の期限切れはアドレスを deprecated にするだけで、valid の期限切れになって初めて無効になる。Router Lifetime はデフォルトルートの候補を別に管理する。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><label class=\"check\"><input type=\"checkbox\" id=\"a\" checked><span data-i18n=\"a\"></span></label><label class=\"check\"><input type=\"checkbox\" id=\"l\" checked><span data-i18n=\"l\"></span></label><div class=\"control\"><label for=\"time\" data-i18n=\"time\"></label><output for=\"time\" id=\"time-value\"></output><input id=\"time\" type=\"range\" min=\"0\" max=\"120\" value=\"0\" step=\"1\"></div><div id=\"lifetimes\" class=\"intervals\"></div><div class=\"metrics\"><div><span data-i18n=\"address\"></span><strong id=\"address\"></strong></div><div><span data-i18n=\"onlink\"></span><strong id=\"onlink\"></strong></div><div><span data-i18n=\"router\"></span><strong id=\"router\"></strong></div></div><p id=\"equation\" class=\"formula\"></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.metrics strong{font-size:17px}.intervals{position:relative}.intervals:after{content:\"\";position:absolute;top:0;bottom:0;left:var(--now);width:2px;background:var(--ink);pointer-events:none}","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;}));}function draw(){const time=+$('#time').value,a=$('#a').checked,l=$('#l').checked,addr=!a?'∅':time<40?'preferred':time<100?'deprecated':'invalid';set('time-value',time);intervals('lifetimes',[{start:0,end:40,label:'preferred: 40 s'},{start:0,end:100,label:'valid: 100 s',cls:'gold'},{start:0,end:60,label:'router: 60 s'}],120);$('#lifetimes').style.setProperty('--now',100*time/120+'%');set('address',addr);set('onlink',t(l&&time<100?'yes':'no'));set('router',t(time<60?'yes':'no'));set('equation','t = '+time+'\\naddress valid: '+(a&&time<100)+'; default router: '+(time<60));$('#address').dataset.state=addr;$('#router').dataset.valid=String(time<60);$('#onlink').dataset.valid=String(l&&time<100);}document.querySelectorAll('input').forEach(e=>e.oninput=draw);draw();","audio":false,"strings":{"a":"PIO A:自律構成を許可","address":"アドレス状態","heading":"アドレスとデフォルトルートは同時に期限切れになるか?","intro":"PIO フラグと時間を変更し、独立したアドレス、プレフィックス、ルーティング状態を比較する。","l":"PIO L:on-link プレフィックスを広告","no":"存在しない","onlink":"この PIO の on-link 情報","reset":"リセット","router":"デフォルトルートの候補","scope":"単一の初期 RA、適切な /64 プレフィックス、DAD 成功、その後の広告や他のルーティングなし。寿命は教科書の秒数:preferred40、valid100、router60。更新時の2時間ルールはシミュレートしない。","scopeLabel":"モデルの範囲と約束事","time":"広告受信からの時間(秒)","yes":"存在"}}
セキュリティ:暗号化はコンテンツを保護するが、近傍の可用性は修復しない
ARP/NDP の基本的なアドレス宣言には、普遍的な送信元認証が欠けており、ローカルリンクでのなりすましはマッピング、ルーティング、またはアドレス構成に影響を与える可能性があります。アクセス制御、適切な ARP チェック/バインディング、RA 防護は、信頼できる入力とアドレスソースと組み合わせて設計する必要があります。静的近傍エントリは一部のマッピングを固定できますが、保守負荷をもたらし、すべてのリンク動作を保護するものではありません。
正しく認証された TLS または暗号化トンネルは、カバーされるセッションのコンテンツと整合性を保護できますが、攻撃者は依然としてパケットドロップ、ハンドシェイクの妨害、またはリンクの到達不能を引き起こす可能性があります。したがって、「WireGuard を使用すれば ARP スプーフィングは無効になる」という主張は成立しません。機密性、アイデンティティ、可用性はそれぞれ独立して判断する必要があります。
ローカルパケットとマルチキャストマッピングの再計算
import struct
from ipaddress import IPv4Address , IPv6Address
sha = bytes . fromhex ( ' 020000000001' )
arp = struct . pack ( ' !HHBBH' , 1 , 0x 0800, 6 , 4 , 1 )
arp += sha + IPv4Address ( ' 192.0.2.10' ) . packed
arp += bytes ( 6 ) + IPv4Address ( ' 192.0.2.1' ) . packed
assert len ( arp ) == 28
padding = max ( 0 , 46 - len ( arp ) )
assert padding == 18 and 14 + len ( arp ) + padding + 4 == 64
assert struct . unpack ( ' !H' , arp [ 6 : 8 ] ) [ 0 ] == 1
target = IPv6Address ( ' 2001:db8::1234:5678' )
solicited = IPv6Address ( int ( IPv6Address ( ' ff02::1:ff00:0' ) ) | ( int ( target ) & 0x ffffff) )
assert str ( solicited ) == ' ff02::1:ff34:5678'
mac = bytes . fromhex ( ' 3333' ) + solicited . packed [ - 4 : ]
assert mac . hex ( ' :' ) == ' 33:33:ff:34:56:78'
assert bytes ( [ 1 , 1 ] ) + sha == bytes . fromhex ( ' 0101020000000001' )
print ( ' ARP フィールド/パディング、リクエスト操作コード、IPv6 マルチキャストマッピングが通過' )
ローカルでバイト列を構築して再計算するだけであり、ネットワークに対して ARP/NS を送信したり、近傍キャッシュをクリアしたり、sysctl を変更したりすることはありません。
引き続き参照