Zero-Knowledge Proof Programming

Erscheinungsjahr 2027
ISBN: 978-981-9265-31-2
Verlag: Springer

Buch, Englisch, 472 Seiten, Format (B × H): 155 mm x 235 mm

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.

Zielgruppe

Professional/practitioner

Autoren/Hrsg.

Zheng, Yu

Huang, Liqun

Wu, Qianhong

Huang, Xiaotao

Luo, Zheng

Fachgebiete

• Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Informationstheorie, Kodierungstheorie
• Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung Netzwerksicherheit
• Mathematik | Informatik EDV | Informatik Daten / Datenbanken
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
• Mathematik | Informatik EDV | Informatik Technische Informatik Computersicherheit Kryptographie, Datenverschlüsselung
• Mathematik | Informatik EDV | Informatik Angewandte Informatik

Inhaltsverzeichnis

Chapter 1 Introduction.- Chapter 2 Moonmath.- Chapter 3 DSL.- Chapter 4 Basic Crypto Algorithms.- Chapter 5 Commitment Scheme.-Chapter 6 Pallier.- Chapter 7 Groth16.- Chapter 8 Marlin, Hydax, Dory.- Chapter 9 Plonk,HyperPlonk(Orion+), UltraPlonk.- Chapter10 Range Proof Bullet Proof.- Chapter 11 Recursive Proof.- Chapter 12 ZKML(Zero Knowledge Machine Learning).- Chapter 13 STARK.- Chapter14 MPC.- Chapter 15 Application Scenario.

Über Autor(innen)

Yu Zheng is the Chief Scientist of PKUSoft Inc., and his main research interests are blockchain, metaverse, AI/LLM, Rust, Zero Knowledge proof and Federate Learning. In his professional history, he worked on most of mainstream programming languages/Frameworks, andhepossesses multidisciplinary background from Computer Science, Statistics/Mathematics, Finance and Marketing. He obtains his BSc/MSc degree in Computer Science from Huazhong University of Science and Technology, MIS degree from McGill University and MBA from Rotman school, University of Toronto.

Dr. Huang Liqun is an Associate Professor and Master’s Supervisor at the School of Software Engineering, Huazhong University of Science and Technology. His research interests focus on computer network technology, artificial intelligence, and blockchain technology. He has presided over or participated in more than 20 scientific research projects and published over 20 papers in prestigious journals such as Journal on Communications and Acta Electronica Sinica, as well as at international conferences.

Professor Qianhong Wu received the Ph.D. degree in cryptography from Xidian University in 2004. He had been an associate research fellow with the University of Wollongong, an associate professor with the Wuhan University and a research director with the Universitat Rovira i Virgili. Now he is a professor with the school of cyber science and technology, Beihang University. His interests include cryptography and information security and privacy. His research has received supports from more than ten national/international funds. He has authored over 270 publications and served on the program committees for a number of international conferences and/or editorial board of ISI journals in information security and privacy protection.

Dr. Huang Xiaotao is a professor at the School of Software Engineering, Huazhong University of Science and Technology. She has dedicated to research in intelligent computing and educational informatization. She has been granted 2 authorized national invention patents, and has published over 30 teaching and research papers. Her research outcomes have received the Second Prize for Outstanding Academic Papers in Natural Sciences from Wuhan Municipality. She has led one National First-Class Undergraduate Course and two Provincial First-Class Courses, and has presided over the acquisition of a Second Prize for Provincial Teaching Achievement.

Mr. Luo Zheng graduated from Huazhong University of Science and Technology, and is the founder and chairman of PKUSoft Inc. He is the constant entrepreneur dedicated to advancing the industrialization of data elements and trusted data spaces using techs like Blockchain and AI LLM. He has undertaken research for the Chinese Academy of Engineering's special blockchain program and has led the development of a large-scale nationwide data infrastructure on population management.