2020-12-04 09:19:17 -08:00
|
|
|
# The halo2 Book
|
2020-12-04 08:13:04 -08:00
|
|
|
|
2020-12-04 09:19:17 -08:00
|
|
|
[halo2](README.md)
|
|
|
|
|
- [Concepts](concepts.md)
|
2020-12-26 07:45:15 -08:00
|
|
|
- [Proof systems](concepts/proofs.md)
|
2020-12-25 04:56:25 -08:00
|
|
|
- [UltraPLONK Arithmetization](concepts/arithmetization.md)
|
|
|
|
|
- [Cores](concepts/cores.md)
|
|
|
|
|
- [Chips](concepts/chips.md)
|
|
|
|
|
- [Gadgets](concepts/gadgets.md)
|
2020-12-04 09:19:17 -08:00
|
|
|
- [User Documentation](user.md)
|
2020-12-10 12:43:01 -08:00
|
|
|
- [A simple example](user/simple-example.md)
|
|
|
|
|
- [Lookup tables](user/lookup-tables.md)
|
2020-12-04 09:19:17 -08:00
|
|
|
- [Gadgets](user/gadgets.md)
|
2020-12-10 12:35:36 -08:00
|
|
|
- [Tips and tricks](user/tips-and-tricks.md)
|
2020-12-04 09:19:17 -08:00
|
|
|
- [Design](design.md)
|
2020-12-22 19:26:45 -08:00
|
|
|
- [Multipoint opening argument](design/multipoint-opening.md)
|
2020-12-22 12:18:53 -08:00
|
|
|
- [Permutation argument](design/permutation.md)
|
2020-12-15 08:02:45 -08:00
|
|
|
- [Lookup argument](design/lookup-argument.md)
|
2020-12-22 06:23:20 -08:00
|
|
|
- [Gadgets](design/gadgets.md)
|
|
|
|
|
- [SHA-256](design/gadgets/sha256.md)
|
2020-12-22 18:44:33 -08:00
|
|
|
- [16-bit table chip](design/gadgets/sha256/table16.md)
|
