Hoskinson Drops 337-Page Book on Zero-Knowledge Proofs

Charles Hoskinson released a free 337-page zero-knowledge proofs guide on GitHub, targeting Midnight privacy tech developers and builders across the ZK space.

Charles Hoskinson published a 337-page technical book on zero-knowledge proof systems. Free. On GitHub. Open for anyone to read, adapt, or build on.

The Cardano and IOG founder shared the release on X as @IOHK_Charles, confirming the book titled “The Seven-Layer Magic Trick: A Complete Guide to Zero-Knowledge Proof Systems.” Hoskinson posted it two days ago. The repository already contains the full PDF, Markdown source, and build pipeline in one place.

The book opens with a single sentence from Hoskinson that sets the entire tone. ZK proofs let you prove something is true without revealing why it’s true. That one idea, he writes, sits inside a $2 trillion industry, four decades of mathematics, and a problem most people still can’t explain clearly.

What’s Actually Inside 337 Pages

Fourteen chapters. Three parts. Around 5,280 lines of Markdown before it becomes a PDF.

Part I runs through the basics. What ZK proofs do, why they matter now, and the first real design decision any ZK system faces — trusted setup versus transparent setup. Part II goes deep into the technical core. One chapter per layer: programming languages, witness generation, arithmetization, proof systems, cryptographic primitives, and on-chain verification.

That section on programming languages isn’t casual reading. Hoskinson flags what he calls the under-constrained circuit problem — responsible for 67% of real-world ZK vulnerabilities. That figure alone makes Part II worth the time for any developer working near ZK systems.

Part III handles the bigger picture. A full trust decomposition with seven failure scenarios, a zkVM landscape comparison, market analysis across six segments, and seven open research questions. No clean resolutions. Just the hard questions the field hasn’t answered.

A Midnight case study sits inside Part III. That’s not a footnote — it’s a full chapter.

The Book’s Central Argument

ZK proofs don’t eliminate trust. They break it into seven weaker pieces.

Each piece is independently testable. Each is independently replaceable. Each can independently fail. That decomposition, Hoskinson argues through the GitHub repository README, is the actual trick the technology performs — not magic, but structured reduction of risk into manageable parts.

Chapters 2 and 10 are what he calls the load-bearing walls. Chapter 2 handles setup. Chapter 10 works through the trust decomposition in full. Skip those two and the rest of the book loses its foundation.

The reading paths built into the book reflect how differently people actually approach this material. Forty-five minutes for an executive covering just the highlights. Two hours for an engineer working through Parts I and II. Four-plus hours for a researcher going through everything, including the seven open questions in Chapter 14.

Midnight Is the Real Context Here

Hoskinson has positioned Midnight as a cross-chain privacy layer built on Cardano, using zero-knowledge cryptography as its backbone across Bitcoin, XRP, and other networks. A developer base that doesn’t understand ZK fundamentals can’t build confidently on that infrastructure.

That context makes this book a direct technical investment in Midnight’s future. Not marketing. A 337-page technical foundation for whoever shows up to build.

The book runs through a single example to anchor the theory. A 4×4 Sudoku proof threads from the program to the witness to constraints to a sealed certificate across every layer. One computation tracked the entire way through. It’s the kind of device that separates books written to impress from books written to actually teach.

Debates around ZK trust and institutional reliability have been heating up across the space. The zkSync founder recently pushed back hard against Canton’s public critique of ZK proof safety in institutional finance — arguing that layered architectures catch failures before they spread. Hoskinson’s trust decomposition framework in Chapter 10 addresses the exact same class of questions from a different angle.

Free, Licensed, and Ready to Build From

The full PDF is available at github.com/CharlesHoskinson/sevenlayer. Licensed under Creative Commons Attribution 4.0 International. Commercial use allowed. The only requirement is credit.

The PDF was built for screens. Dark mode, Outfit headings, custom syntax highlighting, blue-to-purple gradient accents. Not optimized for printing. The source code to build it yourself — Python, Pandoc, XeLaTeX — is included in the same repository.