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
Light
Rust
Coal
Navy
Ayu
Circom101
Poseidon