Exploring zero-knowledge proofs (ZKP) starting with zero knowledge — a journey from the ground up.
I'll put the knowledge in ZKPFromScratch vault/ and the experimental codes in src/.
To import all notes, users only need to open the Obsidian software, click "Open folder as vault", and select ZKPFromScratch vault/.
Below are the most useful reference materials for me:
- A beginner's intro to coding zero-knowledge proofs is very engineer-friendly and allows for a quick comprehensive understanding of ZKP domain. The examples in the text are concise and powerful, and it compares methods of writing ZKP in different programming languages.
- Learn 0xPARC is a more complete tutorial. I am currently studying on Circom part.
- PLONK by Hand shows how to execute a PLONK ZKP system completely by hand.
- Translating the foundational Number Theory, essential for understanding ZKP, into Chinese. Typo errors in the original text will be corrected. Sections where the explanation jumps or lacks coherence will be annotated with additional explanations.