Deep dive into Circom circuits.

We make heavy use of Circomlib.

1. Multiplier, Fibonacci.
2. Logical Gates, Comparators, IsZero.
3. Sudoku
4. If-Else, Switcher, Multiplexing
5. Hash Functions: Poseidon, MIMC and SHA256.
6. Merkle Trees. (Incremential, Sparse, Naive)
7. Arrays, Sorting

We use mdbook to create the book, see the book folder.

For each circuit, we dive deep into the constraints and tests them out.

TIPS:

• if expensive: compute outside, verify inside
• disable checks if enabled trick