Topic

Model & data supply chain

Signatures, build provenance and bills of materials that let a user check who produced a model or dataset, from which inputs, and whether it changed after release.

A user, platform or regulator can check that a model file is unchanged since a known producer signed it. They can also check how it was built and which datasets and dependencies it declares. The evidence comes from software-security practice adapted to machine learning. Signed manifests list the hashes of a model's files (OpenSSF Model Signing). Build provenance describes how an artifact was built (SLSA). AI bills of materials declare a model's datasets and dependencies (CycloneDX, SPDX). Transparency logs record signatures and signed statements (Sigstore, IETF SCITT). A valid signature shows who published an artifact and that it has not been altered since signing. It does not show that the model is safe or that its documentation is accurate.

Coverage

  1. Guide

    How to verify a signed model before you load it

    Before any code loads the weights, use this five-step worksheet to check that a model's files are the ones the expected publisher signed, and to record which files the check covered.

    verifiable.pro Research, automated. Stack layers: Models & data.

  2. Analysis

    Private AI Compute Services: What the Published Designs Let Outsiders Check

    Apple, Meta, Google and Cohere now route AI requests to servers whose chips sign a record of the software they loaded. Their published designs differ in what anyone outside each company can check about that software.

    verifiable.pro Research, automated. Stack layers: Software & runtime, Hardware & compute.About trusted execution environments.

  3. News

    CISA and G7 Partners Publish Minimum Elements for AI Software Bills of Materials

    Joint guidance released on 12 May 2026 lists what an inventory of an AI system's components should record, including hashes of model weights and datasets. The elements are voluntary and add to the general minimum elements for software bills of materials.

    Source date Filed verifiable.pro Wire, automated.Stack layers: Models & data.

  4. News

    ETSI Publishes European Standard Setting Baseline Cybersecurity Requirements for AI Models and Systems

    ETSI announced EN 304 223 on 14 January 2026, turning its 2025 technical specification on AI security into a European Standard. Among other provisions, it requires developers to release cryptographic hashes of the model components they share and to record where public training data came from.

    Source date Filed verifiable.pro Wire, automated.Stack layers: Models & data.

  5. News

    Sigstore Model-Signing Library Reaches Version 1.0

    Google's Open Source Security Team released version 1.0 of the model-signing package on 4 April 2025, after a year of work with the Open Source Security Foundation, NVIDIA and HiddenLayer. A publisher can sign a model's files, and anyone downstream can check that the files match what a known identity signed.

    Source date Filed verifiable.pro Wire, automated.Stack layers: Models & data.

  • SLSA Specification v1.2

    SLSA project · 2025 · Specification Link checked 20 Oct 2026

    Summary

    Framework of incremental supply-chain security levels, organized into Build and Source tracks. It recommends formats for signed statements about artifacts (attestations), including build provenance, which records how an artifact was built.

  • Sigstore

    OpenSSF (Linux Foundation) · 2021 · Project Link checked 20 Oct 2026

    Summary

    Open-source project for signing and verifying software artifacts with short-lived certificates tied to an identity. Signing events are recorded in the Rekor transparency log, a public append-only log that anyone can check.

  • Model Transparency

    Sigstore · 2023 · Tool Link checked 20 Oct 2026

    Summary

    Reference library and command-line tool (model_signing) for signing ML models with Sigstore, public keys or certificates. It verifies a model against a signed manifest of its file hashes. Version 1.0 was released in April 2025.

  • OpenSSF Model Signing (OMS) Specification

    OpenSSF AI/ML Working Group · 2025 · Specification Link checked 20 Oct 2026

    Summary

    Format for a detached model signature, which is stored apart from the files it signs. The format does not depend on any one implementation. One signature covers the model's artifacts, such as weights, configuration files and tokenizers. It can use bare keys, certificate chains or Sigstore.

  • in-toto Attestation Framework

    in-toto project · 2021 · Specification Link checked 20 Oct 2026

    Summary

    Specification for verifiable claims about how software was produced. It defines a standard statement format and vetted predicate types, which name the kind of claim being made. Sigstore's model signatures carry in-toto statements.

  • Reproducible Builds

    Reproducible Builds project · Project Link checked 20 Oct 2026

    Summary

    Project that defines and promotes reproducible builds. In a reproducible build, any party can recreate bit-for-bit identical artifacts from the same source, environment and instructions. This lets anyone check a binary against its source code.

  • RFC 9943: An Architecture for Trustworthy and Transparent Digital Supply Chains

    IETF · 2026 · Standard Link checked 20 Oct 2026

    Summary

    IETF architecture for Supply Chain Integrity, Transparency and Trust (SCITT), published as a Proposed Standard. Issuers register signed statements about artifacts with a transparency service. The service records them in an append-only ledger and returns receipts showing that each statement was recorded.

  • Machine Learning Bill of Materials (AI/ML-BOM)

    OWASP CycloneDX · 2023 · Specification Link checked 20 Oct 2026

    Summary

    CycloneDX capability for describing models, datasets and their dependencies in a machine-readable bill of materials, including dataset provenance and training methods. AI support arrived in CycloneDX 1.5. CycloneDX 1.6 was published as Ecma standard ECMA-424.

  • SPDX Specification 3.0.1: AI Profile

    SPDX (Linux Foundation) · 2024 · Specification Link checked 20 Oct 2026

    Summary

    SPDX profile for documenting AI software packages, with fields such as autonomy type, energy consumption, safety risk assessment, training information and limitations.

  • Model Cards for Model Reporting

    Margaret Mitchell et al. · 2018 · Paper Link checked 20 Oct 2026

    Summary

    Proposes model cards: short documents that accompany trained models and report their intended uses and evaluation results across relevant conditions and groups.

  • The Data Provenance Initiative: A Large Scale Audit of Dataset Licensing & Attribution in AI

    Shayne Longpre et al. · 2023 · Paper Link checked 20 Oct 2026

    Summary

    Audit that traces the sources, creators and licenses of more than 1,800 text datasets. On widely used hosting sites, it finds license information omitted in over 70 percent of cases.

  • Croissant: A Metadata Format for ML-Ready Datasets

    Mubashara Akhtar et al. · 2024 · Paper Link checked 20 Oct 2026

    Summary

    Metadata format that gives ML datasets a shared, machine-readable description across tools, frameworks and repositories. MLCommons hosts its specification and code.

  • Poisoning Web-Scale Training Datasets is Practical

    Nicholas Carlini et al. · 2023 · Paper Link checked 20 Oct 2026

    Summary

    Shows two practical poisoning attacks on web-scale datasets, in which attackers plant bad data in a training set. One of them could have poisoned 0.01 percent of LAION-400M for about 60 US dollars. The paper also recommends low-overhead defenses.

  • Atlas: A Framework for ML Lifecycle Provenance & Transparency

    Marcin Spoczynski, Marcela S. Melara, Sebastian Szyller · 2025 · Paper Link checked 20 Oct 2026

    Summary

    Framework for attestable ML pipelines. It combines trusted hardware, transparency logs and open provenance specifications to record a model's lineage (the data and steps behind it) from training through deployment.

  • Signing ML Artifacts: Building towards tamper-proof ML metadata records

    Coalition for Secure AI (OASIS) · 2025 · Report Link checked 20 Oct 2026

    Summary

    Coalition for Secure AI paper on model-signing roles, components and maturity levels. It includes NVIDIA's account of shipping an OpenSSF Model Signing (OMS) signature with every NVIDIA model published in its NGC catalog since March 2025.

  • Independence Tests for Language Models

    Sally Zhu et al. · 2025 · Paper Link checked 20 Oct 2026

    Summary

    Statistical tests of whether two language models, given their weights, were trained from independent random initializations (starting weights). One test, on matched hidden activations, resists adversarial changes and can locate components derived from another model. For example, it shows how Llama 3.1-8B was pruned to initialize Llama 3.2-3B.

    Verifiable inference & computation

  • Model Provenance Testing for Large Language Models

    Ivica Nikolic, Teodora Baluta, Prateek Saxena · 2025 · Paper Link checked 20 Oct 2026

    Summary

    Black-box framework that decides whether one LLM was derived from another by applying multiple hypothesis testing to their outputs. On benchmarks of more than 600 models, it reports 90–95% precision and 80–90% recall.

  • RFC 6962: Certificate Transparency

    IETF · 2013 · Specification Link checked 20 Oct 2026

    Summary

    Experimental IETF protocol, now obsoleted by RFC 9162 (version 2.0). Public append-only logs built on Merkle trees (hash trees) record TLS certificates, so anyone can audit certificate authorities. Anyone can also check the logs: Merkle audit paths show that a certificate is included, and consistency proofs show that a log has only been appended to.

    Agent identity & accountability

  • Datasheets for Datasets

    Timnit Gebru et al. · 2018 · Paper Link checked 20 Oct 2026

    Summary

    Proposes that every dataset be accompanied by a datasheet documenting its motivation, composition, collection process and recommended uses, by analogy with datasheets for electronic components.

  • Planting Undetectable Backdoors in Machine Learning Models

    Shafi Goldwasser et al. · 2022 · Paper Link checked 20 Oct 2026

    Summary

    Shows that a service provider entrusted with training can plant a backdoor that no observer with limited computing power can detect. In one construction, the backdoor stays undetectable even to someone given the full network and its training data.

  • Sleeper Agents: Training Deceptive LLMs that Persist Through Safety Training

    Evan Hubinger et al. · 2024 · Paper Link checked 20 Oct 2026

    Summary

    Trains proof-of-concept LLMs with backdoors, such as writing exploitable code when the prompt states that the year is 2024. The paper finds that supervised fine-tuning, reinforcement learning and adversarial training can fail to remove them. Adversarial training sometimes teaches the models to hide the behavior.

  • Poisoning Attacks on LLMs Require a Near-constant Number of Poison Samples

    Alexandra Souly et al. · 2025 · Paper Link checked 20 Oct 2026

    Summary

    Pretraining experiments on models from 600M to 13B parameters, in which 250 poisoned documents implanted a backdoor at every scale. This indicates that the number of poison samples an attack needs stays near-constant as models and datasets grow.

  • 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.

    Governance & compute verification

  • AI Cyber Security Code of Practice

    UK Department for Science, Innovation and Technology · 2025 · Standard Link checked 20 Oct 2026

    Summary

    Voluntary UK code that sets 13 baseline security principles for AI systems across five lifecycle phases. The principles include securing the supply chain; documenting data, models and prompts; and re-running evaluations on released models before use.

  • Efficient Data Structures for Tamper-Evident Logging

    Scott A. Crosby, Dan S. Wallach · 2009 · Paper Link checked 20 Oct 2026

    Summary

    Tree-based tamper-evident log, which makes any later deletion or change detectable. An untrusted logger can prove that events are still present and that the log is consistent with earlier versions. The proofs stay small, growing only logarithmically with the log's size.

    Agent identity & accountability