书名：简洁非交互*知识证明
定价：139.8
ISBN：9787115612540
作者：张宗洋，李威翰，周子博，伍前红，刘建伟
版次：第1版
出版时间：2024-11

内容提要：
区块链、隐私计算、人工智能等技术的快速发展，极大地推动了*知识证明尤其是简洁非交互*知识证明的发展，本书从通用构造方法、底层技术原理、协议性能表现、实际工程应用等角度深入研究了现有的简洁非交互*知识证明。*，较为详细地介绍了*知识证明的相关背景知识，总结了简洁非交互*知识证明的通用构造方法。其次，分别基于信息论*证明和底层关键技术对现有的简洁非交互*知识证明进行分类并提炼了核心思路，深入分析了典型协议的实现原理。研究辨析了各类协议的性能表现，探讨其*性并指出适用场景。再次，分析了*知识证明的应用，指出了在一些典型应用中如Zcash、以太坊等*知识证明是如何应用的，探讨了*知识证明的标准化进程。*，总结了简洁非交互*知识证明的研究热点和发展方向。 本书的读者对象为对隐私计算、区块链、人工智能等领域的隐私保护感兴趣或者致力于深入研究的初学者，以及从事其他领域工作、意欲了解*知识证明的研究者。



作者简介：
张宗洋，博士，副教授，博士生导师，现任北京航空航天大学网络空间*学院院长助理。目前为大数据*与隐私计算专委会委员、中关村标准化协会区块链分技术委员会、科技部国家科技*库成员。主要研究方向为：区块链、密码学。发表论文50余篇，申请专利20余项，已授权8项。先后主持国家自然科学基金面上项目、重点研发计划任务/子课题、民用飞机专项科研子课题等10余项。获中国指挥与控制学会科技进步一等奖、北京市高等教育教学成果二等奖、上海市*博士学位论文。 刘建伟， 教授、博导，1964年6月生。北京航空航天大学网络空间*学院院长，享受国务院政府特殊津贴*。国务院学位委员会第八届学科评议组成员、*网络空间*专业教学指导委员会委员、中国密码学会常务理事、中国指挥与控制学会常务理事、中国指挥与控制学会网络空间*专委会副主任委员、中国密码学会电子认证专委会委员、中国保密协会隐私保护专业委员会委员。

目录：
第 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