This part of the book aims to explain every component of the PLONK protocol, clarify the mathematics involved and untangle the complicated concepts. It is structured for readers who are just meeting PLONK as well as OGs.
Contents
- Introduction and the KZG Universal Trusted Setup
- Plonkish Arithmetization
- The PLONK Prover
- The PLONK Verifier
Completing these chapters should give you a good understanding of the PLONK protocol. The Rust code implementing it is here: arks/snarks/plonk.