Further Reading
Academic Papers
Foundational Papers
- Goldwasser, Micali, Rackoff (1985) - The Knowledge Complexity of Interactive Proof Systems
- Fiat, Shamir (1986) - How to Prove Yourself: Practical Solutions to Identification and Signature Problems
- Schnorr (1991) - Efficient Signature Generation by Smart Cards
Modern Developments
- Groth (2016) - On the Size of Pairing-based Non-interactive Arguments
- Ben-Sasson et al. (2018) - Scalable, Transparent, and Post-Quantum Secure Computational Integrity
- Gabizon, Williamson, Ciobotaru (2019) - PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge
Books
- "Real-World Cryptography" by David Wong - Practical cryptography including ZK
- "Programming Bitcoin" by Jimmy Song - Includes ZK proof implementations
- "Zero-Knowledge Proofs: A Practical Guide" (forthcoming)
Online Resources
Tutorials
- ZK Whiteboard Sessions - Video lecture series
- Zero Knowledge Podcast - Industry news and interviews
- Vitalik's ZK Blog Posts - Technical explanations
Documentation
- zkproof.org - Community standards and resources
- Learn0Knowledge - Educational content
- Electric Coin Co. Blog - Zcash development
Development Tools
Languages and Frameworks
| Tool | Language | Use Case |
|---|---|---|
| Circom | DSL | SNARK circuits |
| Cairo | Rust-like | STARK programs |
| Noir | Rust-like | Universal ZK |
| Halo2 | Rust | SNARK backend |
| gnark | Go | SNARK library |
Testing and Debugging
- SnarkJS - JavaScript library for SNARKs
- ZoKrates - High-level ZK language
- Bellman - ZK proof library
Communities
Conferences
- ZK Summit - Annual zero-knowledge conference
- Real World Crypto - Applied cryptography
- CRYPTO / EUROCRYPT - Academic cryptography
- DevCon - Ethereum development
Getting Involved
For Developers
- Start with tutorials using SnarkJS or Circom
- Build simple circuits (age verification, password check)
- Contribute to open-source ZK projects
- Participate in hackathons
For Researchers
- Follow latest papers on IACR ePrint
- Join working groups at zkproof.org
- Attend academic conferences
- Collaborate with industry
For Enthusiasts
- Follow ZK podcasts and blogs
- Join community discussions
- Experiment with ZK applications
- Spread awareness about privacy technology
Glossary
| Term | Definition |
|---|---|
| Arithmetic Circuit | Computational model using addition/multiplication gates |
| Commitment | Cryptographic primitive to commit to a value |
| Elliptic Curve | Mathematical structure used in cryptography |
| Field | Algebraic structure with addition, multiplication |
| Hash Function | One-way function mapping arbitrary input to fixed output |
| Merkle Tree | Tree structure for efficient membership proofs |
| Polynomial Commitment | Commit to a polynomial, prove evaluations |
| Range Proof | Prove a value lies within a range |
| Witness | Secret input that satisfies a circuit |
Back to: Introduction