Implementation · AI 2040 inference-only verification stack
Sources
On this page
- CR. Dean (2026). Verification Plan. AI 2040. Source recordSupports: the six-layer stack; isolation rationale; passive optical taps; packets and reproducibility; recomputation and its trust assumption; physical security measures; completeness measures; spare-compute scope; gateway variant; other options · Summary of the plan; inference-only retrofit description; Appendix reference
- CAI Futures Project (2026). Get Involved in Verification. AI 2040. Source recordSupports: component status and open problems as of 9 July 2026; recomputation-server hardening · network taps; reproducible packets; partial recomputation; physical security; completeness
- CT. Milton et al. (2026). Verifying international AI deals: Plan A, the state-of-play, and what you can do to help. Amodo (Substack). Source recordSupports: overall maturity statement; description of taps and recomputation · introduction
- CAmodo Design (2026). AI 2040 Plan A — Verification SITREP. Amodo Design. Source recordSupports: status of recomputation server security and red-teaming · status items
- CAmodo Design (2026). Fitting a Network TAP to our Inference Verification Prototype. Amodo Design. Source recordSupports: passive tap fitted to a DiFR recomputation prototype on a 1 Gbps lab link; stress-test result; need for an active tap · setup, results and side-channel sections
- BR. Rinberg et al. (2025). Verifying LLM Inference to Detect Model Weight Exfiltration. arXiv. Source recordSupports: Token-DiFR as a Gumbel-Max estimator · §6.3
- BN. Kezins (2026). Adversarial Entropy Inflation Against Gumbel-Based Inference Verification. arXiv. Source recordSupports: prompt-controlling attack on Gumbel-based verification; models tested; bits per token; slowdown factor · abstract