Zero-Knowledge Proof Programming
Buch in deiner Nähe kaufen
Beschreibung
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.
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.
Explains popular proving systems such as Circom/Zokrates, Halo2, and Plonky2/3 etc Analyze mainstream commitment schemes, SNARKs and STARKs: KZG, IPA, folding schemes, FRI, groth16, plonk, Nova etc Introduce practical application scenarios of ZKP in Blockchain, Machine Learning and LLM
Autor*in
Yu Zheng
Themen in »Zero-Knowledge Proof Programming«
Privacy Preserving Zero Knowledge DSL Circom Zokrates Halo2 Plonk Groth16 IPA FRI Snark Stark