本书共19章：第1章到第3章介绍基础概念以及阐述交互式证明依赖强大的随机性；第4章、第8章、第9章、第10章、第17章，从计算复杂性模型角度(IP/MIP/PCP/IOP)，阐述了交互式论证系统构建的不同方法和性能；第5章介绍了Fiat-Shamir算法；第6章介绍如何将通用的图灵程序转化为电路；第7章引入多项式承诺方案以及低次测试；第11章、第13章介绍零知识的定义以及零知识实现的两种方式；第12章、第14章、第15章、第16章介绍承诺方案，并总结了多项式承诺方案的3种方式；第18章介绍了SNARK的组合和递归；第19章对书中讲述的所有零知识证明算法的分类总结。