{
  "name": "AI Verification Landscape",
  "schema_version": "1.0.0",
  "rubric_version": "1.0",
  "generated": "2026-09-24T01:14:41.948Z",
  "includes_drafts": true,
  "license": "CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/)",
  "notes": "Fields marked assessment:true are editorial judgments under the published rubric, not statements of fact. flags_all includes computed flags (ai-drafted, review-overdue, critical-flaw-open).",
  "records": [
    {
      "id": "M-0014",
      "type": "mechanism",
      "slug": "bandwidth-limits-and-compartmentalization",
      "title": "Bandwidth limits and compartmentalization",
      "one_liner": "Capping or removing the network links between groups of accelerators, so that serving models still works but large training runs become impractically slow.",
      "category": "isolation-architecture",
      "readiness_level": "R1",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/bandwidth-limits-and-compartmentalization/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0014.json"
    },
    {
      "id": "M-0024",
      "type": "mechanism",
      "slug": "bounding-unexplained-information",
      "title": "Bounding unexplained information in outputs",
      "one_liner": "Limits the hidden information a facility's outputs can carry by measuring how much of those outputs the declared computation fails to predict.",
      "category": "isolation-architecture",
      "readiness_level": "R2",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/bounding-unexplained-information/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0024.json"
    },
    {
      "id": "M-0018",
      "type": "mechanism",
      "slug": "chip-location-verification",
      "title": "Chip location verification",
      "one_liner": "Timing a chip's signed replies to trusted servers at known places, so that the speed of light bounds how far away the chip can be.",
      "category": "accounting-provenance",
      "readiness_level": "R1",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/chip-location-verification/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0018.json"
    },
    {
      "id": "M-0019",
      "type": "mechanism",
      "slug": "chip-registries-and-manufacturing-records",
      "title": "Chip registries and manufacturing records",
      "one_liner": "Recording each AI chip's identity and owner from the fab onwards, and cryptographically fixing manufacturing records, so that chips can be accounted for later.",
      "category": "accounting-provenance",
      "readiness_level": "R1",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/chip-registries-and-manufacturing-records/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0019.json"
    },
    {
      "id": "M-0025",
      "type": "mechanism",
      "slug": "confidential-multi-party-verification",
      "title": "Confidential multi-party verification",
      "one_liner": "Lets mutually distrusting parties run an agreed check over private models or records inside attested enclaves or zero-knowledge proofs, revealing only the result.",
      "category": "cryptographic-computational",
      "readiness_level": "R2",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/confidential-multi-party-verification/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0025.json"
    },
    {
      "id": "M-0002",
      "type": "mechanism",
      "slug": "deterministic-inference",
      "title": "Deterministic and bit-exact inference",
      "one_liner": "Making model inference reproducible bit for bit, so that a verifier's re-run must match the provider's output exactly rather than approximately.",
      "category": "cryptographic-computational",
      "readiness_level": "R2",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/deterministic-inference/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0002.json"
    },
    {
      "id": "M-0009",
      "type": "mechanism",
      "slug": "flexheg-guarantee-processors",
      "title": "Hardware-enabled guarantees (flexHEG) and guarantee processors",
      "one_liner": "Proposed chip add-ons, a guarantee processor inside a tamper-protected enclosure, that would check and enforce agreed rules on how AI accelerators are used.",
      "category": "on-chip",
      "readiness_level": "R1",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/flexheg-guarantee-processors/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0009.json"
    },
    {
      "id": "M-0011",
      "type": "mechanism",
      "slug": "hardware-performance-throttling",
      "title": "Hardware performance throttling and licensing",
      "one_liner": "On-chip mechanisms that cut an AI accelerator's performance when a license expires or a trusted trigger fires, bounding what the hardware can do.",
      "category": "on-chip",
      "readiness_level": "R1",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/hardware-performance-throttling/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0011.json"
    },
    {
      "id": "M-0015",
      "type": "mechanism",
      "slug": "memory-wiping-and-secure-erasure",
      "title": "Memory wiping and proofs of secure erasure",
      "one_liner": "Overwriting all of a device's memory in a way a verifier can check, so that nothing from earlier, undeclared work survives the wipe.",
      "category": "isolation-architecture",
      "readiness_level": "R1",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/memory-wiping-and-secure-erasure/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0015.json"
    },
    {
      "id": "M-0012",
      "type": "mechanism",
      "slug": "model-identity-attestation",
      "title": "Model identity attestation",
      "one_liner": "Establishes that responses come from a specific, committed set of model weights, using enclave measurements or recomputation of sampled outputs.",
      "category": "cryptographic-computational",
      "readiness_level": "R2",
      "flags": [
        "provider-reported",
        "critical-flaw-open",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/model-identity-attestation/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0012.json"
    },
    {
      "id": "M-0013",
      "type": "mechanism",
      "slug": "network-taps-and-certifiers",
      "title": "Network taps and certifiers",
      "one_liner": "Devices on a cluster's network links that copy and hash all traffic, so a verifier can later check sampled records against declared work.",
      "category": "off-chip-devices",
      "readiness_level": "R1",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/network-taps-and-certifiers/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0013.json"
    },
    {
      "id": "M-0010",
      "type": "mechanism",
      "slug": "on-chip-telemetry",
      "title": "On-chip telemetry from timing, memory and performance counters",
      "one_liner": "Uses timing, memory-residency and performance-counter signals measured on AI accelerators as evidence about which workloads they are running.",
      "category": "on-chip",
      "readiness_level": "R2",
      "flags": [
        "critical-flaw-open",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/on-chip-telemetry/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0010.json"
    },
    {
      "id": "M-0006",
      "type": "mechanism",
      "slug": "proof-of-learning",
      "title": "Proof-of-learning and training-transcript verification",
      "one_liner": "A trainer logs checkpoints, data order and settings, so a verifier can re-run sampled training segments and check that the claimed training happened.",
      "category": "cryptographic-computational",
      "readiness_level": "R2",
      "flags": [
        "critical-flaw-open",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/proof-of-learning/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0006.json"
    },
    {
      "id": "M-0007",
      "type": "mechanism",
      "slug": "proofs-of-useful-work",
      "title": "Proofs of useful work and resource exhaustion",
      "one_liner": "Cryptographic evidence that hardware performed a given amount of agreed computation, proposed as a way to show no spare capacity remained for other work.",
      "category": "cryptographic-computational",
      "readiness_level": "R1",
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/proofs-of-useful-work/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0007.json"
    },
    {
      "id": "M-0020",
      "type": "mechanism",
      "slug": "remote-detection-of-data-centres",
      "title": "Remote detection of data centres",
      "one_liner": "Remote detection locates large data centres and estimates their power capacity without site access, using satellite imagery, heat signatures and public records such as permits.",
      "category": "remote-sensing",
      "readiness_level": "R1",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/remote-detection-of-data-centres/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0020.json"
    },
    {
      "id": "M-0003",
      "type": "mechanism",
      "slug": "reproducible-computation-packets",
      "title": "Reproducible computation packets",
      "one_liner": "Organizing all AI workloads in a facility into discrete, reproducible units, so that a verifier can recompute a random sample and check each one.",
      "category": "isolation-architecture",
      "readiness_level": "R1",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/reproducible-computation-packets/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0003.json"
    },
    {
      "id": "M-0023",
      "type": "mechanism",
      "slug": "safeguard-attestation",
      "title": "Safeguard attestation",
      "one_liner": "Hardware-signed evidence that an AI service ran its declared safeguards, such as a guardrail classifier or monitor, when producing a given response.",
      "category": "cryptographic-computational",
      "readiness_level": "R2",
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/safeguard-attestation/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0023.json"
    },
    {
      "id": "M-0001",
      "type": "mechanism",
      "slug": "sampled-inference-recomputation",
      "title": "Sampled inference recomputation",
      "one_liner": "A verifier re-runs a random sample of an AI provider's logged queries on a trusted copy of the declared model and checks the outputs match.",
      "category": "cryptographic-computational",
      "readiness_level": "R2",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/sampled-inference-recomputation/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0001.json"
    },
    {
      "id": "M-0022",
      "type": "mechanism",
      "slug": "side-channel-suppression",
      "title": "Side-channel suppression for isolated facilities",
      "one_liner": "Shielding, filtering, jamming and inspecting an AI facility so that no hidden physical channel can bypass the checks placed on its official links.",
      "category": "off-chip-devices",
      "readiness_level": "R1",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/side-channel-suppression/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0022.json"
    },
    {
      "id": "M-0017",
      "type": "mechanism",
      "slug": "tamper-evidence-for-verifier-devices",
      "title": "Tamper evidence for verifier devices",
      "one_liner": "Enclosures, seals and sensors that make physical interference with verification hardware either visible or self-defeating.",
      "category": "off-chip-devices",
      "readiness_level": "R2",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/tamper-evidence-for-verifier-devices/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0017.json"
    },
    {
      "id": "M-0008",
      "type": "mechanism",
      "slug": "tee-remote-attestation",
      "title": "TEE remote attestation for AI workloads",
      "one_liner": "Trusted execution environments (TEEs) in CPUs and GPUs sign reports of loaded software, so a remote party can check which code ran an AI workload.",
      "category": "on-chip",
      "readiness_level": "R2",
      "flags": [
        "provider-reported",
        "critical-flaw-open",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/tee-remote-attestation/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0008.json"
    },
    {
      "id": "M-0016",
      "type": "mechanism",
      "slug": "timed-challenge-response",
      "title": "Timed challenge-response and memory-occupation challenges",
      "one_liner": "A verifier sends unpredictable questions that a device can answer in time only if it holds specified data, or dedicates specified resources, locally.",
      "category": "cryptographic-computational",
      "readiness_level": "R1",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/timed-challenge-response/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0016.json"
    },
    {
      "id": "M-0021",
      "type": "mechanism",
      "slug": "workload-classification-from-telemetry",
      "title": "Workload classification from telemetry and side channels",
      "one_liner": "Telling whether chips are training, serving or doing non-AI work from GPU counters or power draw, signals that do not read weights or data.",
      "category": "remote-sensing",
      "readiness_level": "R2",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/workload-classification-from-telemetry/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0021.json"
    },
    {
      "id": "M-0004",
      "type": "mechanism",
      "slug": "zk-proofs-of-inference",
      "title": "Zero-knowledge proofs of inference",
      "one_liner": "A prover produces a cryptographic proof that an output came from running a committed model on a given input, without revealing the weights.",
      "category": "cryptographic-computational",
      "readiness_level": "R2",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/zk-proofs-of-inference/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0004.json"
    },
    {
      "id": "M-0005",
      "type": "mechanism",
      "slug": "zk-proofs-of-training-constraints",
      "title": "Zero-knowledge proofs of training constraints",
      "one_liner": "Cryptographic proofs that a training run followed a committed dataset, procedure and rules, checkable without revealing the model or the data.",
      "category": "cryptographic-computational",
      "readiness_level": "R2",
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/mechanisms/zk-proofs-of-training-constraints/",
      "json": "https://trustbutveri.fyi/api/v1/mechanism/M-0005.json"
    },
    {
      "id": "I-0011",
      "type": "implementation",
      "slug": "ai-2040-inference-only-verification-plan",
      "title": "AI 2040 inference-only verification stack",
      "one_liner": "A proposed retrofit that isolates data-centre inference units, taps their front-end traffic and recomputes random samples to check that only declared inference runs.",
      "category": "isolation-architecture",
      "readiness_level": "R1",
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/implementations/ai-2040-inference-only-verification-plan/",
      "json": "https://trustbutveri.fyi/api/v1/implementation/I-0011.json"
    },
    {
      "id": "I-0007",
      "type": "implementation",
      "slug": "attestable-audits",
      "title": "Attestable Audits",
      "one_liner": "A research prototype that runs AI safety benchmarks inside a trusted execution environment and publishes attestations binding the model, the audit and the results.",
      "category": "on-chip",
      "readiness_level": "R2",
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/implementations/attestable-audits/",
      "json": "https://trustbutveri.fyi/api/v1/implementation/I-0007.json"
    },
    {
      "id": "I-0005",
      "type": "implementation",
      "slug": "attestable-zk-inference",
      "title": "Attestable zero-knowledge inference prover",
      "one_liner": "Attestable's zero-knowledge prover, which the company reports proves large language model outputs came from committed weights at tens of tokens per second.",
      "category": "cryptographic-computational",
      "readiness_level": "R1",
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/implementations/attestable-zk-inference/",
      "json": "https://trustbutveri.fyi/api/v1/implementation/I-0005.json"
    },
    {
      "id": "I-0002",
      "type": "implementation",
      "slug": "difr",
      "title": "DiFR (Divergence From Reference)",
      "one_liner": "DiFR checks that an inference provider ran its declared model by comparing output tokens or activations with a trusted re-run using the same random seed.",
      "category": "cryptographic-computational",
      "readiness_level": "R2",
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/implementations/difr/",
      "json": "https://trustbutveri.fyi/api/v1/implementation/I-0002.json"
    },
    {
      "id": "I-0012",
      "type": "implementation",
      "slug": "low-trust-compute-verification-system-overview",
      "title": "Low-trust AI compute verification system overview",
      "one_liner": "A retrofittable reference design in which network taps commit to all facility traffic, and air-gapped, independently sourced checkers later re-run randomly challenged records.",
      "category": "isolation-architecture",
      "readiness_level": "R1",
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/implementations/low-trust-compute-verification-system-overview/",
      "json": "https://trustbutveri.fyi/api/v1/implementation/I-0012.json"
    },
    {
      "id": "I-0009",
      "type": "implementation",
      "slug": "lucid-location-certificates",
      "title": "Lucid sovereignty (location) certificates",
      "one_liner": "A draft specification, hosted by Lucid Computing, for short-lived certificates that bound where a workload runs by timing signed exchanges with fixed anchors.",
      "category": "accounting-provenance",
      "readiness_level": "R1",
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/implementations/lucid-location-certificates/",
      "json": "https://trustbutveri.fyi/api/v1/implementation/I-0009.json"
    },
    {
      "id": "I-0004",
      "type": "implementation",
      "slug": "pearl-proof-of-useful-work",
      "title": "Pearl proof-of-useful-work blockchain",
      "one_liner": "A blockchain whose mining is designed to be a by-product of GPU matrix multiplications in AI workloads, with public node and miner code.",
      "category": "cryptographic-computational",
      "readiness_level": "R2",
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/implementations/pearl-proof-of-useful-work/",
      "json": "https://trustbutveri.fyi/api/v1/implementation/I-0004.json"
    },
    {
      "id": "I-0010",
      "type": "implementation",
      "slug": "rand-secure-inference-data-centers",
      "title": "RAND secure inference data center (SIDC) design",
      "one_liner": "A RAND design for a purpose-built facility that serves already-trained AI models while protecting weights and inference data against state-level attackers.",
      "category": "isolation-architecture",
      "readiness_level": "R1",
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/implementations/rand-secure-inference-data-centers/",
      "json": "https://trustbutveri.fyi/api/v1/implementation/I-0010.json"
    },
    {
      "id": "I-0008",
      "type": "implementation",
      "slug": "sash-confidential-network-logger",
      "title": "SASH confidential network logger",
      "one_liner": "An open-source prototype that routes a facility's inference traffic through a logger and re-runs requests on a separate cluster to check it serves inference.",
      "category": "off-chip-devices",
      "readiness_level": "R1",
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/implementations/sash-confidential-network-logger/",
      "json": "https://trustbutveri.fyi/api/v1/implementation/I-0008.json"
    },
    {
      "id": "I-0006",
      "type": "implementation",
      "slug": "tinfoil-model-identity",
      "title": "Tinfoil model identity (Modelwrap)",
      "one_liner": "Tinfoil's method for proving which model weights its enclave-hosted inference service runs, by binding a dm-verity hash of the weights into remote attestation.",
      "category": "cryptographic-computational",
      "readiness_level": "R2",
      "flags": [
        "provider-reported",
        "critical-flaw-open",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/implementations/tinfoil-model-identity/",
      "json": "https://trustbutveri.fyi/api/v1/implementation/I-0006.json"
    },
    {
      "id": "I-0001",
      "type": "implementation",
      "slug": "toploc",
      "title": "TOPLOC",
      "one_liner": "TOPLOC is a hashing scheme from Prime Intellect that lets a verifier check whether an inference provider ran the model, prompt and precision it claims.",
      "category": "cryptographic-computational",
      "readiness_level": "R2",
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/implementations/toploc/",
      "json": "https://trustbutveri.fyi/api/v1/implementation/I-0001.json"
    },
    {
      "id": "I-0003",
      "type": "implementation",
      "slug": "zkllm",
      "title": "zkLLM",
      "one_liner": "zkLLM is a GPU-accelerated zero-knowledge proof system that proves a large language model's output came from committed weights without revealing those weights.",
      "category": "cryptographic-computational",
      "readiness_level": "R2",
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/implementations/zkllm/",
      "json": "https://trustbutveri.fyi/api/v1/implementation/I-0003.json"
    },
    {
      "id": "C-0008",
      "type": "claim",
      "slug": "bandwidth-is-bounded",
      "title": "Communication between compute groups is bounded",
      "one_liner": "Data flowing between specified groups of chips, or out of a facility, stays below a declared rate, so the groups cannot jointly run large workloads.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/claims/bandwidth-is-bounded/",
      "json": "https://trustbutveri.fyi/api/v1/claim/C-0008.json"
    },
    {
      "id": "C-0002",
      "type": "claim",
      "slug": "chips-are-where-declared",
      "title": "Chips are where they are declared to be",
      "one_liner": "Specific AI chips are physically located at the sites a party has declared, throughout the declared period.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/claims/chips-are-where-declared/",
      "json": "https://trustbutveri.fyi/api/v1/claim/C-0002.json"
    },
    {
      "id": "C-0001",
      "type": "claim",
      "slug": "compute-stock-is-bounded",
      "title": "Compute stock is at most a declared amount",
      "one_liner": "A party holds no more AI-relevant compute, counted in chips or equivalent capacity, than the total it has declared.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/claims/compute-stock-is-bounded/",
      "json": "https://trustbutveri.fyi/api/v1/claim/C-0001.json"
    },
    {
      "id": "C-0003",
      "type": "claim",
      "slug": "declared-hardware-is-idle",
      "title": "Declared hardware is idle or shut down",
      "one_liner": "Specified AI chips or facilities are not performing computation, or are powered off, throughout a declared period.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/claims/declared-hardware-is-idle/",
      "json": "https://trustbutveri.fyi/api/v1/claim/C-0003.json"
    },
    {
      "id": "C-0005",
      "type": "claim",
      "slug": "declared-model-is-served",
      "title": "The declared model is the one being served",
      "one_liner": "Outputs delivered to users or auditors come from the specific model, weights and configuration the provider declared, not from a substitute.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/claims/declared-model-is-served/",
      "json": "https://trustbutveri.fyi/api/v1/claim/C-0005.json"
    },
    {
      "id": "C-0004",
      "type": "claim",
      "slug": "inference-not-training",
      "title": "This compute runs inference, not training",
      "one_liner": "A declared cluster is used only to run existing models to produce outputs, and not to train new or more capable models.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/claims/inference-not-training/",
      "json": "https://trustbutveri.fyi/api/v1/claim/C-0004.json"
    },
    {
      "id": "C-0010",
      "type": "claim",
      "slug": "no-undeclared-compute",
      "title": "There is no undeclared relevant compute",
      "one_liner": "A party controls no AI-relevant computing hardware or facilities, above an agreed threshold, beyond those it has declared.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/claims/no-undeclared-compute/",
      "json": "https://trustbutveri.fyi/api/v1/claim/C-0010.json"
    },
    {
      "id": "C-0006",
      "type": "claim",
      "slug": "safeguards-were-applied",
      "title": "Declared safeguards were applied during inference",
      "one_liner": "Specified safety measures, such as input filters, output checks or monitoring, actually ran on the requests a deployed model served.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/claims/safeguards-were-applied/",
      "json": "https://trustbutveri.fyi/api/v1/claim/C-0006.json"
    },
    {
      "id": "C-0007",
      "type": "claim",
      "slug": "training-within-declared-limits",
      "title": "A training run stayed within declared limits",
      "one_liner": "A declared training run used no more compute than permitted and had its declared properties, such as data, hyperparameters and resulting weights.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/claims/training-within-declared-limits/",
      "json": "https://trustbutveri.fyi/api/v1/claim/C-0007.json"
    },
    {
      "id": "C-0009",
      "type": "claim",
      "slug": "weights-have-not-left",
      "title": "Model weights or data have not left the facility",
      "one_liner": "No copy of specified model weights or sensitive data has left a designated facility through networks, physical media or other channels.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/claims/weights-have-not-left/",
      "json": "https://trustbutveri.fyi/api/v1/claim/C-0009.json"
    },
    {
      "id": "K-0017",
      "type": "concept",
      "slug": "compartmentalization",
      "title": "Compartmentalization",
      "one_liner": "Dividing a facility's accelerators into isolated groups with restricted communication between them, so that no group can join a larger prohibited workload.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/compartmentalization/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0017.json"
    },
    {
      "id": "K-0024",
      "type": "concept",
      "slug": "cryptographic-commitment",
      "title": "Cryptographic commitment",
      "one_liner": "A way to fix a value now without revealing it, so that it can later be opened and shown not to have changed.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/cryptographic-commitment/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0024.json"
    },
    {
      "id": "K-0019",
      "type": "concept",
      "slug": "evidence-binding",
      "title": "Evidence binding",
      "one_liner": "Tying verification evidence to the specific device, workload, data and time it describes, so it cannot be substituted, replayed or misattributed.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/evidence-binding/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0019.json"
    },
    {
      "id": "K-0023",
      "type": "concept",
      "slug": "flop-accounting",
      "title": "FLOP accounting",
      "one_liner": "Estimating or verifying how many floating-point operations a training run or other workload used, often to compare against a threshold in a rule.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/flop-accounting/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0023.json"
    },
    {
      "id": "K-0007",
      "type": "concept",
      "slug": "hardware-enabled-mechanism",
      "title": "Hardware-enabled mechanism (HEM)",
      "one_liner": "A governance or verification function built into AI chips or closely attached hardware, such as usage reporting, location attestation or enforced limits.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/hardware-enabled-mechanism/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0007.json"
    },
    {
      "id": "K-0025",
      "type": "concept",
      "slug": "inference-and-training-workloads",
      "title": "Inference and training workloads",
      "one_liner": "Training updates a model's weights from data; inference runs fixed weights to produce outputs, and their different resource use underpins several verification methods.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/inference-and-training-workloads/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0025.json"
    },
    {
      "id": "K-0021",
      "type": "concept",
      "slug": "interconnect-bandwidth",
      "title": "Interconnect bandwidth",
      "one_liner": "The data rate of links between accelerators or groups of them; large-scale training needs far more of it than inference, so limiting it constrains workloads.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/interconnect-bandwidth/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0021.json"
    },
    {
      "id": "K-0014",
      "type": "concept",
      "slug": "network-tap",
      "title": "Network tap",
      "one_liner": "A device that copies the traffic on a network link for inspection without disrupting it; proposed for checking what AI data centres compute.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/network-tap/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0014.json"
    },
    {
      "id": "K-0008",
      "type": "concept",
      "slug": "numerical-nondeterminism",
      "title": "Numerical nondeterminism",
      "one_liner": "Differences between runs, or between machines, in the results of the same AI computation, because floating-point rounding depends on the order of operations.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/numerical-nondeterminism/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0008.json"
    },
    {
      "id": "K-0003",
      "type": "concept",
      "slug": "positive-and-negative-claims",
      "title": "Positive and negative claims",
      "one_liner": "A positive claim asserts that something is present or happened; a negative claim, that an activity or resource is absent; a mixed claim, both.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/positive-and-negative-claims/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0003.json"
    },
    {
      "id": "K-0012",
      "type": "concept",
      "slug": "proof-of-space",
      "title": "Proof of space",
      "one_liner": "A protocol in which a prover shows that it is dedicating a given amount of storage or memory, rather than computation, to a task.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/proof-of-space/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0012.json"
    },
    {
      "id": "K-0011",
      "type": "concept",
      "slug": "proof-of-useful-work",
      "title": "Proof of (useful) work",
      "one_liner": "Evidence that a party spent a given amount of computation; in useful variants, the same work also solves a problem someone wants solved.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/proof-of-useful-work/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0011.json"
    },
    {
      "id": "K-0001",
      "type": "concept",
      "slug": "prover",
      "title": "Prover",
      "one_liner": "The party that makes a claim about its own AI hardware, models or workloads and supplies the evidence a verifier checks.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/prover/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0001.json"
    },
    {
      "id": "K-0009",
      "type": "concept",
      "slug": "recomputation",
      "title": "Recomputation",
      "one_liner": "Checking a claimed computation by re-running all of it, or a random sample, on hardware the verifier trusts and comparing the results.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/recomputation/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0009.json"
    },
    {
      "id": "K-0004",
      "type": "concept",
      "slug": "remote-attestation",
      "title": "Remote attestation",
      "one_liner": "A process in which a device sends signed evidence about its state, such as software measurements, so a remote party can judge its trustworthiness.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/remote-attestation/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0004.json"
    },
    {
      "id": "K-0005",
      "type": "concept",
      "slug": "root-of-trust",
      "title": "Root of trust",
      "one_liner": "A component that anchors security functions such as measurement, storage and reporting, and must be trusted because its misbehaviour cannot be detected.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/root-of-trust/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0005.json"
    },
    {
      "id": "K-0020",
      "type": "concept",
      "slug": "sampling-and-assurance",
      "title": "Sampling and assurance",
      "one_liner": "Checking a random sample of accelerators, workload segments or outputs rather than all of them, so that violations are caught with a calculable probability.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/sampling-and-assurance/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0020.json"
    },
    {
      "id": "K-0013",
      "type": "concept",
      "slug": "side-channel",
      "title": "Side channel",
      "one_liner": "An unintended path by which information leaks from a system through effects of its operation, such as timing, power draw or electromagnetic emissions.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/side-channel/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0013.json"
    },
    {
      "id": "K-0015",
      "type": "concept",
      "slug": "tamper-evidence",
      "title": "Tamper evidence and tamper resistance",
      "one_liner": "Tamper evidence makes interference detectable; tamper resistance makes it difficult or costly; tamper response reacts to it, often by erasing secrets.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/tamper-evidence/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0015.json"
    },
    {
      "id": "K-0018",
      "type": "concept",
      "slug": "threat-model",
      "title": "Threat model",
      "one_liner": "An explicit statement of who might attack a system, what they can do, and which threats the design covers or leaves out of scope.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/threat-model/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0018.json"
    },
    {
      "id": "K-0006",
      "type": "concept",
      "slug": "trusted-execution-environment",
      "title": "Trusted execution environment (TEE)",
      "one_liner": "An execution area protected by the processor that keeps the data inside confidential and unaltered, and the code unaltered, even from the host's own software.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/trusted-execution-environment/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0006.json"
    },
    {
      "id": "K-0016",
      "type": "concept",
      "slug": "undeclared-compute",
      "title": "Undeclared compute",
      "one_liner": "AI-relevant hardware, or uses of declared hardware, that a prover has not reported, and that verification must therefore detect or rule out.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/undeclared-compute/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0016.json"
    },
    {
      "id": "K-0002",
      "type": "concept",
      "slug": "verifier",
      "title": "Verifier",
      "one_liner": "The party that examines evidence supplied by, or collected about, a prover and decides whether the prover's claim holds.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/verifier/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0002.json"
    },
    {
      "id": "K-0022",
      "type": "concept",
      "slug": "weight-exfiltration",
      "title": "Weight exfiltration",
      "one_liner": "Unauthorized copying of a model's trained parameters out of the environment meant to contain them, by theft or through covert channels.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/weight-exfiltration/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0022.json"
    },
    {
      "id": "K-0010",
      "type": "concept",
      "slug": "zero-knowledge-proof",
      "title": "Zero-knowledge proof",
      "one_liner": "A cryptographic protocol by which a prover convinces a verifier that a statement is true while revealing nothing beyond the fact that it is true.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/concepts/zero-knowledge-proof/",
      "json": "https://trustbutveri.fyi/api/v1/concept/K-0010.json"
    },
    {
      "id": "O-0201",
      "type": "organization",
      "slug": "ai-futures-project",
      "title": "AI Futures Project",
      "one_liner": "A small research group forecasting the future of AI; publisher of the AI 2040 scenario, including an inference-only verification plan.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/ai-futures-project/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0201.json"
    },
    {
      "id": "O-0101",
      "type": "organization",
      "slug": "amodo-design",
      "title": "Amodo Design",
      "one_liner": "A hardware engineering company that builds and publishes prototypes for verifying AI agreements, including inference recomputation, network taps and memory wiping.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/amodo-design/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0101.json"
    },
    {
      "id": "O-0120",
      "type": "organization",
      "slug": "attestable",
      "title": "Attestable",
      "one_liner": "A company developing zero-knowledge proofs for AI systems; it reports a prover for large language model inference and proposes proof-based compute accounting.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/attestable/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0120.json"
    },
    {
      "id": "O-0207",
      "type": "organization",
      "slug": "center-for-a-new-american-security",
      "title": "Center for a New American Security",
      "one_liner": "An independent, bipartisan, nonprofit national-security policy organization; publisher of a report proposing on-chip mechanisms, including location verification, for governing AI chips.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/center-for-a-new-american-security/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0207.json"
    },
    {
      "id": "O-0208",
      "type": "organization",
      "slug": "epoch-ai",
      "title": "Epoch AI",
      "one_liner": "A research institute studying trends in AI; it runs the Frontier Data Centers Hub, which estimates AI data-centre capacity from satellite imagery and permits.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/epoch-ai/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0208.json"
    },
    {
      "id": "O-0206",
      "type": "organization",
      "slug": "future-of-life-institute",
      "title": "Future of Life Institute",
      "one_liner": "A nonprofit working to steer transformative technology away from extreme risks; it built a secure-hardware AI governance demonstration and partners on a network-logger prototype.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/future-of-life-institute/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0206.json"
    },
    {
      "id": "O-0204",
      "type": "organization",
      "slug": "institute-for-ai-policy-and-strategy",
      "title": "Institute for AI Policy and Strategy",
      "one_liner": "A nonpartisan think tank on AI policy; its work on AI chips includes a design and prototype for delay-based location verification.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/institute-for-ai-policy-and-strategy/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0204.json"
    },
    {
      "id": "O-0210",
      "type": "organization",
      "slug": "intelligence-security-laboratories",
      "title": "Intelligence Security Laboratories",
      "one_liner": "A nonprofit lab doing implementation-driven research on high-security AI systems, including secure data centres, to demonstrate the security critical AI deployments will need.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-24",
      "url": "https://trustbutveri.fyi/organizations/intelligence-security-laboratories/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0210.json"
    },
    {
      "id": "O-0180",
      "type": "organization",
      "slug": "lucid-computing",
      "title": "Lucid Computing",
      "one_liner": "A company offering attested, confidential-computing AI clusters; it hosts the Sovereignty Certificates location specification and runs a verification research programme.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/lucid-computing/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0180.json"
    },
    {
      "id": "O-0202",
      "type": "organization",
      "slug": "machine-intelligence-research-institute",
      "title": "Machine Intelligence Research Institute",
      "one_liner": "A nonprofit focused on preventing human extinction from artificial superintelligence; its Technical Governance Team publishes designs and analyses for verifying AI agreements.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/machine-intelligence-research-institute/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0202.json"
    },
    {
      "id": "O-0140",
      "type": "organization",
      "slug": "nvidia",
      "title": "NVIDIA",
      "one_liner": "An accelerated-computing company whose Hopper and Blackwell data-centre GPUs offer a confidential-computing mode with hardware attestation.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/nvidia/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0140.json"
    },
    {
      "id": "O-0209",
      "type": "organization",
      "slug": "oxford-hardware-ai-governance-lab",
      "title": "Hardware AI Governance Lab",
      "one_liner": "A University of Oxford lab, hosted by the Oxford Martin AI Governance Initiative, that studies how computer hardware can support AI governance and international coordination.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-24",
      "url": "https://trustbutveri.fyi/organizations/oxford-hardware-ai-governance-lab/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0209.json"
    },
    {
      "id": "O-0205",
      "type": "organization",
      "slug": "oxford-martin-ai-governance-initiative",
      "title": "Oxford Martin AI Governance Initiative",
      "one_liner": "A research programme at the University of Oxford that studies AI governance from technical and policy angles and hosts the Hardware AI Governance Lab.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-24",
      "url": "https://trustbutveri.fyi/organizations/oxford-martin-ai-governance-initiative/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0205.json"
    },
    {
      "id": "O-0121",
      "type": "organization",
      "slug": "pearl-research",
      "title": "Pearl Research Labs",
      "one_liner": "A company building AI inference infrastructure and Pearl, a blockchain whose proof-of-useful-work mining is a by-product of GPU matrix multiplication.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/pearl-research/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0121.json"
    },
    {
      "id": "O-0102",
      "type": "organization",
      "slug": "planet-labs",
      "title": "Planet Labs",
      "one_liner": "A company that builds and operates Earth-imaging satellites and sells their imagery; it is one commercial source used to track AI data-centre construction.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/planet-labs/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0102.json"
    },
    {
      "id": "O-0100",
      "type": "organization",
      "slug": "prime-intellect",
      "title": "Prime Intellect",
      "one_liner": "A company offering an integrated compute, training, inference and sandbox stack; developer of TOPLOC, a hashing scheme for verifying LLM inference.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/prime-intellect/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0100.json"
    },
    {
      "id": "O-0200",
      "type": "organization",
      "slug": "rand",
      "title": "RAND",
      "one_liner": "A nonprofit, nonpartisan research organization; its reports cover verification of international AI agreements, hardware-enabled governance mechanisms and secure inference data centres.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/rand/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0200.json"
    },
    {
      "id": "O-0160",
      "type": "organization",
      "slug": "singapore-ai-safety-hub",
      "title": "Singapore AI Safety Hub (SASH)",
      "one_liner": "An independent nonprofit building Singapore and Asia's AI safety field; with international partners, it develops a confidential network logger for inference verification.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/singapore-ai-safety-hub/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0160.json"
    },
    {
      "id": "O-0141",
      "type": "organization",
      "slug": "tinfoil",
      "title": "Tinfoil",
      "one_liner": "A company offering AI inference inside secure hardware enclaves, with remote attestation that clients can check; developer of the Modelwrap model-identity tool.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "provider-reported",
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/tinfoil/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0141.json"
    },
    {
      "id": "O-0142",
      "type": "organization",
      "slug": "university-of-cambridge",
      "title": "University of Cambridge",
      "one_liner": "A UK university; researchers in its Department of Computer Science and Technology developed Attestable Audits, AI benchmarks run and attested inside trusted execution environments.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/university-of-cambridge/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0142.json"
    },
    {
      "id": "O-0122",
      "type": "organization",
      "slug": "university-of-waterloo",
      "title": "University of Waterloo",
      "one_liner": "A university in Waterloo, Ontario, Canada, whose researchers developed zkLLM, a zero-knowledge proof system for large language model inference.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/university-of-waterloo/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0122.json"
    },
    {
      "id": "O-0203",
      "type": "organization",
      "slug": "verifiable-compute-foundation",
      "title": "Verifiable Compute Foundation",
      "one_liner": "An independent nonprofit that, according to Lucid Computing, decides who may use a bare-metal GPU cluster offered free for AI verification research.",
      "category": null,
      "readiness_level": null,
      "flags": [
        "ai-drafted"
      ],
      "status": "draft",
      "last_reviewed": "2026-09-23",
      "url": "https://trustbutveri.fyi/organizations/verifiable-compute-foundation/",
      "json": "https://trustbutveri.fyi/api/v1/organization/O-0203.json"
    },
    {
      "id": "S-1205",
      "type": "source",
      "slug": "aarne-international-security-applications-flexheg",
      "title": "International Security Applications of Flexible Hardware-Enabled Guarantees",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/aarne-international-security-applications-flexheg/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1205.json"
    },
    {
      "id": "S-0056",
      "type": "source",
      "slug": "aarne-secure-governable-chips",
      "title": "Secure, Governable Chips: Using On-Chip Mechanisms to Manage National Security Risks from AI & Advanced Computing",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/aarne-secure-governable-chips/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0056.json"
    },
    {
      "id": "S-1110",
      "type": "source",
      "slug": "abbaszadeh-zero-knowledge-proofs-of-training",
      "title": "Zero-Knowledge Proofs of Training for Deep Neural Networks",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/abbaszadeh-zero-knowledge-proofs-of-training/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1110.json"
    },
    {
      "id": "S-1506",
      "type": "source",
      "slug": "abdelghafar-minimal-information-disclosure",
      "title": "Privacy-Preserving AI Verification via Minimal Information Disclosure",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/abdelghafar-minimal-information-disclosure/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1506.json"
    },
    {
      "id": "S-1511",
      "type": "source",
      "slug": "ai-futures-get-involved-verification",
      "title": "Get Involved in Verification",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ai-futures-get-involved-verification/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1511.json"
    },
    {
      "id": "S-0008",
      "type": "source",
      "slug": "ai-security-forum-rfds",
      "title": "AI Security RFDs",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ai-security-forum-rfds/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0008.json"
    },
    {
      "id": "S-1213",
      "type": "source",
      "slug": "amd-sb-3020-rmp-initialization",
      "title": "SEV-SNP RMP Initialization Vulnerability (AMD-SB-3020)",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/amd-sb-3020-rmp-initialization/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1213.json"
    },
    {
      "id": "S-0066",
      "type": "source",
      "slug": "ammann-faster-ai-diffusion-hardware-verification",
      "title": "Faster AI Diffusion Through Hardware-Based Verification",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ammann-faster-ai-diffusion-hardware-verification/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0066.json"
    },
    {
      "id": "S-0017",
      "type": "source",
      "slug": "amodo-example-schemes-high-stakes-ai-agreements",
      "title": "Example Schemes for Verifying High-Stakes AI Agreements",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/amodo-example-schemes-high-stakes-ai-agreements/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0017.json"
    },
    {
      "id": "S-1303",
      "type": "source",
      "slug": "amodo-improving-disk-wiping-speed",
      "title": "Improving Disk Wiping Speed for Memory Wipes",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/amodo-improving-disk-wiping-speed/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1303.json"
    },
    {
      "id": "S-1007",
      "type": "source",
      "slug": "amodo-inference-recomputation-prototype-code",
      "title": "Amodo-Design/Inference-Recomputation-Prototype (GitHub repository)",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/amodo-inference-recomputation-prototype-code/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1007.json"
    },
    {
      "id": "S-1302",
      "type": "source",
      "slug": "amodo-memory-wipes-performance-analysis",
      "title": "Memory Wipes - Performance Analysis",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/amodo-memory-wipes-performance-analysis/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1302.json"
    },
    {
      "id": "S-1312",
      "type": "source",
      "slug": "amodo-network-tap-inference-verification-prototype",
      "title": "Fitting a Network TAP to our Inference Verification Prototype",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/amodo-network-tap-inference-verification-prototype/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1312.json"
    },
    {
      "id": "S-1310",
      "type": "source",
      "slug": "amodo-network-tapping-technical-assessment",
      "title": "Network Tapping for AI Verification: A Technical Assessment",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/amodo-network-tapping-technical-assessment/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1310.json"
    },
    {
      "id": "S-1309",
      "type": "source",
      "slug": "amodo-network-taps-first-test",
      "title": "Network Taps — A First Test",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/amodo-network-taps-first-test/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1309.json"
    },
    {
      "id": "S-1311",
      "type": "source",
      "slug": "amodo-network-traffic-hashing",
      "title": "Network Traffic Hashing",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/amodo-network-traffic-hashing/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1311.json"
    },
    {
      "id": "S-1008",
      "type": "source",
      "slug": "amodo-plan-a-verification-sitrep",
      "title": "AI 2040 Plan A — Verification SITREP",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/amodo-plan-a-verification-sitrep/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1008.json"
    },
    {
      "id": "S-1321",
      "type": "source",
      "slug": "amodo-pose-memory-wiping-code",
      "title": "Amodo-Design/PoSE-Memory-Wiping (GitHub repository)",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/amodo-pose-memory-wiping-code/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1321.json"
    },
    {
      "id": "S-1006",
      "type": "source",
      "slug": "amodo-scaling-recomputation-inference-verification",
      "title": "Scaling Recomputation Inference Verification",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/amodo-scaling-recomputation-inference-verification/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1006.json"
    },
    {
      "id": "S-1313",
      "type": "source",
      "slug": "amodo-tray-bandwidth-boundary",
      "title": "The Tray as a Bandwidth Boundary",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/amodo-tray-bandwidth-boundary/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1313.json"
    },
    {
      "id": "S-0048",
      "type": "source",
      "slug": "amodo-understanding-data-center-power-delivery",
      "title": "Understanding Data Center Power Delivery",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/amodo-understanding-data-center-power-delivery/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0048.json"
    },
    {
      "id": "S-0007",
      "type": "source",
      "slug": "ansari-hardware-level-governance-ai-compute",
      "title": "Hardware-Level Governance of AI Compute: A Feasibility Taxonomy for Regulatory Compliance and Treaty Verification",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ansari-hardware-level-governance-ai-compute/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0007.json"
    },
    {
      "id": "S-0055",
      "type": "source",
      "slug": "anwar-foundational-challenges-assuring-alignment-safety",
      "title": "Foundational Challenges in Assuring Alignment and Safety of Large Language Models",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/anwar-foundational-challenges-assuring-alignment-safety/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0055.json"
    },
    {
      "id": "S-1201",
      "type": "source",
      "slug": "apsey-confidential-computing-h100-gpus",
      "title": "Confidential Computing on NVIDIA H100 GPUs for Secure and Trustworthy AI",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/apsey-confidential-computing-h100-gpus/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1201.json"
    },
    {
      "id": "S-1103",
      "type": "source",
      "slug": "attestable-model-weight-security",
      "title": "From Verifiability to Model-Weight Security",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/attestable-model-weight-security/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1103.json"
    },
    {
      "id": "S-1102",
      "type": "source",
      "slug": "attestable-pacing-ai-requires-proof",
      "title": "Pacing AI Requires Proof",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/attestable-pacing-ai-requires-proof/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1102.json"
    },
    {
      "id": "S-1101",
      "type": "source",
      "slug": "attestable-proving-llms-at-scale",
      "title": "Proving LLMs at Scale",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/attestable-proving-llms-at-scale/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1101.json"
    },
    {
      "id": "S-1402",
      "type": "source",
      "slug": "avellar-near-term-verification-ai-chip-exports",
      "title": "Near-Term Verification Methods for AI Chip Exports",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/avellar-near-term-verification-ai-chip-exports/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1402.json"
    },
    {
      "id": "S-1010",
      "type": "source",
      "slug": "badash-hawkeye",
      "title": "Hawkeye: Reproducing GPU-Level Non-Determinism",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/badash-hawkeye/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1010.json"
    },
    {
      "id": "S-0002",
      "type": "source",
      "slug": "baker-verifying-international-agreements-ai",
      "title": "Verifying International Agreements on AI: Six Layers of Verification for Rules on Large-Scale AI Development and Deployment",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/baker-verifying-international-agreements-ai/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0002.json"
    },
    {
      "id": "S-1608",
      "type": "source",
      "slug": "ball-proofs-of-useful-work",
      "title": "Proofs of Useful Work",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ball-proofs-of-useful-work/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1608.json"
    },
    {
      "id": "S-0071",
      "type": "source",
      "slug": "basu-usefulness-gap-pearl",
      "title": "The Usefulness Gap in Proof-of-Useful-Work: An Empirical Study of Pearl's cuPOW Protocol",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/basu-usefulness-gap-pearl/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0071.json"
    },
    {
      "id": "S-0054",
      "type": "source",
      "slug": "bengio-international-ai-safety-report-2025",
      "title": "International AI Safety Report",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/bengio-international-ai-safety-report-2025/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0054.json"
    },
    {
      "id": "S-1603",
      "type": "source",
      "slug": "birkholz-rats-architecture-rfc-9334",
      "title": "Remote ATtestation procedureS (RATS) Architecture (RFC 9334)",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/birkholz-rats-architecture-rfc-9334/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1603.json"
    },
    {
      "id": "S-1400",
      "type": "source",
      "slug": "brass-location-verification-ai-chips",
      "title": "Location Verification for AI Chips",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/brass-location-verification-ai-chips/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1400.json"
    },
    {
      "id": "S-1401",
      "type": "source",
      "slug": "brass-location-verification-issue-brief",
      "title": "Location Verification for AI Chips (issue brief)",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/brass-location-verification-issue-brief/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1401.json"
    },
    {
      "id": "S-0003",
      "type": "source",
      "slug": "brundage-frontier-ai-auditing",
      "title": "Frontier AI Auditing: Toward Rigorous Third-Party Assessment of Safety and Security Practices at Leading AI Companies",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/brundage-frontier-ai-auditing/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0003.json"
    },
    {
      "id": "S-0032",
      "type": "source",
      "slug": "bursuc-software-based-memory-erasure",
      "title": "Software-Based Memory Erasure with Relaxed Isolation Requirements",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/bursuc-software-based-memory-erasure/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0032.json"
    },
    {
      "id": "S-0020",
      "type": "source",
      "slug": "cankaya-bit-exact-inference-verification",
      "title": "Bit-Exact AI Inference Verification Without Performance Tradeoffs",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/cankaya-bit-exact-inference-verification/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0020.json"
    },
    {
      "id": "S-1300",
      "type": "source",
      "slug": "cankaya-fingerprinting-ai-cluster-io",
      "title": "Fingerprinting All AI Cluster I/O Without Mutually Trusted Processors",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/cankaya-fingerprinting-ai-cluster-io/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1300.json"
    },
    {
      "id": "S-0031",
      "type": "source",
      "slug": "cankaya-secure-network-taps",
      "title": "The Fundamentals and Feasibility of Secure Network Taps for Verifying AI Datacenter Use",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/cankaya-secure-network-taps/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0031.json"
    },
    {
      "id": "S-0038",
      "type": "source",
      "slug": "cankaya-suppressing-side-channels",
      "title": "Suppressing Side Channels in an Untrusted Data Center via Retrofitted Defenses",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/cankaya-suppressing-side-channels/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0038.json"
    },
    {
      "id": "S-0018",
      "type": "source",
      "slug": "cankaya-system-overview-low-trust-compute-verification",
      "title": "A System Overview for Near-Term, Low-Trust AI Compute Verification",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/cankaya-system-overview-low-trust-compute-verification/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0018.json"
    },
    {
      "id": "S-1408",
      "type": "source",
      "slug": "cankaya-tsmc-golden-record",
      "title": "TSMC most definitely has a golden record of all AI chips it made",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/cankaya-tsmc-golden-record/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1408.json"
    },
    {
      "id": "S-0064",
      "type": "source",
      "slug": "carlsmith-restraining-ai-development-safety",
      "title": "On restraining AI development for the sake of safety",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/carlsmith-restraining-ai-development-safety/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0064.json"
    },
    {
      "id": "S-1308",
      "type": "source",
      "slug": "castelluccia-difficulty-software-based-attestation",
      "title": "On the Difficulty of Software-Based Attestation of Embedded Devices",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/castelluccia-difficulty-software-based-attestation/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1308.json"
    },
    {
      "id": "S-1604",
      "type": "source",
      "slug": "ccc-common-terminology-confidential-computing",
      "title": "Common Terminology for Confidential Computing",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ccc-common-terminology-confidential-computing/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1604.json"
    },
    {
      "id": "S-0065",
      "type": "source",
      "slug": "chan-components-frontier-ai-slowdown",
      "title": "Components of a Frontier AI Slowdown",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/chan-components-frontier-ai-slowdown/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0065.json"
    },
    {
      "id": "S-0012",
      "type": "source",
      "slug": "chantasantitam-palm",
      "title": "PAL*M: Property Attestation for Large Generative Models",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/chantasantitam-palm/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0012.json"
    },
    {
      "id": "S-0039",
      "type": "source",
      "slug": "chen-detecting-anomalies-hardware-telemetry",
      "title": "Detecting Anomalies in Machine Learning Infrastructure via Hardware Telemetry",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/chen-detecting-anomalies-hardware-telemetry/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0039.json"
    },
    {
      "id": "S-0021",
      "type": "source",
      "slug": "chen-zkml",
      "title": "ZKML: An Optimizing System for ML Inference in Zero-Knowledge Proofs",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/chen-zkml/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0021.json"
    },
    {
      "id": "S-0030",
      "type": "source",
      "slug": "choi-tools-verifying-training-data",
      "title": "Tools for Verifying Neural Models' Training Data",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/choi-tools-verifying-training-data/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0030.json"
    },
    {
      "id": "S-1202",
      "type": "source",
      "slug": "chuang-tee-fail",
      "title": "TEE.fail: Breaking Trusted Execution Environments via DDR5 Memory Bus Interposition",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/chuang-tee-fail/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1202.json"
    },
    {
      "id": "S-1510",
      "type": "source",
      "slug": "comer-highly-secure-inference-data-centers",
      "title": "Highly Secure Inference Data Centers: A Vertically Integrated Strategy for Security Engineering",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/comer-highly-secure-inference-data-centers/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1510.json"
    },
    {
      "id": "S-1210",
      "type": "source",
      "slug": "de-meulemeester-battering-ram",
      "title": "Battering RAM: Low-Cost Interposer Attacks on Confidential Computing via Dynamic Memory Aliasing",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/de-meulemeester-battering-ram/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1210.json"
    },
    {
      "id": "S-0067",
      "type": "source",
      "slug": "dean-verification-plan",
      "title": "Verification Plan",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/dean-verification-plan/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0067.json"
    },
    {
      "id": "S-1011",
      "type": "source",
      "slug": "deepseek-v4",
      "title": "DeepSeek-V4: Towards Highly Efficient Million-Token Context Intelligence",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/deepseek-v4/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1011.json"
    },
    {
      "id": "S-0010",
      "type": "source",
      "slug": "dhar-guardain",
      "title": "GuardAIn: Protecting Emerging Generative AI Workloads on Heterogeneous NPU",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/dhar-guardain/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0010.json"
    },
    {
      "id": "S-1505",
      "type": "source",
      "slug": "ding-cove-code",
      "title": "Cove: Compositional Multi-Party Confidential Workflows for Verifiable AI Governance (reference implementation)",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ding-cove-code/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1505.json"
    },
    {
      "id": "S-0011",
      "type": "source",
      "slug": "ding-cove",
      "title": "Cove: Compositional Multi-Party Confidential Workflows for Verifiable AI Governance",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ding-cove/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0011.json"
    },
    {
      "id": "S-0045",
      "type": "source",
      "slug": "ding-moecho",
      "title": "MoEcho: Exploiting Side-Channel Attacks to Compromise User Privacy in Mixture-of-Experts LLMs",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ding-moecho/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0045.json"
    },
    {
      "id": "S-1314",
      "type": "source",
      "slug": "douillard-diloco",
      "title": "DiLoCo: Distributed Low-Communication Training of Language Models",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/douillard-diloco/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1314.json"
    },
    {
      "id": "S-1607",
      "type": "source",
      "slug": "dziembowski-proofs-of-space",
      "title": "Proofs of Space",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/dziembowski-proofs-of-space/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1607.json"
    },
    {
      "id": "S-0069",
      "type": "source",
      "slug": "eo-14148-initial-rescissions",
      "title": "Executive Order 14148: Initial Rescissions of Harmful Executive Orders and Actions",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/eo-14148-initial-rescissions/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0069.json"
    },
    {
      "id": "S-1411",
      "type": "source",
      "slug": "epoch-frontier-data-centers-hub",
      "title": "Introducing the Frontier Data Centers Hub",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/epoch-frontier-data-centers-hub/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1411.json"
    },
    {
      "id": "S-0027",
      "type": "source",
      "slug": "fang-proof-of-learning-broken",
      "title": "Proof-of-Learning is Currently More Broken Than You Think",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/fang-proof-of-learning-broken/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0027.json"
    },
    {
      "id": "S-1203",
      "type": "source",
      "slug": "fli-hardware-backed-compute-governance",
      "title": "Exploration of secure hardware solutions for safe AI deployment",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/fli-hardware-backed-compute-governance/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1203.json"
    },
    {
      "id": "S-0040",
      "type": "source",
      "slug": "gangwal-detecting-covert-cryptomining",
      "title": "Detecting Covert Cryptomining Using HPC",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/gangwal-detecting-covert-cryptomining/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0040.json"
    },
    {
      "id": "S-0046",
      "type": "source",
      "slug": "gao-deeptheft",
      "title": "DeepTheft: Stealing DNN Model Architectures through Power Side Channel",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/gao-deeptheft/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0046.json"
    },
    {
      "id": "S-1412",
      "type": "source",
      "slug": "gargiulo-workload-identification-physical-side-channels",
      "title": "Workload Identification with Physical Side Channels for AI Governance",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/gargiulo-workload-identification-physical-side-channels/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1412.json"
    },
    {
      "id": "S-1014",
      "type": "source",
      "slug": "gond-llm-42",
      "title": "LLM-42: Enabling Determinism in LLM Inference with Verified Speculation",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/gond-llm-42/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1014.json"
    },
    {
      "id": "S-1112",
      "type": "source",
      "slug": "gong-hollow-llm-attack",
      "title": "Hollow-LLM Attack: Computationally Trivial Weights in Zero-Knowledge Verification of LLM Inference",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/gong-hollow-llm-attack/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1112.json"
    },
    {
      "id": "S-1509",
      "type": "source",
      "slug": "greenblatt-upload-limits",
      "title": "Preventing model exfiltration with upload limits",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/greenblatt-upload-limits/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1509.json"
    },
    {
      "id": "S-0042",
      "type": "source",
      "slug": "gregersen-input-dependent-power-usage-gpus",
      "title": "Input-Dependent Power Usage in GPUs",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/gregersen-input-dependent-power-usage-gpus/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0042.json"
    },
    {
      "id": "S-1410",
      "type": "source",
      "slug": "halstead-covert-ai-projects",
      "title": "Covert AI Projects",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/halstead-covert-ai-projects/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1410.json"
    },
    {
      "id": "S-0004",
      "type": "source",
      "slug": "harack-verification-international-ai-governance",
      "title": "Verification for International AI Governance",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/harack-verification-international-ai-governance/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0004.json"
    },
    {
      "id": "S-1009",
      "type": "source",
      "slug": "he-defeating-nondeterminism-llm-inference",
      "title": "Defeating Nondeterminism in LLM Inference",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/he-defeating-nondeterminism-llm-inference/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1009.json"
    },
    {
      "id": "S-0058",
      "type": "source",
      "slug": "heim-governing-through-cloud",
      "title": "Governing Through the Cloud: The Intermediary Role of Compute Providers in AI Regulation",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/heim-governing-through-cloud/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0058.json"
    },
    {
      "id": "S-0043",
      "type": "source",
      "slug": "horvath-barracuda",
      "title": "BarraCUDA: Edge GPUs do Leak DNN Weights",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/horvath-barracuda/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0043.json"
    },
    {
      "id": "S-0044",
      "type": "source",
      "slug": "horvath-kraken",
      "title": "Kraken: Higher-order EM Side-Channel Attacks on DNNs in Near and Far Field",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/horvath-kraken/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0044.json"
    },
    {
      "id": "S-0050",
      "type": "source",
      "slug": "ibm-4765-security-policy",
      "title": "IBM 4765 Cryptographic Coprocessor Security Module: Security Policy",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ibm-4765-security-policy/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0050.json"
    },
    {
      "id": "S-1704",
      "type": "source",
      "slug": "ilhan-verifiable-semiconductor-manufacturing",
      "title": "Verifiable Semiconductor Manufacturing",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ilhan-verifiable-semiconductor-manufacturing/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1704.json"
    },
    {
      "id": "S-1315",
      "type": "source",
      "slug": "immler-secure-physical-enclosures-covers",
      "title": "Secure Physical Enclosures from Covers with Tamper-Resistance",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/immler-secure-physical-enclosures-covers/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1315.json"
    },
    {
      "id": "S-1706",
      "type": "source",
      "slug": "intelligence-security-laboratories-home",
      "title": "Intelligence Security Laboratories: Building secure infrastructure for transformative AI",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/intelligence-security-laboratories-home/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1706.json"
    },
    {
      "id": "S-1707",
      "type": "source",
      "slug": "intelligence-security-laboratories-team",
      "title": "Our Team: Intelligence Security Laboratories",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/intelligence-security-laboratories-team/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1707.json"
    },
    {
      "id": "S-1306",
      "type": "source",
      "slug": "ivanov-sage-gpu-attestation",
      "title": "SAGE: Software-based Attestation for GPU Execution",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ivanov-sage-gpu-attestation/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1306.json"
    },
    {
      "id": "S-1111",
      "type": "source",
      "slug": "jia-proof-of-learning-code",
      "title": "Proof-of-Learning: code for Proof-of-Learning: Definitions and Practice",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/jia-proof-of-learning-code/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1111.json"
    },
    {
      "id": "S-0028",
      "type": "source",
      "slug": "jia-proof-of-learning-definitions-practice",
      "title": "Proof-of-Learning: Definitions and Practice",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/jia-proof-of-learning-definitions-practice/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0028.json"
    },
    {
      "id": "S-1500",
      "type": "source",
      "slug": "jin-proof-of-guardrail",
      "title": "Proof-of-Guardrail in AI Agents and What (Not) to Trust from It",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/jin-proof-of-guardrail/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1500.json"
    },
    {
      "id": "S-1317",
      "type": "source",
      "slug": "johnston-physical-security-tamper-indicating-devices",
      "title": "Physical Security and Tamper-Indicating Devices",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/johnston-physical-security-tamper-indicating-devices/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1317.json"
    },
    {
      "id": "S-1318",
      "type": "source",
      "slug": "johnston-tamper-detection-safeguards-treaty-monitoring",
      "title": "Tamper Detection for Safeguards and Treaty Monitoring: Fantasies, Realities, and Potentials",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/johnston-tamper-detection-safeguards-treaty-monitoring/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1318.json"
    },
    {
      "id": "S-0047",
      "type": "source",
      "slug": "joud-practical-side-channel-extraction",
      "title": "A Practical Introduction to Side-Channel Extraction of Deep Neural Network Parameters",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/joud-practical-side-channel-extraction/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0047.json"
    },
    {
      "id": "S-1005",
      "type": "source",
      "slug": "karvonen-difr-code",
      "title": "adamkarvonen/difr (GitHub repository)",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/karvonen-difr-code/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1005.json"
    },
    {
      "id": "S-0016",
      "type": "source",
      "slug": "karvonen-difr",
      "title": "DiFR: Inference Verification Despite Nondeterminism",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/karvonen-difr/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0016.json"
    },
    {
      "id": "S-1507",
      "type": "source",
      "slug": "kezins-adversarial-entropy-inflation",
      "title": "Adversarial Entropy Inflation Against Gumbel-Based Inference Verification",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/kezins-adversarial-entropy-inflation/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1507.json"
    },
    {
      "id": "S-1609",
      "type": "source",
      "slug": "komargodski-proofs-useful-work-matrix-multiplication",
      "title": "Proofs of Useful Work from Arbitrary Matrix Multiplication",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/komargodski-proofs-useful-work-matrix-multiplication/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1609.json"
    },
    {
      "id": "S-1409",
      "type": "source",
      "slug": "krawec-tracking-hyperscale-satellite-imagery",
      "title": "Tracking Hyperscale AI Data Center Growth with Satellite Imagery",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/krawec-tracking-hyperscale-satellite-imagery/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1409.json"
    },
    {
      "id": "S-0057",
      "type": "source",
      "slug": "kulp-hardware-enabled-governance-mechanisms",
      "title": "Hardware-Enabled Governance Mechanisms: Developing Technical Solutions to Exempt Items Otherwise Classified Under Export Control Classification Numbers 3A090 and 4A090",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/kulp-hardware-enabled-governance-mechanisms/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0057.json"
    },
    {
      "id": "S-0041",
      "type": "source",
      "slug": "latif-empirical-ai-training-power-demand",
      "title": "Single-Node Power Demand During AI Training: Measurements on an 8-GPU NVIDIA H100 System",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/latif-empirical-ai-training-power-demand/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0041.json"
    },
    {
      "id": "S-1502",
      "type": "source",
      "slug": "levin-prompt-detective",
      "title": "Has My System Prompt Been Used? Large Language Model Prompt Membership Inference",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/levin-prompt-detective/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1502.json"
    },
    {
      "id": "S-1406",
      "type": "source",
      "slug": "lucid-computing-homepage",
      "title": "Lucid Computing: Verifiable AI. Proven in hardware.",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/lucid-computing-homepage/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1406.json"
    },
    {
      "id": "S-1407",
      "type": "source",
      "slug": "lucid-developer-platform-docs",
      "title": "Lucid Developer Platform documentation",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/lucid-developer-platform-docs/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1407.json"
    },
    {
      "id": "S-1702",
      "type": "source",
      "slug": "lucid-experimentation-cluster",
      "title": "Experiments: Lucid Labs",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/lucid-experimentation-cluster/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1702.json"
    },
    {
      "id": "S-1701",
      "type": "source",
      "slug": "lucid-labs-overview",
      "title": "Lucid Labs: the verification flywheel",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/lucid-labs-overview/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1701.json"
    },
    {
      "id": "S-1301",
      "type": "source",
      "slug": "lucid-traffic-shaping-workload-classification",
      "title": "Traffic Shaping for Workload Classification",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/lucid-traffic-shaping-workload-classification/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1301.json"
    },
    {
      "id": "S-0036",
      "type": "source",
      "slug": "ma-hardware-mechanisms-dynamically-throttle-ai",
      "title": "Hardware Mechanisms to Dynamically Throttle AI Performance",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ma-hardware-mechanisms-dynamically-throttle-ai/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0036.json"
    },
    {
      "id": "S-1512",
      "type": "source",
      "slug": "milton-verifying-international-ai-deals",
      "title": "Verifying international AI deals: Plan A, the state-of-play, and what you can do to help",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/milton-verifying-international-ai-deals/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1512.json"
    },
    {
      "id": "S-0033",
      "type": "source",
      "slug": "monfared-timing-memory-telemetry-gpus",
      "title": "Timing and Memory Telemetry on GPUs for AI Governance",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/monfared-timing-memory-telemetry-gpus/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0033.json"
    },
    {
      "id": "S-0051",
      "type": "source",
      "slug": "mosavirik-impedanceverif",
      "title": "ImpedanceVerif: On-Chip Impedance Sensing for System-Level Tampering Detection",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/mosavirik-impedanceverif/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0051.json"
    },
    {
      "id": "S-1611",
      "type": "source",
      "slug": "nassernia-cuda-mps-gpu-memory-performance",
      "title": "Boost GPU Memory Performance with No Code Changes Using NVIDIA CUDA MPS",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/nassernia-cuda-mps-gpu-memory-performance/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1611.json"
    },
    {
      "id": "S-1610",
      "type": "source",
      "slug": "nevo-securing-ai-model-weights",
      "title": "Securing AI Model Weights: Preventing Theft and Misuse of Frontier Models",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/nevo-securing-ai-model-weights/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1610.json"
    },
    {
      "id": "S-1600",
      "type": "source",
      "slug": "nist-csrc-glossary",
      "title": "NIST Computer Security Resource Center (CSRC) Glossary",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/nist-csrc-glossary/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1600.json"
    },
    {
      "id": "S-1605",
      "type": "source",
      "slug": "nist-fips-140-2",
      "title": "Security Requirements for Cryptographic Modules (FIPS PUB 140-2)",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/nist-fips-140-2/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1605.json"
    },
    {
      "id": "S-1601",
      "type": "source",
      "slug": "nist-sp-800-193-platform-firmware-resiliency",
      "title": "Platform Firmware Resiliency Guidelines (NIST SP 800-193)",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/nist-sp-800-193-platform-firmware-resiliency/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1601.json"
    },
    {
      "id": "S-1413",
      "type": "source",
      "slug": "nvidia-opt-in-fleet-management-software",
      "title": "Opt-In NVIDIA Software Enables Data Center Fleet Management",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/nvidia-opt-in-fleet-management-software/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1413.json"
    },
    {
      "id": "S-1200",
      "type": "source",
      "slug": "nvidia-secure-ai-blackwell-hopper-whitepaper",
      "title": "NVIDIA Secure AI with Blackwell and Hopper GPUs (White Paper)",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/nvidia-secure-ai-blackwell-hopper-whitepaper/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1200.json"
    },
    {
      "id": "S-0049",
      "type": "source",
      "slug": "obermaier-physical-security-enclosures",
      "title": "The Past, Present, and Future of Physical Security Enclosures: From Battery-Backed Monitoring to PUF-Based Inherent Security and Beyond",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/obermaier-physical-security-enclosures/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0049.json"
    },
    {
      "id": "S-0006",
      "type": "source",
      "slug": "ogara-hardware-enabled-verifying-responsible-ai",
      "title": "Hardware-Enabled Mechanisms for Verifying Responsible AI Development",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ogara-hardware-enabled-verifying-responsible-ai/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0006.json"
    },
    {
      "id": "S-1000",
      "type": "source",
      "slug": "ong-toploc",
      "title": "TOPLOC: A Locality Sensitive Hashing Scheme for Trustless Verifiable Inference",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/ong-toploc/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1000.json"
    },
    {
      "id": "S-1703",
      "type": "source",
      "slug": "oxford-hardware-ai-governance-lab",
      "title": "Hardware AI Governance Lab",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/oxford-hardware-ai-governance-lab/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1703.json"
    },
    {
      "id": "S-1705",
      "type": "source",
      "slug": "oxford-martin-aigi-about",
      "title": "About: Oxford Martin AIGI",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/oxford-martin-aigi-about/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1705.json"
    },
    {
      "id": "S-1105",
      "type": "source",
      "slug": "pearl-floating-point-scheme-specification",
      "title": "Pearl Floating Point Scheme Specification",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/pearl-floating-point-scheme-specification/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1105.json"
    },
    {
      "id": "S-1106",
      "type": "source",
      "slug": "pearl-int-whitepaper",
      "title": "Pearl INT Whitepaper",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/pearl-int-whitepaper/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1106.json"
    },
    {
      "id": "S-1107",
      "type": "source",
      "slug": "pearl-network-monorepo",
      "title": "pearl: Monorepo for the Pearl network",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/pearl-network-monorepo/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1107.json"
    },
    {
      "id": "S-0025",
      "type": "source",
      "slug": "peigne-zero-knowledge-frontier-training",
      "title": "Zero knowledge verification for frontier AI training is possible",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/peigne-zero-knowledge-frontier-training/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0025.json"
    },
    {
      "id": "S-1503",
      "type": "source",
      "slug": "penchas-verifiably-scoped-monitoring",
      "title": "Enabling Verifiably-Scoped Monitoring through Large Language Models and Trusted Compute",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/penchas-verifiably-scoped-monitoring/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1503.json"
    },
    {
      "id": "S-1100",
      "type": "source",
      "slug": "peng-survey-zkp-verifiable-ml",
      "title": "A Survey of Zero-Knowledge Proof Based Verifiable Machine Learning",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/peng-survey-zkp-verifiable-ml/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1100.json"
    },
    {
      "id": "S-1304",
      "type": "source",
      "slug": "perito-proofs-of-secure-erasure",
      "title": "Secure Code Update for Embedded Devices via Proofs of Secure Erasure",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/perito-proofs-of-secure-erasure/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1304.json"
    },
    {
      "id": "S-0019",
      "type": "source",
      "slug": "petrie-bounding-unexplained-information-exfiltration",
      "title": "Verifying AI Compute by Bounding Unexplained Information Exfiltration",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/petrie-bounding-unexplained-information-exfiltration/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0019.json"
    },
    {
      "id": "S-0035",
      "type": "source",
      "slug": "petrie-flexible-hardware-enabled-guarantees",
      "title": "Flexible Hardware-Enabled Guarantees for AI Compute",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/petrie-flexible-hardware-enabled-guarantees/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0035.json"
    },
    {
      "id": "S-0034",
      "type": "source",
      "slug": "petrie-guaranteeable-memory",
      "title": "Guaranteeable Memory: An HBM-Based Chiplet for Verifiable AI Workloads",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/petrie-guaranteeable-memory/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0034.json"
    },
    {
      "id": "S-1204",
      "type": "source",
      "slug": "petrie-technical-options-flexheg",
      "title": "Technical Options for Flexible Hardware-Enabled Guarantees",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/petrie-technical-options-flexheg/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1204.json"
    },
    {
      "id": "S-1700",
      "type": "source",
      "slug": "planet-q2-fy2027-financial-results",
      "title": "Planet Reports Financial Results for Second Quarter of Fiscal Year 2027",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/planet-q2-fy2027-financial-results/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1700.json"
    },
    {
      "id": "S-1003",
      "type": "source",
      "slug": "primeintellect-intellect-2",
      "title": "INTELLECT-2: A Reasoning Model Trained Through Globally Decentralized Reinforcement Learning",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/primeintellect-intellect-2/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1003.json"
    },
    {
      "id": "S-1004",
      "type": "source",
      "slug": "primeintellect-synthetic-2",
      "title": "SYNTHETIC-2",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/primeintellect-synthetic-2/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1004.json"
    },
    {
      "id": "S-1002",
      "type": "source",
      "slug": "primeintellect-toploc-blog",
      "title": "TOPLOC: A Locality Sensitive Hashing Scheme for Trustless Verifiable Inference (blog post)",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/primeintellect-toploc-blog/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1002.json"
    },
    {
      "id": "S-1001",
      "type": "source",
      "slug": "primeintellect-toploc-code",
      "title": "PrimeIntellect-ai/toploc (GitHub repository)",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/primeintellect-toploc-code/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1001.json"
    },
    {
      "id": "S-0037",
      "type": "source",
      "slug": "rahman-detecting-hidden-ml-training",
      "title": "Detecting Hidden ML Training With Zero-Overhead Telemetry",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/rahman-detecting-hidden-ml-training/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0037.json"
    },
    {
      "id": "S-0060",
      "type": "source",
      "slug": "rahman-distributed-training-compute-governance",
      "title": "Does Distributed Training Undermine Compute Governance?",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/rahman-distributed-training-compute-governance/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0060.json"
    },
    {
      "id": "S-0072",
      "type": "source",
      "slug": "rescorla-rfc-3552-security-considerations",
      "title": "Guidelines for Writing RFC Text on Security Considerations (RFC 3552, BCP 72)",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/rescorla-rfc-3552-security-considerations/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0072.json"
    },
    {
      "id": "S-0001",
      "type": "source",
      "slug": "reuel-open-problems-technical-ai-governance",
      "title": "Open Problems in Technical AI Governance",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/reuel-open-problems-technical-ai-governance/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0001.json"
    },
    {
      "id": "S-0026",
      "type": "source",
      "slug": "reuter-proofs-compartmentalization",
      "title": "Verifiable constraints on frontier training via proofs of compartmentalization",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/reuter-proofs-compartmentalization/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0026.json"
    },
    {
      "id": "S-1504",
      "type": "source",
      "slug": "rinberg-auditor-in-a-box",
      "title": "Auditor-in-a-Box: Tools for Third-Party Auditing",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/rinberg-auditor-in-a-box/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1504.json"
    },
    {
      "id": "S-1508",
      "type": "source",
      "slug": "rinberg-haiku-to-opus-compression",
      "title": "Haiku to Opus in Just 10 bits: LLMs Unlock Large Compression Gains",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/rinberg-haiku-to-opus-compression/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1508.json"
    },
    {
      "id": "S-0015",
      "type": "source",
      "slug": "rinberg-verifying-llm-inference-weight-exfiltration",
      "title": "Verifying LLM Inference to Detect Model Weight Exfiltration",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/rinberg-verifying-llm-inference-weight-exfiltration/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0015.json"
    },
    {
      "id": "S-1501",
      "type": "source",
      "slug": "sahara-verifiable-clawguard-code",
      "title": "Verifiable-ClawGuard: proof-of-guardrail reference code",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/sahara-verifiable-clawguard-code/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1501.json"
    },
    {
      "id": "S-1319",
      "type": "source",
      "slug": "sash-inference-verification-repo",
      "title": "inference-verification: Inference Verification Prototype",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/sash-inference-verification-repo/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1319.json"
    },
    {
      "id": "S-1320",
      "type": "source",
      "slug": "sash-internationalising-ai-verification",
      "title": "Internationalising AI Verification",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/sash-internationalising-ai-verification/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1320.json"
    },
    {
      "id": "S-0053",
      "type": "source",
      "slug": "sastry-computing-power-governance-ai",
      "title": "Computing Power and the Governance of Artificial Intelligence",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/sastry-computing-power-governance-ai/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0053.json"
    },
    {
      "id": "S-0063",
      "type": "source",
      "slug": "scher-agreement-prevent-premature-asi",
      "title": "An International Agreement to Prevent the Premature Creation of Artificial Superintelligence",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/scher-agreement-prevent-premature-asi/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0063.json"
    },
    {
      "id": "S-0005",
      "type": "source",
      "slug": "scher-mechanisms-verify-ai-agreements",
      "title": "Mechanisms to Verify International Agreements About AI Development",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/scher-mechanisms-verify-ai-agreements/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0005.json"
    },
    {
      "id": "S-1212",
      "type": "source",
      "slug": "schluter-rmpocalypse",
      "title": "RMPocalypse: How a Catch-22 Breaks AMD SEV-SNP",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/schluter-rmpocalypse/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1212.json"
    },
    {
      "id": "S-0009",
      "type": "source",
      "slug": "schnabl-attestable-audits",
      "title": "Attestable Audits: Verifiable AI Safety Benchmarks Using Trusted Execution Environments",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/schnabl-attestable-audits/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0009.json"
    },
    {
      "id": "S-0059",
      "type": "source",
      "slug": "seferis-detecting-compute-structuring",
      "title": "Detecting Compute Structuring in AI Governance Is Likely Feasible",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/seferis-detecting-compute-structuring/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0059.json"
    },
    {
      "id": "S-1307",
      "type": "source",
      "slug": "seshadri-swatt",
      "title": "SWATT: SoftWare-based ATTestation for Embedded Devices",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/seshadri-swatt/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1307.json"
    },
    {
      "id": "S-1211",
      "type": "source",
      "slug": "seto-wiretap",
      "title": "WireTap: Breaking Server SGX via DRAM Bus Interposition",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/seto-wiretap/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1211.json"
    },
    {
      "id": "S-1012",
      "type": "source",
      "slug": "sglang-deterministic-inference",
      "title": "Towards Deterministic Inference in SGLang and Reproducible RL Training",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/sglang-deterministic-inference/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1012.json"
    },
    {
      "id": "S-0029",
      "type": "source",
      "slug": "shavit-catch-a-chinchilla",
      "title": "What does it take to catch a Chinchilla? Verifying Rules on Large-Scale Neural Network Training via Compute Monitoring",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/shavit-catch-a-chinchilla/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0029.json"
    },
    {
      "id": "S-1316",
      "type": "source",
      "slug": "smartt-tamper-indicating-enclosures-survey",
      "title": "Tamper-Indicating Enclosures, A Current Survey",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/smartt-tamper-indicating-enclosures-survey/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1316.json"
    },
    {
      "id": "S-0024",
      "type": "source",
      "slug": "south-verifiable-evaluations-zksnarks",
      "title": "Verifiable evaluations of machine learning models using zkSNARKs",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/south-verifiable-evaluations-zksnarks/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0024.json"
    },
    {
      "id": "S-1404",
      "type": "source",
      "slug": "sovereignty-certificates-specification",
      "title": "Sovereignty Certificates: draft specification, version 0.1.0",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/sovereignty-certificates-specification/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1404.json"
    },
    {
      "id": "S-1405",
      "type": "source",
      "slug": "sovereignty-certificates-working-group-site",
      "title": "Sovereignty Certificates Working Group",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/sovereignty-certificates-working-group-site/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1405.json"
    },
    {
      "id": "S-0052",
      "type": "source",
      "slug": "staat-anti-tamper-radio",
      "title": "Anti-Tamper Radio: System-Level Tamper Detection for Computing Systems",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/staat-anti-tamper-radio/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0052.json"
    },
    {
      "id": "S-1108",
      "type": "source",
      "slug": "sun-zkllm-code",
      "title": "zkllm-ccs2024: code for zkLLM: Zero Knowledge Proofs for Large Language Models",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/sun-zkllm-code/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1108.json"
    },
    {
      "id": "S-0023",
      "type": "source",
      "slug": "sun-zkllm",
      "title": "zkLLM: Zero Knowledge Proofs for Large Language Models",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/sun-zkllm/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0023.json"
    },
    {
      "id": "S-1602",
      "type": "source",
      "slug": "tcg-glossary",
      "title": "TCG Glossary",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/tcg-glossary/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1602.json"
    },
    {
      "id": "S-1403",
      "type": "source",
      "slug": "tee-gpu-fingerprinting-location-verification",
      "title": "GPU Fingerprinting for Location Verification",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/tee-gpu-fingerprinting-location-verification/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1403.json"
    },
    {
      "id": "S-1207",
      "type": "source",
      "slug": "tinfoil-docs-attestation-architecture",
      "title": "Backend infrastructure",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/tinfoil-docs-attestation-architecture/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1207.json"
    },
    {
      "id": "S-1206",
      "type": "source",
      "slug": "tinfoil-docs-secure-enclave-primer",
      "title": "A primer on secure enclaves",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/tinfoil-docs-secure-enclave-primer/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1206.json"
    },
    {
      "id": "S-1208",
      "type": "source",
      "slug": "tinfoil-docs-verification-in-tinfoil",
      "title": "How verification works in Tinfoil",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/tinfoil-docs-verification-in-tinfoil/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1208.json"
    },
    {
      "id": "S-1209",
      "type": "source",
      "slug": "tinfoil-modelwrap-code",
      "title": "modelwrap: Reproducible dm-verity read-only image of Huggingface models",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/tinfoil-modelwrap-code/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1209.json"
    },
    {
      "id": "S-0013",
      "type": "source",
      "slug": "tinfoil-proving-model-identity",
      "title": "How Tinfoil Proves Exactly What Model Is Running",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/tinfoil-proving-model-identity/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0013.json"
    },
    {
      "id": "S-0061",
      "type": "source",
      "slug": "trager-international-governance-civilian-ai",
      "title": "International Governance of Civilian AI: A Jurisdictional Certification Approach",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/trager-international-governance-civilian-ai/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0061.json"
    },
    {
      "id": "S-0070",
      "type": "source",
      "slug": "trailofbits-ezkl-security-assessment",
      "title": "Zkonduit EZKL Security Assessment",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/trailofbits-ezkl-security-assessment/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0070.json"
    },
    {
      "id": "S-1013",
      "type": "source",
      "slug": "vllm-batch-invariance-docs",
      "title": "Batch Invariance (vLLM documentation)",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/vllm-batch-invariance-docs/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1013.json"
    },
    {
      "id": "S-0022",
      "type": "source",
      "slug": "waiwitlikhit-trustless-audits",
      "title": "Trustless Audits without Revealing Data or Models",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/waiwitlikhit-trustless-audits/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0022.json"
    },
    {
      "id": "S-0068",
      "type": "source",
      "slug": "wang-nanozk",
      "title": "NanoZK: Privacy-Preserving Verifiable Inference for Large Language Models via Layerwise Zero-Knowledge Proofs",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/wang-nanozk/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0068.json"
    },
    {
      "id": "S-0062",
      "type": "source",
      "slug": "wasil-verification-methods-international-ai-agreements",
      "title": "Verification methods for international AI agreements",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/wasil-verification-methods-international-ai-agreements/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0062.json"
    },
    {
      "id": "S-0073",
      "type": "source",
      "slug": "yang-part-time-power-measurements",
      "title": "Part-time Power Measurements: nvidia-smi's Lack of Attention",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/yang-part-time-power-measurements/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0073.json"
    },
    {
      "id": "S-1109",
      "type": "source",
      "slug": "zhang-adversarial-examples-proof-of-learning",
      "title": "\"Adversarial Examples\" for Proof-of-Learning",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/zhang-adversarial-examples-proof-of-learning/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1109.json"
    },
    {
      "id": "S-0014",
      "type": "source",
      "slug": "zhao-tees-privacy-preserving-monitoring",
      "title": "On TEEs for Privacy-Preserving Monitoring in AI Governance",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/zhao-tees-privacy-preserving-monitoring/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-0014.json"
    },
    {
      "id": "S-1606",
      "type": "source",
      "slug": "zkproof-community-reference",
      "title": "ZKProof Community Reference",
      "one_liner": null,
      "category": null,
      "readiness_level": null,
      "flags": [],
      "status": "published",
      "last_reviewed": null,
      "url": "https://trustbutveri.fyi/sources/zkproof-community-reference/",
      "json": "https://trustbutveri.fyi/api/v1/source/S-1606.json"
    }
  ]
}