簡潔非交互零知識證明
張宗洋，李威翰，周子博，伍前紅，劉建偉
相關主題
商品描述
區塊鏈、隱私計算、人工智能等技術的快速發展，極大地推動了零知識證明尤其是簡潔非交互零知識證明的發展，本書從通用構造方法、底層技術原理、協議性能表現、實際工程應用等角度深入研究了現有的簡潔非交互零知識證明。首先，較為詳細地介紹了零知識證明的相關背景知識，總結了簡潔非交互零知識證明的通用構造方法。其次，分別基於信息論安全證明和底層關鍵技術對現有的簡潔非交互零知識證明進行分類並提煉了核心思路，深入分析了典型協議的實現原理。研究辨析了各類協議的性能表現，探討其安全性並指出適用場景。再次，分析了零知識證明的應用，指出了在一些典型應用中如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
