halo2
1.
Concepts
1.1.
Proof systems
1.2.
UltraPLONK Arithmetization
1.3.
Cores
1.4.
Chips
1.5.
Gadgets
2.
User Documentation
2.1.
A simple example
2.2.
Lookup tables
2.3.
Gadgets
2.4.
Tips and tricks
3.
Design
3.1.
Proving system
3.1.1.
Multipoint opening argument
3.1.2.
Permutation argument
3.1.3.
Lookup argument
3.1.4.
Comparison to other work
3.2.
Implementation
3.3.
Gadgets
3.3.1.
SHA-256
3.3.1.1.
16-bit table chip
4.
Background Material
4.1.
Fields
4.2.
Polynomials
4.3.
Cryptographic groups
4.4.
Elliptic curves
4.5.
UltraPLONK arithmetisation
4.6.
Polynomial commitment using inner product argument
4.7.
Recursion
Light (default)
Rust
Coal
Navy
Ayu
The halo2 Book
Proving system