01 / The mechanism and its boundary
What is being described
Amodo Design builds engineering tools for research S-3601. Its public verification work is a series of design notes, prototypes and code:
- Recomputation. Amodo sets out example schemes for checking inference and pre-training by recomputation S-0017 (Sampled inference recomputation, Whole-workload recomputation (reproducible packets)). It re-implemented DiFR, an inference-checking method published by Karvonen et al., in an asynchronous recomputation prototype S-1006. It tested the prototype with models of 1.5 to 120 billion parameters on H100 and H200 GPUs, and published the code S-1006 S-1007.
- Network taps. Its notes cover a first passive tap test, a survey of taps for fast optical links, benchmarks of traffic hashing, and a tap fitted to its inference-verification prototype S-1309 S-1310 S-1311 S-1312; see Network taps and certifiers.
- Bandwidth boundary. For weight security, Amodo replaced a node's network cards with DPUs that enforce rate limits on 400G links S-1313; see Bandwidth limits and compartmentalization.
- Memory wiping. It implemented the memory-filling step of a proof of secure erasure, benchmarked label generation on GPUs, CPUs and NVMe drives, and published code for the disk-wiping path S-1302 S-1303 S-1321. Integrating the wipe into a full verification scheme, with its timed challenges, is still to come S-1302 S-1303; see Memory wiping and proofs of secure erasure.
- Power monitoring. A note on data-centre power delivery argues that each stage from voltage regulator to grid filters out compute-level detail, so that measurements lower in the chain keep more of it S-0048; see Workload classification from telemetry and side channels.
- AI 2040 plan. The AI Futures Project lists Amodo as engineering the inference-only retrofit in its verification plan S-1511. Amodo publishes a status page that grades each workstream S-1008, and its team reports that none of the plan's components is yet past a proof-of-principle prototype S-1512.
Connections in the research map
Related research
Sources and provenance
- S-3601 / Tier B
Amodo Design: About Us ↗
· 2026 · Amodo Design
Supports: engineering company building tools for research
Version and catalogue details - S-0017 / Tier C
Example Schemes for Verifying High-Stakes AI Agreements ↗
Amodo Design · 2026 · Amodo Design
Supports: example recomputation schemes for inference and pre-training
Version and catalogue details - S-1006 / Tier C
Scaling Recomputation Inference Verification ↗
Amodo Design · 2026 · Amodo Design
Supports: re-implementation of DiFR (Karvonen et al.) in an asynchronous recomputation prototype; test scale
Version and catalogue details - S-1007 / Tier B
Amodo-Design/Inference-Recomputation-Prototype (GitHub repository) ↗
Amodo Design · 2026 · GitHub
Supports: prototype code
Version and catalogue details - S-1309 / Tier C
Network Taps — A First Test ↗
Amodo Design · 2026 · Amodo Design
Supports: first passive tap test
Version and catalogue details - S-1310 / Tier C
Network Tapping for AI Verification: A Technical Assessment ↗
Amodo Design · 2026 · Amodo Design
Supports: survey of taps for fast optical links
Version and catalogue details - S-1311 / Tier C
Network Traffic Hashing ↗
Amodo Design · 2026 · Amodo Design
Supports: traffic-hashing benchmarks
Version and catalogue details - S-1312 / Tier C
Fitting a Network TAP to our Inference Verification Prototype ↗
Amodo Design · 2026 · Amodo Design
Supports: tap fitted to the inference-verification prototype
Version and catalogue details - S-1313 / Tier C
The Tray as a Bandwidth Boundary ↗
Amodo Design · 2026 · Amodo Design
Supports: DPU-enforced rate limits on 400G links for weight security
Version and catalogue details - S-1302 / Tier C
Memory Wipes - Performance Analysis ↗
Amodo Design · 2026 · Amodo Design
Supports: memory-filling step of a proof of secure erasure and its benchmarks; challenge phase still to come
Version and catalogue details - S-1303 / Tier C
Improving Disk Wiping Speed for Memory Wipes ↗
Amodo Design · 2026 · Amodo Design
Supports: disk-wiping benchmarks; integration into a full verification scheme still needed
Version and catalogue details - S-1321 / Tier B
Amodo-Design/PoSE-Memory-Wiping (GitHub repository) ↗
Amodo Design · 2026 · GitHub
Supports: disk-wiping code
Version and catalogue details - S-0048 / Tier C
Understanding Data Center Power Delivery ↗
Amodo Design · 2026 · Amodo Design
Supports: analysis of data-centre power delivery
Version and catalogue details - S-1511 / Tier C
Get Involved in Verification ↗
AI Futures Project · 2026 · AI 2040
Supports: listed as engineering the inference-only retrofit
Version and catalogue details - S-1008 / Tier C
AI 2040 Plan A — Verification SITREP ↗
Amodo Design · 2026 · Amodo Design
Supports: status page grading the plan's workstreams
Version and catalogue details - S-1512 / Tier C
Verifying international AI deals: Plan A, the state-of-play, and what you can do to help ↗
T. Milton, S. Reynolds, C. Jacobi, J. Foster · 2026 · Amodo (Substack)
Supports: team post: no component past a proof-of-principle prototype
Version and catalogue details
- Source review date
- 2026-09-25
- Drafted by (source map)
- ai
- Review handles (source map)
- codex-review