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.
Lookup tables
2.4.
Gadgets
2.5.
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.4.
Gadgets
3.4.1.
SHA-256
3.4.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.
Polynomial commitment using inner product argument
4.6.
Recursion
Light (default)
Rust
Coal
Navy
Ayu
The halo2 Book
Document not found (404)
This URL is invalid, sorry. Please use the navigation bar or search to continue.