You might also like

Availability alert

More about Zero-Knowledge Proof Programming

• Book details
• Synopsis
• Trending among others

You get 167 loyalty points

Book synopsis

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.

Book details

• Full title: Zero-Knowledge Proof Programming
• Author: Yu Zheng, Liqun Huang, Qianhong Wu, Xiaotao Huang, Zheng Luo
• Language: English
• Binding: Hardback
• Number of pages: 450
• EAN: 9789819265312
• ID: 53790461
• Publisher: Springer, Berlin
• Dimensions: 235 × 155 mm
• Date of publishing: 19. February 2027

---

---

---