1.
Introduction
2.
Preliminary
2.1.
Group Theory
2.2.
Commitments
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
10.
Advanced
Examples
11.
Simple
11.1.
Fibonacci
11.2.
Magic Square
12.
Intermediate
12.1.
Sudoku
Light
Rust
Coal
Navy
Ayu
Circom101
Multiplexing
TODO