O-0203

Verifiable Compute Foundation

An independent nonprofit providing free bare-metal GPU access and physical instrumentation for AI verification research.

Source reviewed 2026-10-08Provider-reported evidence

01 / The mechanism and its boundary

What is being described

The Verifiable Compute Foundation (VCF) is an independent nonprofit working on techniques for verifying AI development and use while protecting models, data and trade secrets S-0091. It reports providing a free AI-verification research cluster in the Bay Area, operated on its behalf by Lucid Computing S-0091:

  • VCF reports two H100 nodes operational through a beta launch S-0091. It lists NVIDIA H200, NVIDIA B300 Blackwell Ultra and AMD Instinct MI355X hardware as scheduled additions S-0091.
  • VCF lists bare-metal and confidential-computing access, with physical instrumentation including optical fibre taps, side-channel probes, software-defined radios and network analysers S-0091. It invites applications from academic labs, nonprofits, startups, industry and government teams working on AI verification S-0091.
  • 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.
  • Lucid's cluster page lists the research areas as 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.

Organization website ↗

Sources and provenance

  1. S-0091 / Tier B

    Verifiable Compute Foundation ↗

    · 2026 · Verifiable Compute Foundation

    Supports: independent nonprofit; free Bay Area cluster operated by Lucid; two operational H100 nodes in beta and scheduled additions; research access and instrumentation

    Locator: For AI verification researchers

    Version and catalogue details
  2. S-1701 / Tier B

    Lucid Labs: the verification flywheel ↗

    · 2026 · Lucid Computing

    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

    Version and catalogue details
  3. S-1702 / Tier B

    Experiments: Lucid Labs ↗

    · 2026 · Lucid Computing

    Supports: research areas, free access, fair-share allocation by the foundation

    Locator: experimentation page

    Version and catalogue details
  4. S-1406 / Tier B

    Lucid Computing: Verifiable AI. Proven in hardware. ↗

    · 2026 · Lucid Computing

    Supports: research cluster managed by the foundation, at no cost to qualifying groups

    Locator: homepage, research section

    Version and catalogue details
Source review date
2026-10-08
Drafted by (source map)
ai
Review handles (source map)
codex-review