Abstract:Zero-knowledge proofs (ZKPs) represent a revolutionary advance in computational integrity and privacy technology, enabling the secure and private exchange of information without revealing underlying private data. ZKPs have unique advantages in terms of universality and minimal security assumptions when compared to other privacy-sensitive computational methods for distributed systems, such as homomorphic encryption and secure multiparty computation. Their application spans multiple domains, from enhancing privacy in blockchain to facilitating confidential verification of computational tasks. This survey starts with a high-level overview of the technical workings of ZKPs with a focus on an increasingly relevant subset of ZKPs called zk-SNARKS. While there have been prior surveys on the algorithmic and theoretical aspects of ZKPs, our work is distinguished by providing a broader view of practical aspects and describing many recently-developed use cases of ZKPs across various domains. These application domains span blockchain privacy, scaling, storage, and interoperability, as well as non-blockchain applications like voting, authentication, timelocks, and machine learning. Aimed at both practitioners and researchers, the survey also covers foundational components and infrastructure such as zero-knowledge virtual machines (zkVM), domain-specific languages (DSLs), supporting libraries, frameworks, and protocols. We conclude with a discussion on future directions, positioning ZKPs as pivotal in the advancement of cryptographic practices and digital privacy across many applications.

A Zero-Knowledge Proof of Knowledge for Subgroup Distance Problem

Lightweight Zero-Knowledge Proofs for Crypto-Computing Protocols.

On Zero-Knowledge Proofs over the Quantum Internet

Security Analysis and Improvement of A Zero-knowledge Proof Identification Scheme

Improvements on Non-Interactive Zero-Knowledge Proof Systems Related to Quadratic Residuosity Languages.

A New Zero Knowledge Proof Protocal for Knowledge of SDH Pair(A,b)

A New Group Key Exchange Protocol Based on Zero-Knowledge Set

Experimental Implementation of A Quantum Zero-Knowledge Proof for User Authentication

Experimental relativistic zero-knowledge proofs

Amortized Complexity of Zero-Knowledge Proofs Revisited: Achieving Linear Soundness Slack

ZKPs: Does This Make The Cut? Recent Advances and Success of Zero-Knowledge Security Protocols

An interactive zero-knowledge proof based protocol of identification and digital signature

Bandwidth-Efficient Zero-Knowledge Proofs for Threshold ECDSA

The Knowledge Complexity of Interactive Proof Systems

A Survey on the Applications of Zero-Knowledge Proofs

Implementation and Security Test of Zero-Knowledge Protocols on SSI Blockchain

Streaming Zero-Knowledge Proofs

Zero-Knowledge Proof of Distinct Identity: a Standard-compatible Sybil-resistant Pseudonym Extension for C-ITS

On the Relativistic Zero Knowledge Quantum Proofs of Knowledge

Zero-Knowledge MIPs using Homomorphic Commitment Schemes

Simple Zero-Knowledge Proof Of Knowing Root X-1 Or Root X-2 Mod N