Web 3 中的零知識(shí)證明

定　價(jià)：￥98.00

作　者：	高承實(shí)
出版社：	電子工業(yè)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買這本書可以去

當(dāng)當(dāng)網(wǎng) (￥98.00)

ISBN：	9787121488115	出版時(shí)間：	2024-09-01	包裝：	平裝-膠訂
開本：	16開	頁(yè)數(shù)：		字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　基于當(dāng)前 Web 3 世界的快速發(fā)展，零知識(shí)證明在落地應(yīng)用方面取得了快速進(jìn)展。本書從技術(shù)原理和相關(guān)具體工程實(shí)現(xiàn)的角度對(duì)其進(jìn)行介紹。本書第1章從總體上回顧了 Web 3 的發(fā)展，以及當(dāng)前的表現(xiàn)形態(tài)，第2章和第3章從最簡(jiǎn)潔的數(shù)學(xué)層面向讀者介紹了零知識(shí)證明是什么，以及如何構(gòu)建零知識(shí)證明。第4章從技術(shù)層面介紹了 Web 3 世界中零知識(shí)證明的主流實(shí)現(xiàn)方案，第5章從應(yīng)用層面介紹了零知識(shí)證明在 Web 3 世界中的一些典型應(yīng)用，第6章介紹了零知識(shí)證明在其他領(lǐng)域的應(yīng)用及展望。本書定位為科普讀物，面向的讀者包括但不限于 Web 3 領(lǐng)域的從業(yè)者、對(duì)零知識(shí)證明感興趣的學(xué)生及業(yè)內(nèi)人士。

作者簡(jiǎn)介

　　高承實(shí)，密碼學(xué)博士。中國(guó)計(jì)算機(jī)學(xué)會(huì)高級(jí)會(huì)員、區(qū)塊鏈專委會(huì)執(zhí)行委員，中國(guó)工業(yè)與應(yīng)用數(shù)學(xué)學(xué)會(huì)區(qū)塊鏈專委會(huì)常務(wù)委員，中國(guó)移動(dòng)通信聯(lián)合會(huì)元宇宙產(chǎn)業(yè)工作委員會(huì)常務(wù)委員，中國(guó)指揮與控制學(xué)會(huì)會(huì)員、城市大腦與社會(huì)綜合治理專家咨詢團(tuán)隊(duì)團(tuán)員，云安全聯(lián)盟CSA大中華區(qū)元宇宙技術(shù)安全專家組專家，中國(guó)密碼學(xué)會(huì)會(huì)員，螞蟻鏈大學(xué)認(rèn)證專家，深圳市信息服務(wù)業(yè)區(qū)塊鏈協(xié)會(huì)專家導(dǎo)師，亞洲區(qū)塊鏈產(chǎn)業(yè)研究院專家顧問(wèn)委員，高承實(shí)，密碼學(xué)博士，中國(guó)計(jì)算機(jī)學(xué)會(huì)區(qū)塊鏈專委會(huì)執(zhí)行委員、中國(guó)工業(yè)與應(yīng)用數(shù)學(xué)學(xué)會(huì)區(qū)塊鏈專委會(huì)常務(wù)委員，現(xiàn)擔(dān)任安徽棧谷科技有限公司董事長(zhǎng)，2020年被浙商產(chǎn)業(yè)區(qū)塊鏈促進(jìn)聯(lián)盟、宏鏈財(cái)經(jīng)評(píng)為"年度行業(yè)貢獻(xiàn)者”。出版《區(qū)塊鏈技術(shù)本質(zhì)與應(yīng)用》《元宇宙進(jìn)化邏輯》《回歸常識(shí)——高博士區(qū)塊鏈觀察》《區(qū)塊鏈中的密碼技術(shù)》等著作。同時(shí)也是多所大學(xué)客座教授。

圖書目錄

目錄
第1 章 Web 3 新基建崛起 ..................................................................................................... 001
1.1 Web 3 主流敘事 ···············································································.001
1.1.1 史前敘事 ···············································································.002
1.1.2 公鏈降臨 ···············································································.004
1.1.3 去中心化金融DeFi 創(chuàng)世 ····························································.007
1.1.4 非同質(zhì)化代幣NFT 異軍突起 ······················································.012
1.1.5 鏈游GameFi 先聲奪人 ······························································.017
1.2 Web 3 基礎(chǔ)設(shè)施體系初現(xiàn) ···································································.020
1.2.1 Web 3 基礎(chǔ)設(shè)施框架 ·································································.020
1.2.2 數(shù)據(jù)服務(wù) ···············································································.023
1.2.3 去中心化身份堆棧 ···································································.030
1.2.4 安全與審計(jì) ············································································.034
1.3 零知識(shí)證明敘事升溫 ·········································································.038
1.3.1 零知識(shí)證明的奧妙 ···································································.039
1.3.2 自主掌控隱私 ·········································································.041
1.3.3 破解可擴(kuò)展性難題 ···································································.045
第2 章揭開零知識(shí)證明的神秘面紗 .................................................................................... 050
2.1 “證明”的歷史 ···············································································.050
2.1.1 從歸納推理到演繹推理 ·····························································.050
2.1.2 形式化符號(hào)語(yǔ)言推理 ································································.051
2.1.3 計(jì)算機(jī)證明 ············································································.052
2.1.4 交互式證明 ············································································.053
2.2 繞不開的計(jì)算復(fù)雜性 ·········································································.054
2.2.1 基本概念 ···············································································.054
2.2.2 P 問(wèn)題、NP 問(wèn)題與NPC 問(wèn)題 ·····················································.059
2.2.3 電路復(fù)雜性 ············································································.064
2.3 零知識(shí)證明的基本原理 ······································································.068
2.3.1 故事中的零知識(shí)證明 ································································.068
2.3.2 模擬器定義“零知識(shí)性” ··························································.071
2.3.3 提取器定義“可靠性” ·····························································.075
2.3.4 從交互式證明到簡(jiǎn)潔非交互式證明 ··············································.078
第3 章零知識(shí)簡(jiǎn)潔非交互論證系統(tǒng)的構(gòu)造 ........................................................................ 091
3.1 構(gòu)造零知識(shí)簡(jiǎn)潔非交互論證系統(tǒng)的主要步驟 ···········································.092
3.1.1 SNARK 系統(tǒng)的底層 ·································································.092
3.1.2 可驗(yàn)證計(jì)算及其設(shè)計(jì) ································································.095
3.2 將計(jì)算需求轉(zhuǎn)化為電路 ······································································.103
3.2.1 將問(wèn)題轉(zhuǎn)化為程序 ···································································.103
3.2.2 將程序轉(zhuǎn)化為計(jì)算電路 ·····························································.104
3.3 信息論模型的構(gòu)造 ············································································.112
3.3.1 LIP 模型 ················································································.113
3.3.2 IOP 模型 ···············································································.114
3.4 證明多項(xiàng)式 ·····················································································.115
3.4.1 FRI 承諾 ················································································.115
3.4.2 KZG10 承諾 ···········································································.120
3.4.3 IPA 承諾 ················································································.123
3.4.4 不同方案的對(duì)比 ······································································.126
3.5 非交互及零知識(shí)的實(shí)現(xiàn) ······································································.127
3.5.1 非交互性 ··························································