Mechanism · Isolation & system architectures

Bandwidth limits and compartmentalization

Capping or removing the network links between groups of accelerators, so that serving models still works but large training runs become impractically slow.

Also called Traffic shaping; Isolated inference units; Interconnect limits

R1Proposed

Summary

Training frontier models needs very fast links between many accelerators; serving a trained model needs far less. This mechanism caps or removes the links between groups of accelerators ("pods"), so that inference keeps working but large training runs become slow and costly. The AI 2040 plan would remove much back-end networking to create isolated inference units. Lucid Computing's design caps each 72-GPU pod at 1 Gbps in each direction. Lucid estimates that covert frontier training would then be at least about 350 times less efficient, provided an auditor randomizes how pods connect to routers; with operator-chosen routing, it can fall to about 25 times. As of September 2026 no cap that a verifier can check has been built or red-teamed. The main obstacles are showing that all traffic crosses the capped links and that the enforcing devices can be trusted. The largest known weakness is progress in low-communication training.

ReadinessR1Proposedmedium confidence · rubric v1.0 · 2026-09-23

R1: detailed designs are public, but no cap that a verifier can check has been built.

Rubric assessment
  • R1 met: the AI 2040 plan proposes isolated inference units created by removing back-end networking, on the grounds that high-bandwidth links are mostly needed only for training 1. Lucid Computing gives a detailed design with a cap, a pod definition, adversary strategies, favourable assumptions and residual risks 2. The MIRI overview describes perimeters of monitored links sized to pods for inference 4.
  • R2 not met: Lucid states that the design is "still at the design stage and not yet implemented or red-teamed" 2. Amodo has demonstrated DPU-enforced rate limiting on 400G links on real hardware 5. That work targets weight security under a cooperating operator, not a cap that a verifier checks against the operator, and Amodo has not yet fully analysed resilience to a compromised DPU 5. The mechanism's implementations, RAND secure inference data center (SIDC) design and AI 2040 inference-only verification stack, are proposed architectures at R1.

Confidence is medium: the design evidence is clear, but it is uncertain whether node-level rate-limiting demonstrations should count toward this use.

Gaps to the next level
  • A public implementation of a pod-level cap that a verifier can check, tested on data-centre hardware (Lucid reports a proof of concept in development).
  • Measured, not only modelled, training inefficiency under the cap, including low-communication methods.
  • Red-teaming of cap bypass (for example through parallel scale-up switches) and of trust in the shaping devices.

How it works

Training and serving use the network differently 1 2. The AI 2040 plan notes that AI servers "have a lot of high bandwidth communication between them, but this is (mostly) only necessary for training" 1. Lucid Computing gives the same rationale: inference sends little external traffic, while training moves gradients, model state and activations among many machines 2.

Two families of design use this asymmetry 1 2:

  • Removing links. The AI 2040 plan would "convert datacenters into groups of isolated inference-units" by removing a significant amount of back-end networking 1. Its illustration retrofits 40% of US compute into inference units of four server racks 1.
  • Capping links. Lucid's Traffic Shaping design installs a network shaper at the north-south uplink of each pod, modelled as one GB200 NVL72 rack 2. It recommends a cap of 1 Gbps per direction per pod, averaged over 60 seconds 2. The parties would configure and agree on the shaping devices, built on commodity hardware or open standards through a mediated co-design process 2.

The MIRI system overview frames the same boundary as a perimeter: untrusted devices are grouped so that only monitored links communicate in and out 4. For inference, that perimeter can be as small as pods of a few hundred accelerators 4. Monitored links are covered in Network taps and certifiers.

Amodo has built a related enforcement point for weight security 5. It replaced a node's NICs with NVIDIA BlueField-3 DPUs, reasoning that "all the traffic in and out of a node goes through a NIC", which creates "a clean bandwidth boundary" 5.

For proofs of compartmentalization, a related approach to constraining training, see Zero-knowledge proofs of training constraints.

What it establishes

Lucid aims to let a third party verify that frontier training either is not happening in a declared facility or would cost so much more that training a model ten times the current frontier becomes economically infeasible 2. It estimates a lower bound of about 350x on the inefficiency of covert frontier training, with central estimates of 1,000x to 10,000x, if the auditor controls pod routing and per-pod storage is capped 2. This addresses Communication between compute groups is bounded, and indirectly This compute runs inference, not training and A training run stayed within declared limits.

It does not establish:

  • What the pods compute. A cap alone does not show this, so the AI 2040 plan pairs inference units with taps and recomputation (Sampled inference recomputation, Reproducible computation packets) 1.
  • Absence of training inside one pod. Lucid places training that fits within one pod, fine-tuning and reinforcement-learning post-training within one pod outside its modelled threat 2.
  • Anything outside declared facilities. Rahman judges it "infeasible to prevent evaders from getting fast internet connections" 7.

Threat model

  • Favourable adversary. Lucid's analysis grants the adversary perfect overlap of communication and computation, zero pipeline bubbles and "the best published communication-reduction techniques", among other advantages 2.
  • Auditor-controlled routing. The bound holds only if the auditor randomizes the assignment of pods to routers and periodically re-randomizes it 2.
  • Declared storage. Per-pod storage must be declared, capped and inspected 2.
  • Complete perimeter. The shaper sits at each pod's uplink 2. The verifier must also know that no other path leaves the pod, which the MIRI overview handles with a perimeter where only monitored links communicate in and out 4; see Network taps and certifiers and Tamper evidence for verifier devices.

Evidence

  • Designs. The AI 2040 plan, Lucid's design brief and the MIRI overview are designs and analysis 1 2 4. Lucid describes its design as "still at the design stage and not yet implemented or red-teamed" 2. It reports that its engineers are building a proof of concept for red-teaming at a partner cluster 2.
  • Node-level limiter. Amodo reports 390 Gbps unencrypted and 193 Gbps encrypted throughput between two DPUs on a 400G link 5. That demonstration targets weight security with a cooperating operator, and Amodo has "not yet fully analysed resilience to a single compromised DPU" 5.

Limitations

  • Low-communication training. DiLoCo matched fully synchronous training on 8 workers while communicating 500 times less 6. Rahman writes that this family theoretically allows large-scale training at under 100 Mbps 7. Lucid's bounds include DiLoCo- and SWARM-family methods, but it notes that extreme activation compression or modular paradigms could erode the margin 2.
  • Routing control. If the operator can group pods freely behind routers, the bound falls to about 90–220x uncompressed and as low as about 25x with compression 2.
  • Hidden storage. Undeclared per-pod storage weakens the bound 2.
  • Scale-up bypass. In GB200 topologies, GPUs reach other nodes through NVSwitches without a NIC on the path, and compromising one or two parallel switches would bypass a limit 5.
  • Durability. Lucid positions the design as "a short-to-medium-term deterrent and Phase-1 milestone" 2.

Known flaws

Published flaws, with their severity, kind and status. How flaws are rated.

  • Low-communication training reduces the bandwidth training needsSignificantTheoretical argumentOpen

    DiLoCo matched fully synchronous training on 8 workers while communicating 500 times less. Rahman writes that this family of methods theoretically allows large-scale training with less than 100 Mbps. Lucid includes these methods in its bounds, but notes that extreme activation compression, architectures with unusually small inter-layer widths, or modular paradigms could erode the margin.

    Sources: [6] [7] [2]
  • Operator control of pod routing collapses the boundSignificantTheoretical argumentOpen

    Lucid's analysis finds that if the operator can freely assign pods to routers, it could dedicate a whole cell of 100 or more pods to one pipeline stage. The bound then falls to about 90–220x uncompressed and as low as about 25x with compression. The proposed mitigation, auditor-controlled random assignment that is periodically re-randomized, has not been implemented.

    Sources: [2]
  • Undeclared local storage raises per-pod capacitySignificantTheoretical argumentOpen

    More memory or storage per pod helps an adversary. Lucid requires per-pod storage to be declared, capped and physically inspected.

    Sources: [2]
  • Training within one pod is not coveredSignificantOpen questionOpen

    Lucid's bounds concern pre-training models larger than the pods are sized for. Training models that fit in one pod, fine-tuning and reinforcement-learning post-training within one pod are outside the modelled threat.

    Sources: [2]
  • Parallel scale-up switches are hard enforcement pointsSignificantTheoretical argumentOpen

    In GB200 topologies, GPUs reach GPUs in other nodes through NVSwitches without a NIC on the path. Amodo notes that limits are hard to enforce there because many switches work in parallel, so compromising one or two would bypass the limit.

    Sources: [5]

Blockers

  • No cap that a verifier can check has been implemented or red-teamed.

    Adversarial validation[2]
  • The verifier must know that all traffic leaving a pod crosses the capped, monitored links.

  • Shaping devices and routing assignments must be trusted by both parties; Amodo has not yet fully analysed resilience to a compromised DPU.

  • Advances in low-communication training could shrink the margin that the cap enforces.

    Capacity bounds[6][7][2]

Technical detail

Show technical detail
  • Pod and cap. Lucid Computing's Traffic Shaping design models a pod as one NVIDIA GB200 NVL72 rack (72 GPUs). A shaper at each pod's north-south uplink enforces a recommended cap of β = 1 Gbps (125 MB/s) per direction per pod, averaged over 60 seconds, about 14 Mbps per GPU 2.
  • Adversary. The reference served model is a "Fable-sized model (estimated 6T parameter MoE)"; the adversary's target is about 10x larger (60T parameters). Strategies analysed: centralized training adapted to the cap, DiLoCo-family low-communication data parallelism (including streaming and quantized variants), and SWARM-family decentralized pipeline parallelism. The analysis grants the adversary perfect overlap of communication and computation, zero pipeline bubbles, zero straggler and fault overhead, free coordination compute outside the pods, aggressive low-precision recipes and the best published communication-reduction techniques 2.
  • Results. The headline is a lower bound on the inefficiency multiplier of about 350x, with central estimates of 1,000x–10,000x depending on training architecture. For SWARM-style pipelines the floor falls to about 140x only if two further unproven techniques both succeed (8x lossless activation compression at frontier scale and an unusually narrow 60T-parameter architecture). The appendix summary claims at least 100x, with roughly 1.4–3.5x of margin, after stacking every charitable and speculative assumption 2.
  • Conditions. The auditor randomizes the assignment of pods to routers and re-randomizes it periodically, and per-pod local storage is declared, capped and inspected. If the operator could instead assign whole cells of 100 or more pods to one pipeline stage, the bound would collapse to about 90–220x uncompressed and as low as about 25x with compression 2.
  • Amodo's node-level limiter. NVIDIA BlueField-3 DPUs replace the NICs on a 400G Ethernet link, reaching 390 Gbps unencrypted and 193 Gbps encrypted between two DPUs 5.

Sources

  1. CR. Dean (2026). Verification Plan. AI 2040. Source recordSupports: isolated inference units by removing back-end networking; rationale; retrofit illustration · inference-only retrofitting proposal
  2. CLucid Computing (2026). Traffic Shaping for Workload Classification. Lucid Computing (Substack). Source recordSupports: Traffic Shaping design, cap, pod model, adversary strategies and assumptions, results and their conditions, residual risks, status · summary; main text; appendices A.7–A.9
  3. BR. Rinberg et al. (2026). Haiku to Opus in Just 10 bits: LLMs Unlock Large Compression Gains. arXiv. Source recordSupports: egress limits cap how much can be stolen · §5.1
  4. BN. Cankaya (2026). A System Overview for Near-Term, Low-Trust AI Compute Verification. Machine Intelligence Research Institute. Source recordSupports: perimeter of monitored links; perimeter size for inference and training · §5.1.1
  5. CAmodo Design (2026). The Tray as a Bandwidth Boundary. Amodo Design. Source recordSupports: DPU-based node bandwidth boundary, throughput, NVSwitch limitation, compromised-DPU caveat, security purpose · whole note
  6. BA. Douillard et al. (2024). DiLoCo: Distributed Low-Communication Training of Language Models. ICML 2024 Workshop on Advancing Neural Network Training (WANT). Source recordSupports: 500x less communication on 8 workers · abstract
  7. BR. Rahman (2026). Does Distributed Training Undermine Compute Governance?. ICML 2026 Workshop on Technical AI Governance Research. Source recordSupports: DiLoCo-family bandwidth needs; bandwidth caps on evaders judged infeasible · §1; appendix G.1

M-0014JSONSource-checked 2026-09-23 · changed 2026-09-24Suggest a correction

Drafted with AI assistance and checked against the cited sources by an independent verifier. Expert review pending. Readiness assessed by the AI draft on 2026-09-23. How records are made.