// the find
WTFAcademy/WTF-zk
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
A structured, from-scratch ZK curriculum that starts at high school math (integers, primes, modular arithmetic) and works up through group theory, elliptic curves, bilinear pairings, complexity theory, and finally R1CS/QAP. Primarily Chinese with a parallel English translation. Aimed at blockchain developers who want to understand the math behind SNARKs rather than just use libraries.
The progression is genuinely well-sequenced — RSA as a milestone after number theory, DH after group theory, and IBE after pairings are good motivating waypoints that keep abstract algebra grounded. The mix of Jupyter notebooks with Python implementations and prose explanations means you can run the math, not just read it. Coverage of bilinear pairings (Weil, Tate, Miller's algorithm) is unusually thorough for a free resource — most tutorials skip or badly summarize this. The English translation tracks the Chinese closely enough to be a real parallel resource, not an afterthought.
It stops at QAP (chapter 51) and never reaches an actual SNARK construction — Groth16, PLONK, and STARKs are absent, so you finish the curriculum without building or verifying a single ZK proof end-to-end. Later chapters (47–51) have no runnable code, just markdown — the hands-on density drops exactly where the material gets hardest. The SigmaProtocol entry in the Draft folder suggests it's been planned for a while and hasn't shipped. Python toy implementations are fine for learning but can build false confidence — none of the notebooks address side-channel concerns or constant-time arithmetic, which matters the moment anyone touches this for real cryptography.