+TITLE: SNARKs by hand
| file | Description |
|---|---|
| Arithmetic prerequisites | Preliminary definitions |
| Algebra prerequisites | Finite fields, prime fields, field extensions |
| Elliptic curves | Everything EC up to EC pairings |
| PrerequisitesElliptic Curve Pairings | Everything you need to compute the Weil and Tate pairings |
| Hashing | From Hashing to groups to hashing to elliptic curves |
| Polynomial Commitments | Hashing, Merkle trees, KZG, … |
| ZK Protocols | Statements, circuit languages |
| Playground | Sage playground |