Sign-In
Cart
Zero-Knowledge Proof Programming
Hardcover
General ComputersProgrammingComputer Security
ISBN13: 9789819265312
Publisher: Springer
Published: Feb 24 2027
Pages: 472
Language: English
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.
Also from
Zheng, Yu
Zur Entwicklung Der Hoerverstehenskompetenz Der Chinesischen Daf-Lerner in Deutschen Fachsprachen
Zheng, Yu
Hardcover
Also in
Computer Security
Dawn of the Code War: America's Battle Against Russia, China, and the Rising Global Cyber Threat
Graff, Garrett M.
Carlin, John P.
Paperback
CompTIA Network+ Certification All-in-One Exam Guide, Ninth Edition (Exam N10-009)
Weissman, Jonathan S.
Paperback
5 Habits of the Tech-Ready Family: Raising Wise Kids in a Wild Digital World
McKenna, Chris
Paperback
Comptia A+ Complete Study Guide, 2-Volume Set: Volume 1 Core 1 Exam 220-1201 and Volume 2 Core 2 Exam 220-1202
Docter, Quentin
Buhagiar, Jon
Paperback
Spies, Lies, and Cybercrime: Cybersecurity Tactics to Outsmart Hackers and Disarm Scammers
O'Neill, Eric
Hardcover
Isc2 Cissp Official Study Guide & Practice Tests Bundle
Stewart, James Michael
Gibson, Darril
Chapple, Mike
Paperback
Blown to Bits: Your Life, Liberty, and Happiness After the Digital Explosion
Lewis, Harry
Abelson, Hal
Ledeen, Ken
Paperback
Linux Basics for Hackers, 2nd Edition: Getting Started with Networking, Scripting, and Security in Kali
Occupytheweb
Paperback
Computer Hacking: The Crash Course Guide to Learning Computer Hacking Fast & How to Hack for Beginners
Warren, Tim
Paperback
Isc2 Cissp Certified Information Systems Security Professional Official Study Guide
Stewart, James Michael
Gibson, Darril
Chapple, Mike
Paperback
Comptia Security+ Study Guide with Over 500 Practice Test Questions: Exam Sy0-701
Seidl, David
Chapple, Mike
Paperback
Hacking & Tor: The Complete Beginners Guide To Hacking, Tor, & Accessing The Deep Web & Dark Web
Jones, Jack
Paperback
Password Logbook (Hip Floral): Keep Track of Usernames, Passwords, Web Addresses in One Easy and Organized Location
Editors of Rock Point
Hardcover
Don't Trust Your Gut: Using Data to Get What You Really Want in Life
Stephens-Davidowitz, Seth
Paperback
Sandworm: A New Era of Cyberwar and the Hunt for the Kremlin's Most Dangerous Hackers
Greenberg, Andy
Paperback
Cisa Certified Information Systems Auditor Study Guide and Practice Tests Bundle: Covers 2024 Exam Objectives
Gregory, Peter H.
Chapple, Mike
Paperback
From Heatmaps to Histograms: A Practical Guide to Cyber Risk Quantification
Martin-Vegue, Tony
Paperback
Home Assistant for Beginners: Build a private smart home without relying on the cloud
Haagenrud, Thom
Paperback
The Art of Deception: Controlling the Human Element of Security
Mitnick, Kevin D.
Simon, William L.
Paperback
Comptia A+ Complete Review Guide: Core 1 Exam 220-1201 and Core 2 Exam 220-1202
McMillan, Troy
Paperback
Learning Cybersecurity Fundamentals: A Practical Guide to Essential Cybersecurity Concepts
Dove, Nicole
Paperback
Serious Cryptography, 2nd Edition: A Practical Introduction to Modern Encryption
Aumasson, Jean-Philippe
Paperback
Comptia A+ Complete Certification Kit: Core 1 Exam 220-1201 and Core 2 Exam 220-1202
McMillan, Troy
Docter, Quentin
Buhagiar, Jon
Paperback
Chasing Shadows: Cyber Espionage, Subversion, and the Global Fight for Democracy
Deibert, Ronald J.
Paperback
Cyber War: The Next Threat to National Security and What to Do about It
Knake, Robert
Clarke, Richard A.
Paperback
AWS Certified Security Study Guide: Specialty (Scs-C02) Exam
Mu¿oz, Mauricio
Moraes, Alexandre M. S. P.
Goldfarb, Dario Lucas
Paperback
Container Security: Fundamental Technology Concepts That Protect Cloud Native Applications
Rice, Liz
Paperback
Humorous Cryptograms: 300 Large Print Puzzles To Keep You Entertained (Large Print Edition)
Nest, Game
Paperback
Scam Me If You Can: Simple Strategies to Outsmart Today's Rip-Off Artists
Abagnale, Frank W.
Paperback
Countdown to Zero Day: Stuxnet and the Launch of the World's First Digital Weapon
Zetter, Kim
Paperback
XRP - The Cryptocurrency for Banks: How XRP is revolutionizing cross-border payments and redefining the financial system
Satoshi, Degen
Paperback
Mobile Forensic Investigations: A Guide to Evidence Collection, Analysis, and Presentation, Second Edition
Reiber, Lee
Paperback
Cult of the Dead Cow: How the Original Hacking Supergroup Might Just Save the World
Menn, Joseph
Paperback
The Future of Hacking: The Rise of Cybercrime and the Fight to Keep Us Safe
Scherling, Laura S.
Hardcover
A Hacker's Mind: How the Powerful Bend Society's Rules, and How to Bend Them Back
Schneier, Bruce
Paperback
Hackers Underground Knowledge: Quick and easy way to learn secret hacker techniques
Kohler, Martin
Paperback
Privacy and Security for Large Language Models: Hands-On Privacy-Preserving Techniques for Personalized AI
Lin, Baihan
Paperback
AI Governance Playbook: How to Secure, Control, and Optimize Artificial Intelligence Initiatives
Smallwood, Robert F.
Surdak, Chris
Paperback
The Cybernetic Society: How Humans and Machines Will Shape the Future Together
Husain, Amir
Hardcover
Hacking and Security: The Comprehensive Guide to Penetration Testing and Cybersecurity
Gebeshuber, Klaus
Kloep, Peter
Kofler, Michael
Paperback
The Spacecraft Hacker's Handbook: Exploiting Ground Stations, Flight Software, and Satellite Terminals
Starcik, Milenko
Olchawa, Andrzej
Paperback
The Web Application Hacker's Handbook: Finding and Exploiting Security Flaws
Pinto, Marcus
Stuttard, Dafydd
Paperback
The Smartest Person in the Room: The Root Cause and New Solution for Cybersecurity
Espinosa, Christian
Paperback
Understanding Digital Resilience: Foresight and Navigation through Cyber Heavy Weather
Rattray, Gregory
Lee, Seungmin Helen
Pelekis, Ian
Paperback
Dissecting the Dark Web: Reverse Engineering the Tools of the Underground Economy
Kaye, Lindsay
Paperback
The Book of Pf, 4th Edition: A No-Nonsense Guide to the OpenBSD Firewall
Hansteen, Peter N. M.
Paperback
The Secure Board: How To Be Confident That Your Organisation Is Cyber Safe
Leibel, Anna
Pales, Claire
Paperback
Comptia A+ Complete Practice Tests: Core 1 Exam 220-1201 and Core 2 Exam 220-1202
O'Shea, Audrey
Paperback
Data Engineering for Cybersecurity: Build Secure Data Pipelines with Free and Open-Source Tools
Bonifield, James
Paperback
Cilium: Up and Running: Cloud Native Networking, Security, and Observability
Nikolic, Filip
Laverack, James
Vibert, Nico
Paperback
Web Application Security: Exploitation and Countermeasures for Modern Web Applications
Hoffman, Andrew
Paperback
The Fraud Fighter's AI Playbook: Strategies for the Genai Era
Maraney, Shoshana
Zamir, Chen
Saporta, Gilit
Paperback
Meshtastic: A Comprehensive Guide to Off-Grid Mesh Communication: Second Edition
Rodgers, David A., Jr.
Paperback
Learning Serverless Security: Hacking and Securing Serverless Cloud Applications on Aws, Azure, and Google Cloud
Lat, Joshua Arvin
Paperback
The CyberSecurity Leadership Handbook for the CISO and the CEO: How to Fix Decade-Old Issues and Protect Your Organization from Cyber Threats
Gaillard, Jean-Christophe
Paperback
Cybersecurity - Attack and Defense Strategies - Third Edition: Improve your security posture to mitigate risks and prevent attackers from infiltrating
Ozkaya, Erdal
Diogenes, Yuri
Paperback
Industrial Cybersecurity - Second Edition: Efficiently monitor the cybersecurity posture of your ICS environment
Ackerman, Pascal
Paperback
Red Team Engineering: The Art of Building Offensive Tools and Infrastructure
Erdmann, Casey
Paperback
Evasion Engineering: Building Custom Red Team Tools for Modern Defenses
Lasalvia, Michael
Chow, Dennis
Paperback
The Mathematics of Secrets: Cryptography from Caesar Ciphers to Digital Encryption
Holden, Joshua
Paperback
Cism Certified Information Security Manager All-In-One Exam Guide [With CD (Audio)]
Gregory, Peter H.
Paperback
Zero Trust Networks: Building Secure Systems in Untrusted Networks
Gilman, Evan
Rais, Razi
Morillo, Christina
Paperback
Chasing Shadows: Cyber Espionage, Subversion, and the Global Fight for Democracy
Deibert, Ronald J.
Hardcover
Learn Computer Forensics - Second Edition: Your one-stop guide to searching, analyzing, acquiring, and securing digital evidence
Oettinger, William
Paperback
Network Programmability and Automation: Skills for the Next-Generation Network Engineer
Adell, Christian
Lowe, Scott S.
Oswalt, Matt
Paperback
Software Security for Developers: With Examples in Java and Spring
Spilca, Laurentiu
Saikali, Adib
Paperback
Nmap Network Scanning: The Official Nmap Project Guide to Network Discovery and Security Scanning
Lyon, Gordon
Fyodor
Paperback
Locksport: A Hackers Guide to Lockpicking, Impressioning, and Safe Cracking
Burrough, Matt
Belgers, Walter
Weyers, Jos
Paperback
Comptia A+ Certmike: Prepare. Practice. Pass the Test! Get Certified!: Core 1 Exam 220-1201
Chapple, Mike
Paperback
Scams, Hacking, and Cybersecurity: The Ultimate Guide to Online Safety and Privacy
Brooks-Kempler, May
Paperback
Raising Humans in a Digital World: Helping Kids Build a Healthy Relationship with Technology
Graber, Diana
Paperback
Operation Carder Kaos: How One Agent Penetrated the Underground Economy
Latulip, Richard K.
Paperback
Cybersecurity Myths and Misconceptions: Avoiding the Hazards and Pitfalls That Derail Us
Metcalf, Leigh
Dykstra, Josiah
Spafford, Eugene
Paperback
IT Governance: An international guide to data security and ISO 27001/ISO 27002, Eighth edition
Watkins, Steve
Calder, Alan
Paperback
Digital Ethics in the Age of AI: Navigating the ethical frontier today and beyond
Mehan, Julie
Paperback
Agentic AI for Offensive Cybersecurity: Build and automate smarter penetration testing workflows using AI-driven agents
Yıldırım, Orhan
Paperback
Wireless Exploits And Countermeasures: Kali Linux Nethunter, Aircrack-NG, Kismet, And Wireshark
Botwright, Rob
Paperback
Building a Career in Cybersecurity: The Strategy and Skills You Need to Succeed
Diogenes, Yuri
Paperback
Intelligence-Driven Incident Response: Outwitting the Adversary
Brown, Rebekah
Roberts, Scott J.
Paperback
Hands-On Network Forensics: Investigate network attacks and find evidence using common network forensic tools
Jaswal, Nipun
Paperback