Topic

Governance & compute verification

Checking whether commitments, rules and agreements about AI are kept, including claims about chips and training runs.

Governments and parties to possible international agreements want to verify claims about large-scale AI development without seeing sensitive models or data. Such claims concern, for example, where advanced chips are or how much compute a training run used. Proposed technical evidence includes hardware-enabled mechanisms that report or enforce properties on the chip, delay-based location checks and auditable records of training runs. Until those mechanisms mature, personnel-based measures such as inspections and whistleblower programs can fill gaps. Compute is a candidate basis for verification because it is detectable, quantifiable and excludable, meaning that access to it can be restricted. But many of these mechanisms have not been built or stress-tested. They could also create risks of abuse, privacy loss and concentration of power. This topic also tracks the laws, codes and standards that determine which of these claims developers must document and how they can be checked.

Coverage

  1. News

    European Commission Cites EN 18286 as a Harmonized Standard Under the AI Act

    A Commission implementing decision, published in the Official Journal on 14 October 2026, lists EN 18286:2026, a quality management system standard for providers of AI systems. CEN-CENELEC, which drafted it, calls it the first harmonized standard supporting the AI Act and says it turns the Act's quality management requirements into auditable ones.

    Source date Filed verifiable.pro Wire, automated.Stack layers: Policy.

  2. News

    CSET Says Ping-Based Checks Backed by Inspections Are the Most Feasible Way to Track Exported AI Chips

    A Georgetown CSET report published on 29 September 2026 finds that ping-based checks, backed by physical inspections, are the most feasible and cost-effective way to verify where export-controlled AI chips are. The authors say such a system could only detect diversion after the fact, and they decline to say whether it should be required.

    Source date Filed verifiable.pro Wire, automated.Stack layers: Policy, Hardware & compute.About trusted execution environments.

  3. News

    EU Publishes Digital Omnibus on AI, Delaying High-Risk Rules and Setting a Marking Grace Period

    Regulation (EU) 2026/1744, published in the Official Journal on 24 July 2026, sets 2 December 2027 and 2 August 2028 as the application dates for the AI Act's high-risk rules. Providers of generative AI systems placed on the market before 2 August 2026 have until 2 December 2026 to mark their output.

    Source date Filed verifiable.pro Wire, automated.Stack layers: Policy, Outputs & content.

  4. News

    EU AI Office Seeks Expert Input on Requirements for External Evaluators of General-Purpose AI Models

    The European Commission's AI Office called on 12 June 2026 for experts to join a workshop on the independence and qualification requirements for outside evaluators of general-purpose AI models with systemic risk. Under the EU's voluntary Code of Practice for general-purpose AI, the providers whose models are assessed engage these evaluators themselves.

    Source date Filed verifiable.pro Wire, automated.Stack layers: Policy, Evaluations & audits.

  5. News

    House Committee Advances Chip Security Act With Location Verification as One of Several Options

    The House Foreign Affairs Committee voted 42-0 on 26 March 2026 to report a revised Chip Security Act to the full House. Under it, the Commerce Department would require exported data-center AI chips to be secured by mechanisms that can show whether they were diverted, with ping-based location checks as one listed option.

    Source date Filed verifiable.pro Wire, automated.Stack layers: Policy, Hardware & compute.

  6. News

    South Korea's AI Basic Act Takes Effect With Labeling Duties for Generative AI Output

    South Korea's framework law on artificial intelligence took effect on 22 January 2026 and requires providers to label generative AI output, in machine-readable form if they choose. The science ministry says it will hold off on investigations and fines for at least a year.

    Source date Filed verifiable.pro Wire, automated.Stack layers: Policy, Outputs & content.

  7. News

    BIS Moves H200-Class Chip Exports to China to Case-by-Case Review With US Lab Testing

    A US export rule that took effect on 15 January 2026 allows case-by-case review of license applications to export chips such as the NVIDIA H200 to China. An independent US lab must confirm each shipment's performance specifications, while the rule's other conditions rest on the exporter's certifications.

    Source date Filed verifiable.pro Wire, automated.Stack layers: Policy, Hardware & compute.

  • Explanatory Notice and Template for the Public Summary of Training Content for general-purpose AI models

    European Commission · 2025 · Standard Link checked 20 Oct 2026

    Summary

    Mandatory template under Article 53(1)(d) of the EU AI Act for the public summary of training content. Providers of general-purpose AI models must publish this summary. It covers data sources such as large public datasets, the most-scraped web domains and user data.

    Model & data supply chain

  • Framework Act on the Development of Artificial Intelligence and the Creation of a Foundation for Trust

    Republic of Korea · 2025 · Standard Link checked 20 Oct 2026

    Summary

    South Korean law in force since 22 January 2026. The link is to the Korea Legislation Research Institute's unofficial English translation. The law requires generative AI outputs to be labeled. AI-generated sounds, images or videos that are hard to tell apart from real ones must be clearly disclosed. The law also sets risk-management duties for AI systems trained above a compute threshold.

    Content provenance & watermarking

  • Computing Power and the Governance of Artificial Intelligence

    Girish Sastry et al. · 2024 · Paper Link checked 20 Oct 2026

    Summary

    Argues that AI compute is detectable, excludable (access to it can be withheld) and quantifiable, which makes it a lever for regulatory visibility, resource allocation and enforcement. It also warns of privacy, economic and centralization risks.

  • What does it take to catch a Chinchilla? Verifying Rules on Large-Scale Neural Network Training via Compute Monitoring

    Yonadav Shavit · 2023 · Paper Link checked 20 Oct 2026

    Summary

    Proposes on-chip weight snapshots, training-run records and chip supply-chain monitoring so that governments can verify that no actor ran a prohibited large training run.

  • Verifying International Agreements on AI: Six Layers of Verification for Rules on Large-Scale AI Development and Deployment

    Mauricio Baker et al. · 2025 · Paper Link checked 20 Oct 2026

    Summary

    Report finding that states could eventually verify compliance with rules on large-scale AI development through six largely independent approaches, from chip security features to whistleblower programs.

  • Mechanisms to Verify International Agreements About AI Development

    Aaron Scher, Lisa Thiergart · 2025 · Paper Link checked 20 Oct 2026

    Summary

    Overview of verification approaches for three example policy goals. It argues that more access, such as physical inspections of data centers, can often substitute for technical mechanisms that are still immature.

  • Nuclear Arms Control Verification and Lessons for AI Treaties

    Mauricio Baker · 2023 · Paper Link checked 20 Oct 2026

    Summary

    Case study of verification in three types of nuclear arms control agreements. It draws lessons for agreements on AI development that relies on thousands of specialized chips.

  • Hardware-Enabled Mechanisms for Verifying Responsible AI Development

    Aidan O'Gara et al. · 2025 · Paper Link checked 20 Oct 2026

    Summary

    Workshop-based overview of hardware-enabled mechanisms (HEMs) for reporting training compute, cluster configuration or location in a verifiable way. HEMs are features built into AI chips or servers. The overview also covers open questions about implementing them.

  • Hardware-Enabled Governance Mechanisms: Developing Technical Solutions to Exempt Items Otherwise Classified Under Export Control Classification Numbers 3A090 and 4A090

    Gabriel Kulp et al. (RAND) · 2024 · Report Link checked 20 Oct 2026

    Summary

    RAND working paper introducing hardware-enabled governance mechanisms for AI chips, the export-control objectives they could support, and the attacks they would need to withstand.

  • Secure, Governable Chips: Using On-Chip Mechanisms to Manage National Security Risks from AI & Advanced Computing

    Onni Aarne, Tim Fist, Caleb Withers (CNAS) · 2024 · Report Link checked 20 Oct 2026

    Summary

    CNAS report proposing on-chip governance mechanisms for data-center AI chips, such as privacy-preserving verification and operating licenses that a chip needs to keep running. It names export control enforcement as a near-term application.

  • Location Verification for AI Chips

    Asher Brass (IAPS) · 2025 · Report Link checked 20 Oct 2026

    Summary

    Issue brief proposing delay-based location verification for AI chips. A chip's response times to trusted landmark servers set an upper limit on its distance from them. The brief estimates the cost of a firmware update and a landmark network.

  • Flexible Hardware-Enabled Guarantees for AI Compute

    James Petrie et al. · 2025 · Paper Link checked 20 Oct 2026

    Summary

    First paper in a three-part series proposing flexible hardware-enabled guarantees (flexHEG). The proposal places an auditable guarantee processor in a tamper-protective enclosure to monitor the use of AI accelerators.

  • Tools for Verifying Neural Models' Training Data

    Dami Choi, Yonadav Shavit, David Duvenaud · 2023 · Paper Link checked 20 Oct 2026

    Summary

    Introduces proof-of-training-data protocols, which let a model trainer show which data produced a set of weights. Examples include pre-committed random seeds and checks based on models' tendency to temporarily overfit their training data. In the authors' experiments, these protocols caught all known proof-of-learning attacks.

  • Opt-In NVIDIA Software Enables Data Center Fleet Management

    NVIDIA · 2025 · Report Link checked 20 Oct 2026

    Summary

    NVIDIA's announcement of an opt-in, customer-installed service that streams GPU telemetry (operating data) to a fleet dashboard. NVIDIA states that its GPUs have no hardware tracking technology, kill switches or backdoors.

  • Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims

    Miles Brundage et al. · 2020 · Report Link checked 20 Oct 2026

    Summary

    Multi-author report on how AI developers could make verifiable claims about the safety, security, fairness and privacy of their systems. It analyzes ten institutional, software and hardware mechanisms, such as third-party auditing, red teaming, audit trails and secure hardware for machine learning. It recommends steps to implement or improve them.

    Verifiable evaluation & audits

  • H.R. 3447: Chip Security Act

    U.S. House of Representatives · 2025 · Standard Link checked 20 Oct 2026

    Summary

    Bill introduced in the U.S. House on 15 May 2025. It would require export-controlled advanced chips to carry location verification mechanisms before export. It would also require license holders to promptly report credible information on diversion or tampering.

  • America’s AI Action Plan

    The White House · 2025 · Report Link checked 20 Oct 2026

    Summary

    White House policy plan. Its recommended actions include exploring location verification features on advanced AI chips to enforce export controls. They also include having NIST's Center for AI Standards and Innovation (CAISI) evaluate frontier AI systems for national security risks and assess risks from adversaries' AI systems.

    Verifiable evaluation & audits

  • Tracking AI Chips: Assessing Location Verification as an Export Control Enforcement Tool

    Jacob Feldgoise, Kyle Miller, Hanna Dohmen (CSET) · 2026 · Report Link checked 20 Oct 2026

    Summary

    CSET report that assesses methods for verifying the location of AI chips to enforce export controls. It judges the methods on verifiability, accuracy, security and repeatability. It finds that the most feasible approach is ping-based verification (timing a chip's network replies) supplemented by physical inspections. The report also sets out that approach's limitations.

  • Verification for International AI Governance

    Ben Harack et al. (Oxford Martin AIGI) · 2025 · Report Link checked 20 Oct 2026

    Summary

    Report finding that many international AI agreements could be verified without speculative technology. It finds that rules on data-center AI development appear verifiable within a few years, given dedicated verification hardware and serious effort. It also finds that detailed rules on mobile AI-enabled devices in sensitive domains, such as weapons, face severe political barriers.

  • How to Catch a GPU: A Taxonomy of Verification and Enforcement Mechanisms for International AI Agreements

    Raymond Koopmanschap, Otto Barten · 2026 · Paper Link checked 20 Oct 2026

    Summary

    Taxonomy for assessing whether proposed international AI agreements can be enforced. It splits compliance into three problems: preventing uncontrolled resource acquisition, detecting all capacity outside the control regime, and preventing escape from the regime. It also defines an enforcement breaking point, the compute threshold at which a policy loses its effectiveness.