Orion: Zero knowledge proof with linear prover time

T Xie, Y Zhang, D Song - Annual International Cryptology Conference, 2022 - Springer
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 …

Zkcnn: Zero knowledge proofs for convolutional neural network predictions and accuracy

T Liu, X Xie, Y Zhang - Proceedings of the 2021 ACM SIGSAC …, 2021 - dl.acm.org
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 …

Fairness, integrity, and privacy in a scalable blockchain-based federated learning system

T Rückel, J Sedlmeir, P Hofmann - Computer Networks, 2022 - Elsevier
Federated machine learning (FL) allows to collectively train models on sensitive data as only
the clients' models and not their training data need to be shared. However, despite the …

Kryvos: Publicly tally-hiding verifiable e-voting

N Huber, R Küsters, T Krips, J Liedtke, J Müller… - Proceedings of the …, 2022 - dl.acm.org
Elections are an important corner stone of democratic processes. In addition to publishing
the final result (eg, the overall winner), elections typically publish the full tally consisting of all …

Doubly efficient interactive proofs for general arithmetic circuits with linear prover time

J Zhang, T Liu, W Wang, Y Zhang, D Song… - Proceedings of the …, 2021 - dl.acm.org
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 …

Verifiable and provably secure machine unlearning

T Eisenhofer, D Riepel, V Chandrasekaran… - arXiv preprint arXiv …, 2022 - arxiv.org
Machine unlearning aims to remove points from the training dataset of a machine learning
model after training; for example when a user requests their data to be deleted. While many …

ZENO: A Type-based Optimization Framework for Zero Knowledge Neural Network Inference

B Feng, Z Wang, Y Wang, S Yang, Y Ding - Proceedings of the 29th ACM …, 2024 - dl.acm.org
Zero knowledge Neural Networks draw increasing attention for guaranteeing computation
integrity and privacy of neural networks (NNs) based on zero-knowledge Succinct Non …

Zkdl: Efficient zero-knowledge proofs of deep learning training

H Sun, T Bai, J Li, H Zhang - IEEE Transactions on Information …, 2024 - ieeexplore.ieee.org
The recent advancements in deep learning have brought about significant changes in
various aspects of people's lives. Meanwhile, these rapid developments have raised …

Zero knowledge proofs towards verifiable decentralized ai pipelines

N Singh, P Dayama, V Pandit - International Conference on Financial …, 2022 - Springer
We are witnessing the emergence of decentralized AI pipelines wherein different
organisations are involved in the different steps of the pipeline. In this paper, we introduce a …

zk-oracle: Trusted off-chain compute and storage for decentralized applications

B Gu, F Nawab - Distributed and Parallel Databases, 2024 - Springer
Abstract Blockchain and Decentralized Applications (DApps) are increasingly important for
creating trust and transparency in data storage and computation. However, on-chain …