- 1. Introduction
- 2. Concepts
- 2.1. Group Theory
- 2.2. Commitments
- 2.3. Merkle Trees
- 3. Arithmetic
- 3.1. Multiplication
- 3.2. Addition
- 3.3. Inversion
- 3.4. Integer Division
- 4. Bits
- 4.1. Logic Gates
- 5. Comparators
- 5.1. Constant Comparisons 🚧
- 5.2. Range Check
- 6. Control Flow
- 6.1. Multiplexing
- 7. Arrays
- 7.1. Distinct
- 7.2. Sorted
- 8. Hashing 🚧
- 8.1. Poseidon 🚧
- 8.2. MiMC 🚧
- 9. Merkle Trees
- 9.1. Sparse Merkle Tree 🚧
- 9.2. Dense Merkle Tree 🚧
- 9.3. Incremential Merkle Tree 🚧
- 9.4. Complete Binary Merkle Tree 🚧
- 9.5. Merkle Mountain Range 🚧
- 10. Advanced
- Examples
- 11. Simple
- 11.1. Fibonacci
- 11.2. Magic Square
- 12. Intermediate
- 12.1. Sudoku