AI Verification LandscapeSearch

Organization · Company

Lucid Computing

A company offering attested, confidential-computing AI clusters; it hosts the Sovereignty Certificates location specification and runs a verification research programme.

lucidcomputing.ai

Provider-reported

Lucid Computing describes its offering as "Verifiable AI. Proven in hardware.": privacy-preserving, verifiable compute clusters built on trusted execution environments 1. Its verification work includes:

  • Location certificates. Lucid hosts, in its GitHub organization, the draft Sovereignty Certificates specification, which packages ping-based chip location verification as short-lived certificates 2; its homepage links to the effort 1. See Lucid sovereignty (location) certificates.
  • Developer platform. Its documentation lists a "Data Sovereignty & Localization" auditor, described as "Ensuring data remains within approved geographic jurisdictions" 3.
  • Traffic shaping. A Lucid design brief proposes capping the external traffic of each pod of accelerators, on the grounds that inference sends little external traffic while training moves large volumes between machines 4. The brief says the design is not yet implemented or red-teamed 4. See Bandwidth limits and compartmentalization.
  • Research cluster. Lucid reports that it builds and operates a bare-metal GPU research cluster on behalf of the Verifiable Compute Foundation, which decides who gets access 5 6.
  • Red-teaming and standards. Lucid reports running red-teaming programmes with national security agencies and government research institutes, in which the teams attacking its architecture are not the teams that built it 5. It lists standards in development for compute identity, attested audits and hardware-rooted compute accounting 5.

Implementations

Mechanisms

Mechanisms this organization has designed, built, evaluated or supplied.

  • R1Bandwidth limits and compartmentalization
    Capping or removing the network links between groups of accelerators, so that serving models still works but large training runs become impractically slow.
  • R1Chip location verification
    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.

Publications

Sources this organization authored or published.

Mentioned in

Sources

  1. BLucid Computing: Verifiable AI. Proven in hardware.. Lucid Computing. Source recordSupports: self-description: verifiable, confidential-computing clusters; links to Sovereignty Certificates · homepage
  2. BSovereignty Certificates Working Group (2025). Sovereignty Certificates: draft specification, version 0.1.0. GitHub (Lucid-Computing/sovereignty-certificate-specification). Source recordSupports: Sovereignty Certificates draft specification hosted in Lucid's GitHub organization; short-lived location certificates · README
  3. BLucid Developer Platform documentation. Lucid Computing. Source recordSupports: developer platform: data-sovereignty auditor
  4. CLucid Computing (2026). Traffic Shaping for Workload Classification. Lucid Computing (Substack). Source recordSupports: traffic-shaping design brief; not yet implemented or red-teamed
  5. BLucid Labs: the verification flywheel. Lucid Computing. Source recordSupports: research cluster with the Verifiable Compute Foundation; red-teaming programmes; standards in development · overview page
  6. BExperiments: Lucid Labs. Lucid Computing. Source recordSupports: cluster operated on the Verifiable Compute Foundation's behalf · experimentation page