halo2
1.
Concepts
1.1.
Proof systems
1.2.
PLONKish Arithmetization
1.3.
Chips
1.4.
Gadgets
2.
User Documentation
2.1.
Developer tools
2.2.
A simple example
2.3.
An end-to-end example
2.4.
Lookup tables
2.5.
Gadgets
2.6.
Tips and tricks
3.
Design
3.1.
Proving system
3.1.1.
Lookup argument
3.1.2.
Permutation argument
3.1.3.
Circuit commitments
3.1.4.
Vanishing argument
3.1.5.
Multipoint opening argument
3.1.6.
Inner product argument
3.1.7.
Comparison to other work
3.2.
Protocol Description
3.3.
Implementation
3.3.1.
Proofs
3.3.2.
Fields
3.3.3.
Selector combining
3.4.
Gadgets
3.4.1.
Elliptic curve cryptography
3.4.1.1.
Witnessing points
3.4.1.2.
Incomplete and complete addition
3.4.1.3.
Fixed-base scalar multiplication
3.4.1.4.
Variable-base scalar multiplication
3.4.2.
Sinsemilla
3.4.2.1.
MerkleCRH
3.4.3.
Decomposition
3.4.4.
SHA-256
3.4.4.1.
16-bit table chip
4.
Background Material
4.1.
Fields
4.2.
Polynomials
4.3.
Cryptographic groups
4.4.
Elliptic curves
4.5.
Polynomial commitment using inner product argument
4.6.
Recursion
Light (default)
Rust
Coal
Navy
Ayu
The halo2 Book
Gadgets