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