Trustless Audits without Revealing Data or Models

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Waiwitlikhit, Suppakit, Stoica, Ion, Sun, Yi, Hashimoto, Tatsunori, Kang, Daniel
Natura: Preprint
Pubblicazione: 2024
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866911829530247168
author Waiwitlikhit, Suppakit
Stoica, Ion
Sun, Yi
Hashimoto, Tatsunori
Kang, Daniel
author_facet Waiwitlikhit, Suppakit
Stoica, Ion
Sun, Yi
Hashimoto, Tatsunori
Kang, Daniel
contents There is an increasing conflict between business incentives to hide models and data as trade secrets, and the societal need for algorithmic transparency. For example, a rightsholder wishing to know whether their copyrighted works have been used during training must convince the model provider to allow a third party to audit the model and data. Finding a mutually agreeable third party is difficult, and the associated costs often make this approach impractical. In this work, we show that it is possible to simultaneously allow model providers to keep their model weights (but not architecture) and data secret while allowing other parties to trustlessly audit model and data properties. We do this by designing a protocol called ZkAudit in which model providers publish cryptographic commitments of datasets and model weights, alongside a zero-knowledge proof (ZKP) certifying that published commitments are derived from training the model. Model providers can then respond to audit requests by privately computing any function F of the dataset (or model) and releasing the output of F alongside another ZKP certifying the correct execution of F. To enable ZkAudit, we develop new methods of computing ZKPs for SGD on modern neural nets for simple recommender systems and image classification models capable of high accuracies on ImageNet. Empirically, we show it is possible to provide trustless audits of DNNs, including copyright, censorship, and counterfactual audits with little to no loss in accuracy.
format Preprint
id arxiv_https___arxiv_org_abs_2404_04500
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Trustless Audits without Revealing Data or Models
Waiwitlikhit, Suppakit
Stoica, Ion
Sun, Yi
Hashimoto, Tatsunori
Kang, Daniel
Cryptography and Security
Artificial Intelligence
Computers and Society
Machine Learning
There is an increasing conflict between business incentives to hide models and data as trade secrets, and the societal need for algorithmic transparency. For example, a rightsholder wishing to know whether their copyrighted works have been used during training must convince the model provider to allow a third party to audit the model and data. Finding a mutually agreeable third party is difficult, and the associated costs often make this approach impractical. In this work, we show that it is possible to simultaneously allow model providers to keep their model weights (but not architecture) and data secret while allowing other parties to trustlessly audit model and data properties. We do this by designing a protocol called ZkAudit in which model providers publish cryptographic commitments of datasets and model weights, alongside a zero-knowledge proof (ZKP) certifying that published commitments are derived from training the model. Model providers can then respond to audit requests by privately computing any function F of the dataset (or model) and releasing the output of F alongside another ZKP certifying the correct execution of F. To enable ZkAudit, we develop new methods of computing ZKPs for SGD on modern neural nets for simple recommender systems and image classification models capable of high accuracies on ImageNet. Empirically, we show it is possible to provide trustless audits of DNNs, including copyright, censorship, and counterfactual audits with little to no loss in accuracy.
title Trustless Audits without Revealing Data or Models
topic Cryptography and Security
Artificial Intelligence
Computers and Society
Machine Learning
url https://arxiv.org/abs/2404.04500