Cardano founder and Midnight architect Charles Hoskinson has unveiled a free, book-length guide to zero-knowledge technology, positioning it as both a primer for the wider crypto community and a conceptual gateway into Cardano’s privacy-focused Midnight network.
The work, now titled “Proving Nothing: A Layered Guide to Zero-Knowledge Proof Systems,” is being distributed under a Creative Commons Attribution 4.0 license, meaning anyone can read, share, and even adapt it as long as proper credit is given. The latest publicly referenced version runs to roughly 350+ pages and is available in both EPUB and PDF formats, with a dark-mode PDF weighing in at about 357 pages.
From “shockingly low understanding” to a 300+ page book
Hoskinson explained in a March 27 livestream that the project emerged from what he called a *”shockingly low level of understanding”* around zero-knowledge proofs (ZKPs) and ZK cryptography, even among people who are otherwise well-versed in blockchain.
His response was drastic:
> “So I wrote a 337-page book over the last few months,” he said.
He describes the book as non-technical in intent, yet notes that it still contains a considerable amount of technical material. Rather than a math-heavy textbook, it’s structured as a conceptual manual aimed at helping readers build an intuition for how zero-knowledge systems are designed and why they matter.
The seven-layer framework: a mental model for ZK systems
The core of *Proving Nothing* is a seven-layer framework that breaks down zero-knowledge systems from first principles. According to Hoskinson, the layers span everything from:
– Setup and assumptions
– Languages and circuits
– Proof systems
– Underlying cryptography
– Verification and execution environments
The idea is to provide a lens through which any ZK system can be understood, regardless of implementation. Rather than treating each protocol-SNARKs, STARKs, zkVMs, or specialized constructions-as isolated islands, the book encourages readers to see them as variations assembled from a common set of building blocks.
The book’s README characterizes it as a guide to “the entire zero-knowledge stack from the ground up,” arguing that ZK technology doesn’t magically remove trust; instead, it breaks trust into smaller, auditable pieces. In other words, zero-knowledge proofs let you prove specific statements without exposing everything, but there are still assumptions, cryptographic models, and verification rules that have to be understood and scrutinized.
More than theory: a ramp into Midnight
Although *Proving Nothing* is framed as a broadly accessible introduction to zero-knowledge, it also serves a strategic purpose: onboarding people into Midnight, Cardano’s privacy-centric sidechain and smart contract ecosystem.
Hoskinson is explicit about this dual role. He calls the book:
– “A good way of introducing Midnight to people,”
– While still being a general, project-agnostic ZK primer.
At least one full chapter is dedicated to Midnight itself, positioning the network within the broader zero-knowledge landscape. The intention is clear: readers first learn the fundamentals of ZK proofs, then move into adjacent privacy technologies, and finally see how Midnight implements and extends these ideas.
Beyond the seven layers: ZEXE, Kachina, zkVMs, and more
The book doesn’t stop at the conceptual model. Hoskinson notes that *Proving Nothing* goes on to explore:
– Private smart contracts and how they differ from transparent ones
– The ZEXE model, originally introduced in the context of privacy-preserving execution and now influential in several ZK platforms
– Midnight’s Kachina system, which underpins its approach to confidential smart contract logic
– zkVMs (zero-knowledge virtual machines), which allow generalized computation to be proven succinctly
– STARK-to-SNARK pipelines, describing how STARK-generated proofs can be compressed into SNARKs for efficient verification
– The market landscape for privacy technologies and proof systems
These additions show that the book isn’t just a static explanation of today’s primitives. It also attempts to map out the rapidly evolving ecosystem of ZK tools, protocols, and design patterns.
Continuous updates: from “The Seven-Layer Magic Trick” to “Proving Nothing”
Since Hoskinson first spoke about the project, the scope has already expanded. Earlier versions of the book carried the working title “The Seven-Layer Magic Trick,” but by version 1.10, released on March 30, the work had been renamed to “Proving Nothing” and converted into multiple formats.
Release notes for that version highlight:
– The title change to *Proving Nothing*
– Availability in both EPUB and PDF
– A 357-page dark-mode PDF
– Edits and expansions across 14 chapters
– New or updated sections on:
– zkVMs
– Market structure for ZK and privacy tech
– eIDAS 2.0 and regulatory implications
– Rollups and scaling architectures
– A more detailed Midnight case study
Hoskinson stresses that this is not a one-off, final publication. During the livestream he called the current version “the first edition, version 1.01,” and pledged to:
> “Keep adding and changing and work on it throughout the weekends as more things come up and as more stuff in Midnight gets launched, I’ll add to this.”
That framing is important: the book is effectively a living document, evolving alongside Midnight’s mainnet rollout and the broader commercialization of zero-knowledge and privacy technologies.
Why zero-knowledge matters for crypto and beyond
Zero-knowledge proofs have moved from obscure cryptographic research to a cornerstone of next-generation blockchain design. They enable a user to prove that a statement is true without revealing the underlying data-whether that statement is *”I have enough funds,”* *”this computation was done correctly,”* or *”I meet the conditions for access.”*
In practical terms, ZKPs can:
– Enable privacy-preserving transactions without sacrificing auditability
– Make rollups and L2s scalable by letting chains verify large batches of transactions with compact proofs
– Support regulatory compliance by demonstrating certain properties (like KYC or age verification) without doxxing identity
– Allow confidential smart contracts, where logic and state are hidden but correctness is still provable
By packaging these concepts into a free, structured book, Hoskinson is trying to compress the learning curve for developers, policymakers, and everyday crypto users who want to understand why ZK is central to the next phase of the industry.
Midnight: positioning Cardano in the ZK race
Midnight is Cardano’s dedicated network for data protection, confidential computing, and private smart contracts. While many blockchains are exploring ZK-based rollups or privacy layers, Midnight is being built as a first-class, privacy-focused environment closely integrated with Cardano’s infrastructure.
From what Hoskinson has revealed, Midnight aims to:
– Combine regulatory awareness with strong privacy guarantees
– Use systems like Kachina to enable confidential contracts while keeping proofs verifiable
– Fit into emerging frameworks such as eIDAS 2.0, which shape the future of digital identity and trust services in regulated environments
– Provide a platform where enterprises and institutions can deploy compliant yet privacy-preserving applications
By embedding Midnight into a broader educational narrative about zero-knowledge, Hoskinson is effectively marketing the network as a serious, research-grounded entrant in the global ZK race, rather than a bolt-on privacy tool.
A resource for multiple audiences
While *Proving Nothing* originates from within the Cardano ecosystem, the material is relevant far beyond it. Different audiences can extract distinct value:
– Developers can use the seven-layer framework to compare different ZK protocols and decide which stack fits their application-SNARKs vs STARKs, circuit styles, proof systems, and verification environments.
– Entrepreneurs and product builders can better understand what’s realistically possible with ZK today: private DeFi, confidential voting, anonymous credentials, or compliant digital identity solutions.
– Researchers and students gain a high-level map of the field, helping them place new papers, protocols, or implementations into a cohesive structure.
– Regulators and policymakers can contextualize zero-knowledge as a tool that can *enhance* oversight (by enabling provable compliance) rather than being purely about secrecy.
In all cases, the non-paywalled, license-flexible nature of the book lowers barriers to education and reuse.
How the seven-layer model can change how people think about ZK
One of the recurring problems in zero-knowledge discourse is that each project markets its stack-zkEVMs, validity rollups, anonymous credentials-as if it were entirely unique. Hoskinson’s layered approach pushes against this fragmentation.
By decomposing systems into layers, readers can:
– See what is truly innovative (e.g., a new proof system or a novel verification environment) versus what is a recombination of known pieces
– Understand where trust actually resides: in setup ceremonies, in cryptographic assumptions, in economic incentives, or in governance structures
– Realize that many projects solve similar problems with different trade-offs in performance, transparency, or post-quantum resistance
This mental model can help investors, developers, and users avoid hype traps and evaluate ZK solutions more rationally.
The broader impact on Cardano’s ecosystem
For Cardano, the release of *Proving Nothing* serves multiple strategic functions at once:
1. Thought leadership: It positions the project and its founder as serious contributors to the intellectual development of zero-knowledge technology.
2. Developer attraction: By offering a clear educational pathway into ZK and Midnight, it increases the odds that developers will choose Cardano-affiliated tools for privacy-centric applications.
3. Ecosystem cohesion: A shared conceptual framework can give Cardano builders a common language to discuss and design privacy-preserving protocols.
4. Long-term branding: As ZK becomes central to scaling, compliance, and user protection, Cardano’s early investment in public education can strengthen its reputation.
At the time of writing referenced in the original report, ADA traded at around 0.2468 dollars, underscoring that this educational push is happening even as markets remain relatively subdued.
What this means if you are new to zero-knowledge
If you are just starting your journey into zero-knowledge proofs, *Proving Nothing* offers a structured way to ramp up:
1. Begin with the high-level narrative: why privacy and verifiable computation matter in a world of surveillance capitalism and data breaches.
2. Use the seven-layer model as a checklist when you encounter any ZK project:
– What’s the language?
– What proof system does it use?
– How are proofs verified?
– What cryptographic assumptions are being made?
3. Explore the Midnight chapter to see how these ideas come together in an actual network design.
4. Refer to the sections on zkVMs, rollups, and STARK-SNARK pipelines to understand how scalability and privacy interact.
This sequence can take you from near-zero knowledge of ZK to a point where you can critically analyze real-world protocols and make informed decisions about which technologies to work with.
About the author of the original coverage
The original coverage of Hoskinson’s book was written by Jake Simmons, a long-time observer of the crypto space. Simmons has followed Bitcoin since 2016 and has been professionally involved in the blockchain industry since 2017, after studying Business Informatics.
His stated aim has consistently been to support the broader financial transformation driven by Bitcoin and digital assets, and to help readers understand the complex technologies reshaping money and markets. His background in both business and technology allows him to bridge technical detail and practical implications for a general audience.
—
With *Proving Nothing*, Hoskinson is not just promoting a new privacy network; he is attempting to raise the baseline literacy of the entire industry around zero-knowledge proofs. As Midnight approaches full deployment and ZK-based solutions proliferate across chains, resources like this book are likely to become essential reading for anyone serious about the future of privacy, scalability, and trust in crypto.