- knowledge complexity of Interactive proof systems
- Bringing zk to practice
- LEO: A Programming Language for Formally Verified, Zero-Knowledge Applications
- zk blog
- zkp chainlink
- zk proofs explained
- Intro to zero knowledge
- An Incomplete guide to rollups by Vitalik Buterin
- Proofs Arguments & zk - zkp from pg.170