This book is a course on Halo2 development and PlonKish arithmetization in general. The intended audience is Rust developers who have a vague understanding of succinct proofs in general, but no specific knowledge of Halo2, PlonK or developing circuits for zkSNARKs.
The book was created as a collaboration between ZKSecurity and the Zircuit development team.
All material, full code examples and the book's source, are available on GitHub.
The book is build using mdbook and mdbook-admonish:
cargo install mdbook
cargo install mdbook-admonish
mdbook-admonish install
mdbook serve