Introduction

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.