mlsanityData to 14 Oct 2026

A Framework for Cryptographic Verifiability of End-to-End AI Pipelines

arXiv 2503.22573 ↗First posted 28 Mar 2025cs.CR cs.AIcited by 2

Not on the map. Why?

Abstract (arXiv)

The increasing integration of Artificial Intelligence across multiple industry sectors necessitates robust mechanisms for ensuring transparency, trust, and auditability of its development and deployment. This topic is particularly important in light of recent calls in various jurisdictions to introduce regulation and legislation on AI safety. In this paper, we propose a framework for complete verifiable AI pipelines, identifying key components and analyzing existing cryptographic approaches that contribute to verifiability across different stages of the AI lifecycle, from data sourcing to training, inference, and unlearning. This framework could be used to combat misinformation by providing cryptographic proofs alongside AI-generated assets to allow downstream verification of their provenance and correctness. Our findings underscore the importance of ongoing research to develop cryptographic tools that are not only efficient for isolated AI processes, but that are efficiently `linkable' across different processes within the AI pipeline, to support the development of end-to-end verifiable AI technologies.

Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). Builds on 20 of its 66 references that are in the map. First posted on arXiv 28 Mar 2025.

Builds on

20 of 66 references.

References · 20

  1. 2020Extracting Training Data from Large Language Modelscited by 2,189
  2. 2023Machine Unlearning: Solutions and Challengescited by 93
  3. 2024LoRA Land: 310 Fine-tuned LLMs that Rival GPT-4, A Technical Reportcited by 47
  4. 2022Scaling up Trustless DNN Inference with Zero-Knowledge Proofscited by 31
  5. 2019VeriML: Enabling Integrity Assurances and Fair Payments for Machine Learning as a Servicecited by 28
  6. 2022Verifiable and Provably Secure Machine Unlearningcited by 25
  7. 2022Deletion Inference, Reconstruction, and Compliance in Machine (Un)Learningcited by 24
  8. 2023zkDL: Efficient Zero-Knowledge Proofs of Deep Learning Trainingcited by 20
  9. 2021Fairness, Integrity, and Privacy in a Scalable Blockchain-based Federated Learning Systemcited by 16
  10. 2024Verifiable evaluations of machine learning models using zkSNARKscited by 16
  11. 2024Trustless Audits without Revealing Data or Modelscited by 15
  12. 2024FairProof : Confidential and Certifiable Fairness for Neural Networkscited by 13
8 more
  1. 2023martFL: Enabling Utility-Driven Data Marketplace with a Robust and Verifiable Federated Learning Architecturecited by 11
  2. 2022ezDPS: An Efficient and Zero-Knowledge Machine Learning Inference Pipelinecited by 10
  3. 2023DECORAIT -- DECentralized Opt-in/out Registry for AI Trainingcited by 7
  4. 2024Secure and Confidential Certificates of Online Fairnesscited by 7
  5. 2021VeriDL: Integrity Verification of Outsourced Deep Learning Services (Extended Version)cited by 4
  6. 2022ZK-IMG: Attested Images via Zero-Knowledge Proofs to Fight Disinformationcited by 3
  7. 2020Distributed Ledger for Provenance Tracking of Artificial Intelligence Assetscited by 2
  8. 2024PDFed: Privacy-Preserving and Decentralized Asynchronous Federated Learning for Diffusion Modelscited by 1

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 2.

2 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2026Cryptographic certificates of validity for trustworthy AI
  2. 2026Blockchain-Enabled Artificial Intelligence and AI Agents for Secure Data Sharing and Cybersecurity Applications
  3. 2025Safe, Untrusted, "Proof-Carrying" AI Agents: toward the agentic lakehouse
  4. 2026Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
  5. 2026Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems
  6. 2026Authenticated Workflows: A Systems Approach to Protecting Agentic AI
  7. 2026Cryptographically verifiable authorization for autonomous AI agents: a falsifiable hypothesis and proof of concept
  8. 2025Verifying International Agreements on AI: Six Layers of Verification for Rules on Large-Scale AI Development and Deployment