{
  "schema_version": "1.0.0",
  "rubric_version": "1.0",
  "license": "CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/)",
  "record": {
    "id": "O-0101",
    "slug": "amodo-design",
    "title": "Amodo Design",
    "aliases": [],
    "status": "draft",
    "last_reviewed": "2026-09-23",
    "review_interval_days": 90,
    "steward": null,
    "provenance": {
      "drafted_by": "ai",
      "reviewed_by": []
    },
    "risk_flags": [],
    "flags": [],
    "kind": "company",
    "homepage": "https://amododesign.com/",
    "one_liner": "A hardware engineering company that builds and publishes prototypes for verifying AI agreements, including inference recomputation, network taps and memory wiping.",
    "sources": [
      {
        "source": "S-0017",
        "supports": "example recomputation schemes for inference and pre-training"
      },
      {
        "source": "S-1006",
        "supports": "re-implementation of DiFR (Karvonen et al.) in an asynchronous recomputation prototype; test scale"
      },
      {
        "source": "S-1007",
        "supports": "prototype code"
      },
      {
        "source": "S-1309",
        "supports": "first passive tap test"
      },
      {
        "source": "S-1310",
        "supports": "survey of taps for fast optical links"
      },
      {
        "source": "S-1311",
        "supports": "traffic-hashing benchmarks"
      },
      {
        "source": "S-1312",
        "supports": "tap fitted to the inference-verification prototype"
      },
      {
        "source": "S-1313",
        "supports": "DPU-enforced rate limits on 400G links for weight security"
      },
      {
        "source": "S-1302",
        "supports": "proof-of-secure-erasure implementation and benchmarks"
      },
      {
        "source": "S-1303",
        "supports": "disk-wiping benchmarks"
      },
      {
        "source": "S-1321",
        "supports": "disk-wiping code"
      },
      {
        "source": "S-0048",
        "supports": "analysis of data-centre power delivery"
      },
      {
        "source": "S-1511",
        "supports": "listed as engineering the inference-only retrofit"
      },
      {
        "source": "S-1008",
        "supports": "status page grading the plan's workstreams"
      },
      {
        "source": "S-1512",
        "supports": "team post: no component past a proof-of-principle prototype"
      }
    ],
    "type": "organization",
    "url": "https://trustbutveri.fyi/organizations/amodo-design/",
    "source_file": "content/organizations/amodo-design.md",
    "flags_all": [
      "ai-drafted"
    ],
    "body_markdown": "Amodo Design describes itself as a team of mechanical, electronic, firmware and software engineers who invent, design and build new hardware. Its public verification work is a series of design notes, prototypes and code:\n\n- **Recomputation.** Amodo sets out example schemes for checking inference and pre-training by recomputation [[S-0017]] ([[M-0001]], [[M-0003]]). It re-implemented [[I-0002|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]].\n- **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 [[M-0013]].\n- **Bandwidth boundary.** For weight security, Amodo replaced a node's network cards with DPUs that enforce rate limits on 400G links [[S-1313]]; see [[M-0014]].\n- **Memory wiping.** It implemented 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]]; see [[M-0015]].\n- **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 [[M-0021]].\n- **AI 2040 plan.** The AI Futures Project lists Amodo as engineering the inference-only retrofit in its [[I-0011|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]].",
    "body_text": "Amodo Design describes itself as a team of mechanical, electronic, firmware and software engineers who invent, design and build new hardware. 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, Reproducible computation 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 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]; 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].",
    "referenced_by": [
      {
        "id": "M-0014",
        "title": "Bandwidth limits and compartmentalization",
        "url": "https://trustbutveri.fyi/mechanisms/bandwidth-limits-and-compartmentalization/"
      },
      {
        "id": "M-0015",
        "title": "Memory wiping and proofs of secure erasure",
        "url": "https://trustbutveri.fyi/mechanisms/memory-wiping-and-secure-erasure/"
      },
      {
        "id": "M-0013",
        "title": "Network taps and certifiers",
        "url": "https://trustbutveri.fyi/mechanisms/network-taps-and-certifiers/"
      },
      {
        "id": "M-0003",
        "title": "Reproducible computation packets",
        "url": "https://trustbutveri.fyi/mechanisms/reproducible-computation-packets/"
      },
      {
        "id": "M-0001",
        "title": "Sampled inference recomputation",
        "url": "https://trustbutveri.fyi/mechanisms/sampled-inference-recomputation/"
      },
      {
        "id": "M-0016",
        "title": "Timed challenge-response and memory-occupation challenges",
        "url": "https://trustbutveri.fyi/mechanisms/timed-challenge-response/"
      },
      {
        "id": "M-0021",
        "title": "Workload classification from telemetry and side channels",
        "url": "https://trustbutveri.fyi/mechanisms/workload-classification-from-telemetry/"
      },
      {
        "id": "I-0011",
        "title": "AI 2040 inference-only verification stack",
        "url": "https://trustbutveri.fyi/implementations/ai-2040-inference-only-verification-plan/"
      },
      {
        "id": "I-0002",
        "title": "DiFR (Divergence From Reference)",
        "url": "https://trustbutveri.fyi/implementations/difr/"
      },
      {
        "id": "S-0017",
        "title": "Example Schemes for Verifying High-Stakes AI Agreements",
        "url": "https://trustbutveri.fyi/sources/amodo-example-schemes-high-stakes-ai-agreements/"
      },
      {
        "id": "S-1303",
        "title": "Improving Disk Wiping Speed for Memory Wipes",
        "url": "https://trustbutveri.fyi/sources/amodo-improving-disk-wiping-speed/"
      },
      {
        "id": "S-1007",
        "title": "Amodo-Design/Inference-Recomputation-Prototype (GitHub repository)",
        "url": "https://trustbutveri.fyi/sources/amodo-inference-recomputation-prototype-code/"
      },
      {
        "id": "S-1302",
        "title": "Memory Wipes - Performance Analysis",
        "url": "https://trustbutveri.fyi/sources/amodo-memory-wipes-performance-analysis/"
      },
      {
        "id": "S-1312",
        "title": "Fitting a Network TAP to our Inference Verification Prototype",
        "url": "https://trustbutveri.fyi/sources/amodo-network-tap-inference-verification-prototype/"
      },
      {
        "id": "S-1310",
        "title": "Network Tapping for AI Verification: A Technical Assessment",
        "url": "https://trustbutveri.fyi/sources/amodo-network-tapping-technical-assessment/"
      },
      {
        "id": "S-1309",
        "title": "Network Taps — A First Test",
        "url": "https://trustbutveri.fyi/sources/amodo-network-taps-first-test/"
      },
      {
        "id": "S-1311",
        "title": "Network Traffic Hashing",
        "url": "https://trustbutveri.fyi/sources/amodo-network-traffic-hashing/"
      },
      {
        "id": "S-1008",
        "title": "AI 2040 Plan A — Verification SITREP",
        "url": "https://trustbutveri.fyi/sources/amodo-plan-a-verification-sitrep/"
      },
      {
        "id": "S-1321",
        "title": "Amodo-Design/PoSE-Memory-Wiping (GitHub repository)",
        "url": "https://trustbutveri.fyi/sources/amodo-pose-memory-wiping-code/"
      },
      {
        "id": "S-1006",
        "title": "Scaling Recomputation Inference Verification",
        "url": "https://trustbutveri.fyi/sources/amodo-scaling-recomputation-inference-verification/"
      },
      {
        "id": "S-1313",
        "title": "The Tray as a Bandwidth Boundary",
        "url": "https://trustbutveri.fyi/sources/amodo-tray-bandwidth-boundary/"
      },
      {
        "id": "S-0048",
        "title": "Understanding Data Center Power Delivery",
        "url": "https://trustbutveri.fyi/sources/amodo-understanding-data-center-power-delivery/"
      },
      {
        "id": "S-1512",
        "title": "Verifying international AI deals: Plan A, the state-of-play, and what you can do to help",
        "url": "https://trustbutveri.fyi/sources/milton-verifying-international-ai-deals/"
      }
    ]
  }
}