Organizations
Organizations
Organizations that develop a listed implementation, publish key work on a mechanism, or run infrastructure for the field. Listing is not endorsement.
Companies (8)
Amodo Design
A hardware engineering company that builds and publishes prototypes for verifying AI agreements, including inference recomputation, network taps and memory wiping.
7 mechanisms · 14 publications
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.
1 implementation · 2 mechanisms · 3 publications
Lucid Computing
A company offering attested, confidential-computing AI clusters; it hosts the Sovereignty Certificates location specification and runs a verification research programme.
1 implementation · 2 mechanisms · 6 publications
NVIDIA
An accelerated-computing company whose Hopper and Blackwell data-centre GPUs offer a confidential-computing mode with hardware attestation.
2 mechanisms · 4 publications
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.
1 implementation · 1 mechanism · 3 publications
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.
1 mechanism · 1 publication
Prime Intellect
A company offering an integrated compute, training, inference and sandbox stack; developer of TOPLOC, a hashing scheme for verifying LLM inference.
1 implementation · 1 mechanism · 5 publications
Tinfoil
A company offering AI inference inside secure hardware enclaves, with remote attestation that clients can check; developer of the Modelwrap model-identity tool.
1 implementation · 2 mechanisms · 5 publications
Research organizations (5)
AI Futures Project
A small research group forecasting the future of AI; publisher of the AI 2040 scenario, including an inference-only verification plan.
1 implementation · 7 mechanisms · 3 publications
Center for a New American Security
An independent, bipartisan, nonprofit national-security policy organization; publisher of a report proposing on-chip mechanisms, including location verification, for governing AI chips.
3 mechanisms · 1 publication
Epoch AI
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.
1 mechanism · 1 publication
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.
2 mechanisms · 3 publications
RAND
A nonprofit, nonpartisan research organization; its reports cover verification of international AI agreements, hardware-enabled governance mechanisms and secure inference data centres.
1 implementation · 3 mechanisms · 4 publications
Nonprofits (5)
Future of Life Institute
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.
1 mechanism · 1 publication
Intelligence Security Laboratories
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.
2 publications
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.
1 implementation · 11 mechanisms · 5 publications
Singapore AI Safety Hub (SASH)
An independent nonprofit building Singapore and Asia's AI safety field; with international partners, it develops a confidential network logger for inference verification.
1 implementation · 1 mechanism · 2 publications
Verifiable Compute Foundation
An independent nonprofit that, according to Lucid Computing, decides who may use a bare-metal GPU cluster offered free for AI verification research.
Nonprofit
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.
1 mechanism · 3 publications
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.
6 publications
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.
1 implementation · 4 mechanisms · 1 publication
University of Waterloo
A university in Waterloo, Ontario, Canada, whose researchers developed zkLLM, a zero-knowledge proof system for large language model inference.
1 implementation · 1 mechanism · 2 publications