These are my notes describing the inner workings of the Plonky2 proof system by Polygon Zero. As there is basically no existing documentation, this is a work of reverse-engineering.
A good place to start is Overview.md.
Then more details can be found at:
- Layout.md - Layout of all the columns
- Gates.md - The different "custom gates" present in the Plonky2 code base
- Selectors.md - Gate selectors and constants
- GateConstraints.md - Gate constraint equations
- Wiring.md - The permutation argument
- Poseidon.md - Poseidon hash function
- FRI.md - FRI commitment scheme
- Challenges.md - Fiat-Shamir challenges
- Protocol.md - Overview of the protocol
- Lookups.md - Lookup gates and the lookup argument
- Recursion.md - Recursive proofs
Unfortunately, github's support of LaTeX inside Markdown is very buggy.
As an experiment I tried to create a PDF version using Pandoc.