Zero-Knowledge Proof Programming

Zero knowledge Proof theory & Framework now gain more traction with the burst of star projects like Zerocash, Aleo, Sui network etc. However, learning ZKP programming is extremely difficult due to its mathematical complexity and lack of easy-to-follow study materials on market.

The book introduces popular SNARK/STARK proving schemes (including Groth16, Sumcheck, Bulletproof, Plonk, FRI and Circle STARK), which includes commitment scheme (such as KZG, IPA, Pedersen etc.), algorithms, arithmetization, digit circuit, equation and formula. Moreover, the book also examines all the existing circuit languages (for example: DSLs like Circom and Zokrates) and computation framework (such as Halo2), and goes through all the implementation details by coding/constructing ZK proof from scratch. And through practical examples, readers should learn all the inner working mechanism of SNARK and STARK proof. It is expected that readers can learn practical ZKP programming skills easily and comfortably. Reading the book should be able to help developers quickly ramp up on main lane of ZKP programming.

To understand the content, readers of the book had better have computer science background and know basic mathematics concepts.