查尔斯·霍斯金森已在 GitHub 上发布一份免费的 337 页零知识证明指南，面向 ZK 领域的 Midnight 隐私技术开发者和构建者。
查尔斯·霍斯金森发布了一本关于零知识证明系统的 337 页技术书籍。免费。在 GitHub 上。向任何人开放阅读、改编或在此基础上构建。
Cardano 和 IOG 的创始人以 @IOHK_Charles 在 X 上分享了该发布内容，并确认该书名为《七层魔术：零知识证明系统完整指南》（The Seven-Layer Magic Trick: A Complete Guide to Zero-Knowledge Proof Systems）。霍斯金森在两天前发布了它。该仓库已将完整 PDF、Markdown 源码和构建流水线放在同一个地方。
这本书以霍斯金森的一句话开篇，为全文定下基调。零知识证明让你在不揭示“为什么是真的”的情况下证明某件事为真。他写道，这一想法位于一个 2 万亿美元的产业、四十年的数学积累之中，同时也是大多数人至今仍无法清楚解释的一个问题。
共十四章。三部分。在变成 PDF 之前，约有 5,280 行 Markdown。
第一部分讲透基础知识。零知识证明的作用、为何在当下重要，以及任何一个零知识系统必须面对的第一个真正设计决策——可信设置（trusted setup）还是透明设置（transparent setup）。第二部分深入技术核心。每一层一章：编程语言、见证生成（witness generation）、算术化（arithmetization）、证明系统（proof systems）、密码学原语（cryptographic primitives）以及链上验证（on-chain verification）。
关于编程语言的那一段并不是随便看看就行的内容。霍斯金森指出他所说的“电路约束不足问题”（under-constrained circuit problem）——这会导致真实世界中 67% 的零知识漏洞。仅这一数据就足以让第二部分对任何在接近零知识系统的开发者来说都值得投入时间。
第三部分处理更宏观的图景。一套完整的信任分解（trust decomposition），包含七种失败场景；一个 zk 虚拟机（zkVM）生态对比；覆盖六个细分领域的市场分析；以及七个尚待回答的开放研究问题。没有“干净”的结论。只有这门领域尚未回答的艰难问题。
Midnight 的一个案例研究被放在第三部分之内。这不是脚注——那是整整一章。
零知识证明并不会消除信任。它把信任拆分成七个更弱的环节。
每一部分都可以被独立测试。每一部分都可以被独立替换。每一部分都可能独立失败。霍斯金森通过 GitHub 仓库的 README 来论证：这种分解才是这项技术真正执行的“诀窍”——并非魔法，而是将风险有结构地缩减为可管理的部分。
第 2 章和第 10 章是他所说的“承重墙”。第 2 章讲设置（setup）。第 10 章则完整展开信任分解。跳过这两章，其余内容就会失去根基。
书中内置的阅读路径反映了人们在现实中如何以不同方式接近这些材料。45 分钟给只想抓住要点并做高管覆盖的人。2 小时给在研读第一、二部分的工程师。4 个半小时给把所有内容都读完的研究人员，包括第 14 章里那七个开放问题。
霍斯金森将 Midnight 定位为一层建立在 Cardano 之上的跨链隐私层，并以零知识密码学作为其背后的核心支撑，覆盖 Bitcoin、XRP 以及其他网络。一个无法理解零知识基础的开发者群体，无法对这套基础设施进行充满信心的构建。
这种语境让这本书成为对 Midnight 未来的直接技术投资。不是营销。为任何准备到场去构建的人提供一套 337 页的技术基础。
这本书通过一个单一示例来锚定理论：从程序到见证（witness），从约束（constraints）到每一层最终密封证书（sealed certificate）的完整链路，串起了一个 4×4 数独（Sudoku）的证明。整个过程中只追踪了一次计算。但这正是那种装置——它能把“写出来是为了让人印象深刻”的书，与“真正用来教会你”的书区分开来。
围绕零知识信任与机构可靠性的争论正在整个领域升温。zkSync 的创始人近日强力反驳了 Canton 对机构金融中零知识证明安全性的公开批评——他认为分层架构能在故障扩散之前捕获失败。霍斯金森在第 10 章中的信任分解框架，用的是从另一个角度审视同一类问题。
完整 PDF 可在 github.com/CharlesHoskinson/sevenlayer 获取。根据知识共享署名 4.0 国际许可（Creative Commons Attribution 4.0 International）授权。允许商业使用。唯一要求是署名。
该 PDF 是为屏幕而构建的。深色模式（Dark mode）、Outfit 标题（Outfit headings）、自定义语法高亮、蓝到紫的渐变强调。未针对打印做优化。用于你自己构建它的源代码——Python、Pandoc、XeLaTeX——也包含在同一个仓库中。
