AI Futures Project ↗
A small research group forecasting the future of AI; publisher of the AI 2040 scenario, including an inference-only verification plan.
Organization website ↗Who is doing the work
The institutions behind the instruments.
Developers, research groups, and infrastructure providers connected to the atlas. Inclusion describes published work; it implies no affiliation with or endorsement by the Consortium.
Amodo Design ↗
A hardware engineering company that builds and publishes prototypes for verifying AI agreements, including inference recomputation, network taps and memory wiping.
Organization website ↗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.
Organization website ↗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.
Organization website ↗Centre for the Governance of AI ↗
An AI governance think tank whose research includes compute governance.
Organization website ↗Epoch AI ↗
A research institute studying the trajectory of AI; its AI data centers hub estimates AI data-centre capacity from satellite imagery and permits.
Organization website ↗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.
Organization website ↗Gensyn ↗
A company building AI systems that forecast events; developer of the Verde verification protocol and the REE runtime for reproducible model inference.
Organization website ↗Hardware AI Governance Lab ↗
An Oxford lab studying hardware for AI governance; its papers propose AI-cluster traffic fingerprinting and analyse verification of semiconductor manufacturing.
Organization website ↗Institute for AI Policy and Strategy ↗
A nonpartisan think tank on AI policy; its work on AI chips includes a design for delay-based location verification and a review of export-verification methods.
Organization website ↗Intelligence Security Laboratories ↗
A nonprofit lab that researches and builds high-security AI systems, including secure data centres.
Organization website ↗Lucid Computing ↗
A company offering attested, confidential-computing AI clusters; it hosts the Sovereignty Certificates location specification and runs a verification research programme.
Organization website ↗Machine Intelligence Research Institute ↗
A nonprofit working to help prevent human extinction from artificial superintelligence; its Technical Governance Team publishes designs and analyses for verifying AI agreements.
Organization website ↗NVIDIA ↗
An accelerated-computing company whose Hopper and Blackwell data-centre GPUs offer a confidential-computing mode with hardware attestation.
Organization website ↗OpenMined ↗
A nonprofit developing PySyft, software for joint analysis of private data, including confidential AI evaluations.
Organization website ↗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.
Organization website ↗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.
Organization website ↗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.
Organization website ↗Prime Intellect ↗
An AI compute, training and inference company; developer of TOPLOC, a hashing scheme for verifying LLM inference.
Organization website ↗RAND ↗
A nonprofit, nonpartisan research organization; its reports cover verification of international AI agreements, hardware-enabled governance mechanisms and secure inference data centres.
Organization website ↗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.
Organization website ↗Thinking Machines Lab ↗
An AI research and product company; developer of batch-invariant kernels that make language-model outputs independent of batch size.
Organization website ↗Tinfoil ↗
A company offering AI inference inside secure hardware enclaves, with remote attestation that clients can check; developer of the Modelwrap model-identity tool.
Organization website ↗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.
Organization website ↗University of Waterloo ↗
A university in Waterloo, Ontario, Canada, whose researchers developed zkLLM, a zero-knowledge proof system for large language model inference.
Organization website ↗Verifiable Compute Foundation ↗
An independent nonprofit providing free bare-metal GPU access and physical instrumentation for AI verification research.
Organization website ↗Zkonduit ↗
The company that makes EZKL, a library for proving in zero knowledge that a neural network produced a given output.
Organization website ↗