Orion: Zero knowledge proof with linear prover time
Zero-knowledge proof is a powerful cryptographic primitive that has found various
applications in the real world. However, existing schemes with succinct proof size suffer from …
applications in the real world. However, existing schemes with succinct proof size suffer from …
Zkcnn: Zero knowledge proofs for convolutional neural network predictions and accuracy
Deep learning techniques with neural networks are developing prominently in recent years
and have been deployed in numerous applications. Despite their great success, in many …
and have been deployed in numerous applications. Despite their great success, in many …
Achieving privacy-preserving and verifiable support vector machine training in the cloud
With the proliferation of machine learning, the cloud server has been employed to collect
massive data and train machine learning models. Several privacy-preserving machine …
massive data and train machine learning models. Several privacy-preserving machine …
Enhancing privacy preservation and trustworthiness for decentralized federated learning
L Wang, X Zhao, Z Lu, L Wang, S Zhang - Information Sciences, 2023 - Elsevier
Decentralized federated learning (DFL) is an emerging privacy-preserving machine learning
framework, where multiple data owners cooperate to train a global model without any …
framework, where multiple data owners cooperate to train a global model without any …
What does it take to catch a Chinchilla? Verifying rules on large-scale neural network training via compute monitoring
Y Shavit - arXiv preprint arXiv:2303.11341, 2023 - arxiv.org
As advanced machine learning systems' capabilities begin to play a significant role in
geopolitics and societal order, it may become imperative that (1) governments be able to …
geopolitics and societal order, it may become imperative that (1) governments be able to …
Scaling up trustless DNN inference with zero-knowledge proofs
As ML models have increased in capabilities and accuracy, so has the complexity of their
deployments. Increasingly, ML model consumers are turning to service providers to serve …
deployments. Increasingly, ML model consumers are turning to service providers to serve …
Doubly efficient interactive proofs for general arithmetic circuits with linear prover time
We propose a new doubly efficient interactive proof protocol for general arithmetic circuits.
The protocol generalizes the interactive proof for layered circuits proposed by Goldwasser …
The protocol generalizes the interactive proof for layered circuits proposed by Goldwasser …
Blocksense: Towards trustworthy mobile crowdsensing via proof-of-data blockchain
Mobile crowdsensing (MCS) can promote data acquisition and sharing among mobile
devices. Traditional MCS platforms are based on a triangular structure consisting of three …
devices. Traditional MCS platforms are based on a triangular structure consisting of three …
Zero-knowledge proofs of training for deep neural networks
A zero-knowledge proof of training (zkPoT) enables a party to prove that they have correctly
trained a committed model based on a committed dataset without revealing any additional …
trained a committed model based on a committed dataset without revealing any additional …
Zero-knowledge proof meets machine learning in verifiability: A survey
With the rapid advancement of artificial intelligence technology, the usage of machine
learning models is gradually becoming part of our daily lives. High-quality models rely not …
learning models is gradually becoming part of our daily lives. High-quality models rely not …