Organizations
Organizations that develop a listed implementation, publish key work on a mechanism, or run infrastructure for the field. Listing is not endorsement.
Companies (11)
Amodo Design
A hardware engineering company that builds and publishes prototypes for verifying AI agreements, including inference recomputation, network taps and memory wiping.
Attestable
A company developing zero-knowledge proofs for AI systems; it reports a prover for large language model inference and proposes proof-based compute accounting.
Gensyn
A company building AI systems that forecast events; developer of the Verde verification protocol and the REE runtime for reproducible model inference.
Lucid Computing
A company offering attested, confidential-computing AI clusters; it hosts the Sovereignty Certificates location specification and runs a verification research programme.
NVIDIA
An accelerated-computing company whose Hopper and Blackwell data-centre GPUs offer a confidential-computing mode with hardware attestation.
Pearl Research Labs
A company building AI inference infrastructure and Pearl, a blockchain whose proof-of-useful-work mining is a by-product of GPU matrix multiplication.
Planet Labs
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.
Prime Intellect
An AI compute, training and inference company; developer of TOPLOC, a hashing scheme for verifying LLM inference.
Thinking Machines Lab
An AI research and product company; developer of batch-invariant kernels that make language-model outputs independent of batch size.
Tinfoil
A company offering AI inference inside secure hardware enclaves, with remote attestation that clients can check; developer of the Modelwrap model-identity tool.
Research organizations (8)
AI Futures Project
A small research group forecasting the future of AI; publisher of the AI 2040 scenario, including an inference-only verification plan.
Center for a New American Security
A nonprofit national-security policy organization; publisher of a report proposing on-chip mechanisms, including location verification, for governing AI chips.
Centre for the Governance of AI
An AI governance think tank whose research includes compute governance.
Epoch AI
A research institute studying the trajectory of AI; it runs the Frontier Data Centers Hub, which estimates AI data-centre capacity from satellite imagery and permits.
Institute for AI Policy and Strategy
A nonpartisan think tank on AI policy; its work on AI chips includes a design and prototype for delay-based location verification.
Intelligence Security Laboratories
A nonprofit lab that researches and builds high-security AI systems, including secure data centres.
Machine Intelligence Research Institute
A nonprofit focused on preventing human extinction from artificial superintelligence; its Technical Governance Team publishes designs and analyses for verifying AI agreements.
RAND
A nonprofit, nonpartisan research organization; its reports cover verification of international AI agreements, hardware-enabled governance mechanisms and secure inference data centres.
Nonprofits (4)
Future of Life Institute
A nonprofit working on extreme risks from transformative technology; it built secure-hardware proofs of concept for AI governance and partners on a network-logger prototype.
OpenMined
A nonprofit developing PySyft, software for joint analysis of private data, including confidential AI evaluations.
Singapore AI Safety Hub (SASH)
A Singapore-based AI safety research and field-building organization; with international partners, it develops a confidential network logger for inference verification.
Verifiable Compute Foundation
Lucid Computing describes VCF as a nonprofit that will allocate free research access to a bare-metal AI-verification cluster.
Universities and labs (4)
Hardware AI Governance Lab
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.
Oxford Martin AI Governance Initiative
A research programme at the University of Oxford that studies AI governance from technical and policy angles and hosts the Hardware AI Governance Lab.
University of Cambridge
A UK university; researchers in its Department of Computer Science and Technology developed Attestable Audits, AI benchmarks run and attested inside trusted execution environments.
University of Waterloo
A university in Waterloo, Ontario, Canada, whose researchers developed zkLLM, a zero-knowledge proof system for large language model inference.