Welcome to Hands-On ZK Proofs, a practical guide to designing and implementing real-world zero-knowledge proof systems, with a particular focus on ZK-SNARKs.

Rather than diving deeply into the mathematical foundations, this website adopts a hands-on, systems-oriented approach to show how zero-knowledge techniques can be applied to concrete software and blockchain use cases.

This tutorial is intended for:

• computer science students seeking applied exposure to ZK systems,
• software engineers curious about zero-knowledge proofs,
• and blockchain and Web3 developers

It is accompanied by a companion library, zk-toolbox, which provides a high-level developer interface for generating and verifying the proofs presented here.

What You Will Learn

You will first find an introduction to Zero-Knowledge Proofs, and more specifically to ZK-SNARKs.

Then, we progressively dive into the design of several practical proof constructions implemented in zk-toolbox.

For each proof construction, we explain:

• how the proof works conceptually,
• how it is used from a developer’s perspective,
• and how it is implemented internally, with a strong focus on the CIRCOM circuits.

Table of Contents

• Introduction to Zero-Knowledge Proofs

• Getting Started with zk-SNARKs

• Proof of Everything

  • Proof of Commitment

  • Proof of Membership

  • Proof of Exclusion

  • Proof of Encryption

  • Proof of Signature

  • Proof of Location

• The zk-toolbox library

• About the Author

• AI Disclosure