🔐 Practical Guide to ZKP: Learn Real Usecase of ZKP with Plonky2

It's for those who have heard of ZKP but never known the real usecase. Before We Start Zero-Knowledge Proof (ZKP) is a technology that proves the truth of a statement without revealing the underlying information. A common example is proving you know a password without showing it. This article will use the Rust's fast recursive SNARK framework Plonky2 to build 3 ZKP circuits step by step. By the end of this article, you will understand the following: How ZKP Circuits Work — Constraints, Witness, Public Inputs Hash Chain Proof — Proving the order of data processing State Transition Proof — Proving the update of Merkle tree 🧩 Core Model: Circuit, Prover, Verifier Let's understand the core 3 models of ZKP: Entity What Example Circuit 📐 Define mathematical constraints Template of Exam Questions — Define how the answer looks like Prover 🧑‍💻 Generate proof with secret inputs Student who solves the exam Verifier ✅ Verify validity of proof with public inputs Grader who checks the answer without