简洁非交互零知识证明

第 1章 引言 1.1 零知识证明简介 1.2 隐私时代下的零知识证明 1.3 本书贡献及结构 第 2章 预备知识 2.1 相关表示 2.2 电路及相关定义 2.3 承诺及相关定义 2.4 计算复杂性理论相关知识 2.5 交互式证明系统 2.6 零知识证明系统 2.7 零知识证明的若干讨论 第3章 (简洁)非交互零知识证明 3.1 相关概念及定义 3.2 简洁非交互零知识证明概述 3.3 构造简洁非交互零知识证明的通用方法 3.4 简洁非交互零知识证明的性能评价标准 第4章 基于PCP、Linear-PCP、IPCP及IOP的零知识证明 4.1 定义及概念 4.2 典型协议分析 第5章 基于QAP的零知识证明 5.1 定义及概念 5.2 背景及主要思路 5.3 典型协议分析 5.4 本章小结 第6章 基于DEIP的零知识证明 6.1 定义及概念 6.2 背景及主要思路 6.3 典型协议分析 6.4 本章小结 第7章 基于IPA的零知识证明 7.1 定义及概念 7.2 背景及主要思路 7.3 典型协议分析 7.4 本章小结 第8章 基于MPC-in-the-Head的零知识证明 8.1 定义及概念 8.2 背景及主要思路 8.3 典型协议分析 8.4 本章小结 第9章 零知识证明的应用 9.1 零知识证明的工程应用基础 9.2 零知识证明在区块链中的应用 第 10章 零知识证明的标准化 10.1 零知识证明的标准化 10.2 零知识证明与国产密码算法 第 11章 零知识证明应用 11.1 Zcash 11.2 ZKrollup 11.3 Pinocchio coin