Zero-Knowledge Proof Programming
Buch in deiner Nähe kaufen
Beschreibung
Zero-Knowledge Proofs (ZKPs) have evolved from a theoretical cryptographic concept into a foundational technology for blockchain systems, privacy-preserving computation, digital identity, and secure cross-organizational collaboration. More and more high-profile projects (for example, Zcash, Sui Network, and Aleo) based on evolving ZKP technologies have entered the spotlight. However, learning ZKP programming is extremely difficult due to its mathematical complexity and the lack of easy-to-follow learning resources on the market.
This book provides a concise and practical introduction to the modern ZKP ecosystem. It covers the mathematical foundations of Zero-Knowledge Proofs (both SNARKs and STARKs), including arithmetization, circuit design, and commitment schemes (such as KZG, Pedersen, and IPA). Moreover, readers are guided through major proving systems such as Groth16, Plonk, Bulletproofs, Sumcheck, FRI, and Circle STARK, together with their design principles, trade-offs, and applications.
Through worked examples, code illustrations, and discussions of frameworks and DSLs such as Circom, ZoKrates, and Halo2, the book dives deeply into the technical details from theory to implementation. The intended readers are software engineers, blockchain developers, students, and researchers. The book provides a practical path from core concepts to protocol design and application development. It is designed to help readers develop practical ZKP programming skills and gain a solid understanding of modern ZKP systems. Reading the book should help developers quickly get started with ZKP programming.
To fully benefit from the book, readers should have a background in computer science and a basic understanding of mathematics.
Zero-Knowledge Proofs (ZKPs) have evolved from a theoretical cryptographic concept into a foundational technology for blockchain systems, privacy-preserving computation, digital identity, and secure cross-organizational collaboration. More and more high-profile projects (for example, Zcash, Sui Network, and Aleo) based on evolving ZKP technologies have entered the spotlight. However, learning ZKP programming is extremely difficult due to its mathematical complexity and the lack of easy-to-follow learning resources on the market.
This book provides a concise and practical introduction to the modern ZKP ecosystem. It covers the mathematical foundations of Zero-Knowledge Proofs (both SNARKs and STARKs), including arithmetization, circuit design, and commitment schemes (such as KZG, Pedersen, and IPA). Moreover, readers are guided through major proving systems such as Groth16, Plonk, Bulletproofs, Sumcheck, FRI, and Circle STARK, together with their design principles, trade-offs, and applications.
Through worked examples, code illustrations, and discussions of frameworks and DSLs such as Circom, ZoKrates, and Halo2, the book dives deeply into the technical details from theory to implementation. The intended readers are software engineers, blockchain developers, students, and researchers. The book provides a practical path from core concepts to protocol design and application development. It is designed to help readers develop practical ZKP programming skills and gain a solid understanding of modern ZKP systems. Reading the book should help developers quickly get started with ZKP programming.
To fully benefit from the book, readers should have a background in computer science and a basic understanding of mathematics.
In-depth coverage of popular proving systems, from mathematical foundations to hands-on ZKP app development Explores low-level protocols, commitment schemes, and SOTA developments in SNARKs, STARKs, and apps Features practical engineering examples using Circom, ZoKrates, Halo2, and privacy-preserving tools
Autor*in
Yu Zheng
Themen in »Zero-Knowledge Proof Programming«
Privacy Preserving Zero Knowledge DSL Circom Zokrates Halo2 Plonk Groth16 IPA FRI Snark Stark