中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
WEB 3 中的零知識證明 版權信息
- ISBN：9787121488115
- 條形碼：9787121488115 ; 978-7-121-48811-5
- 裝幀：平裝-膠訂
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
WEB 3 中的零知識證明 內容簡介
基于當前 Web 3 世界的快速發展，零知識證明在落地應用方面取得了快速進展。本書從技術原理和相關具體工程實現的角度對其進行介紹。本書第1章從總體上回顧了 Web 3 的發展，以及當前的表現形態，第2章和第3章從*簡潔的數學層面向讀者介紹了零知識證明是什么，以及如何構建零知識證明。第4章從技術層面介紹了 Web 3 世界中零知識證明的主流實現方案，第5章從應用層面介紹了零知識證明在 Web 3 世界中的一些典型應用，第6章介紹了零知識證明在其他領域的應用及展望。本書定位為科普讀物，面向的讀者包括但不限于 Web 3 領域的從業者、對零知識證明感興趣的學生及業內人士。
WEB 3 中的零知識證明 目錄
目 錄
第1 章 Web 3 新基建崛起 ..................................................................................................... 001
1.1 Web 3 主流敘事 ···············································································.001
1.1.1 史前敘事 ···············································································.002
1.1.2 公鏈降臨 ···············································································.004
1.1.3 去中心化金融DeFi 創世 ····························································.007
1.1.4 非同質化代幣NFT 異軍突起 ······················································.012
1.1.5 鏈游GameFi 先聲奪人 ······························································.017
1.2 Web 3 基礎設施體系初現 ···································································.020
1.2.1 Web 3 基礎設施框架 ·································································.020
1.2.2 數據服務 ···············································································.023
1.2.3 去中心化身份堆棧 ···································································.030
1.2.4 安全與審計 ············································································.034
1.3 零知識證明敘事升溫 ·········································································.038
1.3.1 零知識證明的奧妙 ···································································.039
1.3.2 自主掌控隱私 ·········································································.041
1.3.3 破解可擴展性難題 ···································································.045
第2 章 揭開零知識證明的神秘面紗 .................................................................................... 050
2.1 “證明”的歷史 ···············································································.050
2.1.1 從歸納推理到演繹推理 ·····························································.050
2.1.2 形式化符號語言推理 ································································.051
2.1.3 計算機證明 ············································································.052
2.1.4 交互式證明 ············································································.053
2.2 繞不開的計算復雜性 ·········································································.054
2.2.1 基本概念 ···············································································.054
2.2.2 P 問題、NP 問題與NPC 問題 ·····················································.059
2.2.3 電路復雜性 ············································································.064
2.3 零知識證明的基本原理 ······································································.068
2.3.1 故事中的零知識證明 ································································.068
2.3.2 模擬器定義“零知識性” ··························································.071
2.3.3 提取器定義“可靠性” ·····························································.075
2.3.4 從交互式證明到簡潔非交互式證明 ··············································.078
第3 章 零知識簡潔非交互論證系統的構造 ........................................................................ 091
3.1 構造零知識簡潔非交互論證系統的主要步驟 ···········································.092
3.1.1 SNARK 系統的底層 ·································································.092
3.1.2 可驗證計算及其設計 ································································.095
3.2 將計算需求轉化為電路 ······································································.103
3.2.1 將問題轉化為程序 ···································································.103
3.2.2 將程序轉化為計算電路 ·····························································.104
3.3 信息論模型的構造 ············································································.112
3.3.1 LIP 模型 ················································································.113
3.3.2 IOP 模型 ···············································································.114
3.4 證明多項式 ·····················································································.115
3.4.1 FRI 承諾 ················································································.115
3.4.2 KZG10 承諾 ···········································································.120
3.4.3 IPA 承諾 ················································································.123
3.4.4 不同方案的對比 ······································································.126
3.5 非交互及零知識的實現 ······································································.127
3.5.1 非交互性 ··························································
第1 章 Web 3 新基建崛起 ..................................................................................................... 001
1.1 Web 3 主流敘事 ···············································································.001
1.1.1 史前敘事 ···············································································.002
1.1.2 公鏈降臨 ···············································································.004
1.1.3 去中心化金融DeFi 創世 ····························································.007
1.1.4 非同質化代幣NFT 異軍突起 ······················································.012
1.1.5 鏈游GameFi 先聲奪人 ······························································.017
1.2 Web 3 基礎設施體系初現 ···································································.020
1.2.1 Web 3 基礎設施框架 ·································································.020
1.2.2 數據服務 ···············································································.023
1.2.3 去中心化身份堆棧 ···································································.030
1.2.4 安全與審計 ············································································.034
1.3 零知識證明敘事升溫 ·········································································.038
1.3.1 零知識證明的奧妙 ···································································.039
1.3.2 自主掌控隱私 ·········································································.041
1.3.3 破解可擴展性難題 ···································································.045
第2 章 揭開零知識證明的神秘面紗 .................................................................................... 050
2.1 “證明”的歷史 ···············································································.050
2.1.1 從歸納推理到演繹推理 ·····························································.050
2.1.2 形式化符號語言推理 ································································.051
2.1.3 計算機證明 ············································································.052
2.1.4 交互式證明 ············································································.053
2.2 繞不開的計算復雜性 ·········································································.054
2.2.1 基本概念 ···············································································.054
2.2.2 P 問題、NP 問題與NPC 問題 ·····················································.059
2.2.3 電路復雜性 ············································································.064
2.3 零知識證明的基本原理 ······································································.068
2.3.1 故事中的零知識證明 ································································.068
2.3.2 模擬器定義“零知識性” ··························································.071
2.3.3 提取器定義“可靠性” ·····························································.075
2.3.4 從交互式證明到簡潔非交互式證明 ··············································.078
第3 章 零知識簡潔非交互論證系統的構造 ........................................................................ 091
3.1 構造零知識簡潔非交互論證系統的主要步驟 ···········································.092
3.1.1 SNARK 系統的底層 ·································································.092
3.1.2 可驗證計算及其設計 ································································.095
3.2 將計算需求轉化為電路 ······································································.103
3.2.1 將問題轉化為程序 ···································································.103
3.2.2 將程序轉化為計算電路 ·····························································.104
3.3 信息論模型的構造 ············································································.112
3.3.1 LIP 模型 ················································································.113
3.3.2 IOP 模型 ···············································································.114
3.4 證明多項式 ·····················································································.115
3.4.1 FRI 承諾 ················································································.115
3.4.2 KZG10 承諾 ···········································································.120
3.4.3 IPA 承諾 ················································································.123
3.4.4 不同方案的對比 ······································································.126
3.5 非交互及零知識的實現 ······································································.127
3.5.1 非交互性 ··························································
展開全部
WEB 3 中的零知識證明 作者簡介
高承實，密碼學博士。中國計算機學會高級會員、區塊鏈專委會執行委員，中國工業與應用數學學會區塊鏈專委會常務委員，中國移動通信聯合會元宇宙產業工作委員會常務委員，中國指揮與控制學會會員、城市大腦與社會綜合治理專家咨詢團隊團員，云安全聯盟CSA大中華區元宇宙技術安全專家組專家，中國密碼學會會員，螞蟻鏈大學認證專家，深圳市信息服務業區塊鏈協會專家導師，亞洲區塊鏈產業研究院專家顧問委員，高承實，密碼學博士，中國計算機學會區塊鏈專委會執行委員、中國工業與應用數學學會區塊鏈專委會常務委員，現擔任安徽棧谷科技有限公司董事長，2020年被浙商產業區塊鏈促進聯盟、宏鏈財經評為"年度行業貢獻者”。出版《區塊鏈技術本質與應用》《元宇宙進化邏輯》《回歸常識——高博士區塊鏈觀察》《區塊鏈中的密碼技術》等著作。同時也是多所大學客座教授。
書友推薦
- >
有舍有得是人生
- >
姑媽的寶刀
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
山海經
- >
朝聞道
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
龍榆生：詞曲概論/大家小書
- >
煙與鏡
本類暢銷
