{
  "schema_version": "1.0.0",
  "rubric_version": "1.0",
  "license": "CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/)",
  "record": {
    "id": "O-0203",
    "slug": "verifiable-compute-foundation",
    "title": "Verifiable Compute Foundation",
    "aliases": [
      "VCF"
    ],
    "status": "draft",
    "last_reviewed": "2026-09-23",
    "review_interval_days": 90,
    "steward": null,
    "provenance": {
      "drafted_by": "ai",
      "reviewed_by": []
    },
    "risk_flags": [],
    "flags": [],
    "kind": "nonprofit",
    "homepage": "https://verifiablecompute.ai/",
    "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.",
    "sources": [
      {
        "source": "S-1701",
        "supports": "described as an independent nonprofit building a toolbox of AI verification techniques; Lucid builds and operates the cluster on its behalf",
        "locator": "overview page"
      },
      {
        "source": "S-1702",
        "supports": "cluster hardware, research areas, free access, allocation by the foundation",
        "locator": "experimentation page"
      },
      {
        "source": "S-1406",
        "supports": "research cluster managed by the foundation, at no cost to qualifying groups",
        "locator": "homepage, research section"
      }
    ],
    "type": "organization",
    "url": "https://trustbutveri.fyi/organizations/verifiable-compute-foundation/",
    "source_file": "content/organizations/verifiable-compute-foundation.md",
    "flags_all": [
      "ai-drafted"
    ],
    "body_markdown": "[[O-0180|Lucid Computing]] describes the Verifiable Compute Foundation (VCF) as \"an independent nonprofit working to create a toolbox of AI verification techniques\" [[S-1701]]. Lucid's pages describe the foundation's role in a research cluster:\n\n- **Research cluster.** Lucid reports that the foundation provides a bare-metal cluster of data-centre accelerators, including NVIDIA H100, H200 and B300 and AMD Instinct MI355X, with firmware-level access for researchers [[S-1701]] [[S-1702]]. Lucid builds and operates the hardware on the foundation's behalf [[S-1701]] [[S-1702]].\n- **Access decisions.** According to Lucid, the cluster is \"free for qualifying safety & verification research\", the foundation allocates it through a fair-share process, and Lucid \"takes no part in allocation decisions\" [[S-1702]] [[S-1406]].\n- **Research areas.** Lucid's cluster page lists workload forensics from power and emission signatures, probing of TEEs and confidential computing, network observation, firmware and root-of-trust inspection, and in-path hardware such as DPUs and FPGAs [[S-1702]]. These areas bear on [[M-0021|workload classification from side channels]], [[M-0008|TEE remote attestation]] and [[M-0013|network taps]].",
    "body_text": "Lucid Computing describes the Verifiable Compute Foundation (VCF) as \"an independent nonprofit working to create a toolbox of AI verification techniques\" [S-1701]. Lucid's pages describe the foundation's role in a research cluster: - Research cluster. Lucid reports that the foundation provides a bare-metal cluster of data-centre accelerators, including NVIDIA H100, H200 and B300 and AMD Instinct MI355X, with firmware-level access for researchers [S-1701] [S-1702]. Lucid builds and operates the hardware on the foundation's behalf [S-1701] [S-1702]. - Access decisions. According to Lucid, the cluster is \"free for qualifying safety & verification research\", the foundation allocates it through a fair-share process, and Lucid \"takes no part in allocation decisions\" [S-1702] [S-1406]. - Research areas. Lucid's cluster page lists workload forensics from power and emission signatures, probing of TEEs and confidential computing, network observation, firmware and root-of-trust inspection, and in-path hardware such as DPUs and FPGAs [S-1702]. These areas bear on workload classification from side channels, TEE remote attestation and network taps.",
    "referenced_by": [
      {
        "id": "O-0180",
        "title": "Lucid Computing",
        "url": "https://trustbutveri.fyi/organizations/lucid-computing/"
      }
    ]
  }
}