登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書

『簡體書』Web 3 中的零知识证明

書城自編碼： 4038938
分類：簡體書→大陸圖書→計算機/網絡→程序設計
作者： 高承实
國際書號(ISBN)： 9787121488115
出版社： 电子工业出版社
出版日期： 2024-09-01

頁數/字數： /
書度/開本： 16开 釘裝： 平装

售價：HK$ 107.8

我要買 件

share:

** 我創建的書架 **
未登入.

新書推薦：
税的荒唐与智慧：历史上的税收故事
《 税的荒唐与智慧：历史上的税收故事 》
售價：HK$ 107.8
图式疗法的刻意练习
《 图式疗法的刻意练习 》
售價：HK$ 87.9
人间游戏：人际关系心理学（500万册畅销书《蛤蟆先生》理论原典，帮你读懂人际关系中那些心照不宣的“潜规则”）
《 人间游戏：人际关系心理学（500万册畅销书《蛤蟆先生》理论原典，帮你读懂人际关系中那些心照不宣的“潜规则”） 》
售價：HK$ 43.8
伟大的遗址（亲历100座人类文明考古奇迹）
《 伟大的遗址（亲历100座人类文明考古奇迹） 》
售價：HK$ 206.8
秦汉国家的思想、信仰与皇权政治
《 秦汉国家的思想、信仰与皇权政治 》
售價：HK$ 215.6
反卷社会：打破优绩主义神话（一本直面焦虑与困境的生活哲学书！）
《 反卷社会：打破优绩主义神话（一本直面焦虑与困境的生活哲学书！） 》
售價：HK$ 83.6
偶然事件（命运总是欺软怕硬，你不认命就会赢！）
《 偶然事件（命运总是欺软怕硬，你不认命就会赢！） 》
售價：HK$ 54.9
余下只有噪音：聆听20世纪（2025）
《 余下只有噪音：聆听20世纪（2025） 》
售價：HK$ 206.8

 
建議一齊購買：

+

HK$ 90.9
《一本书讲透JavaScript》		 +

HK$ 91.8
《Java程序设计经典课堂（第2版）》		 +

HK$ 97.9
《大模型推荐系统：算法原理、代码实战与案例分析》		 +

HK$ 102.4
《PID控制系统设计——使用MATLAB和Simulink仿真》		 +

HK$ 117.5
《Node.js企业级应用开发实战》		 +

HK$ 187.7
《微服务架构设计模式》
內容簡介：
基于当前 Web 3 世界的快速发展，零知识证明在落地应用方面取得了快速进展。本书从技术原理和相关具体工程实现的角度对其进行介绍。本书第1章从总体上回顾了 Web 3 的发展，以及当前的表现形态，第2章和第3章从最简洁的数学层面向读者介绍了零知识证明是什么，以及如何构建零知识证明。第4章从技术层面介绍了 Web 3 世界中零知识证明的主流实现方案，第5章从应用层面介绍了零知识证明在 Web 3 世界中的一些典型应用，第6章介绍了零知识证明在其他领域的应用及展望。本书定位为科普读物，面向的读者包括但不限于 Web 3 领域的从业者、对零知识证明感兴趣的学生及业内人士。
關於作者：
高承实，密码学博士。中国计算机学会高级会员、区块链专委会执行委员，中国工业与应用数学学会区块链专委会常务委员，中国移动通信联合会元宇宙产业工作委员会常务委员，中国指挥与控制学会会员、城市大脑与社会综合治理专家咨询团队团员，云安全联盟CSA大中华区元宇宙技术安全专家组专家，中国密码学会会员，蚂蚁链大学认证专家，深圳市信息服务业区块链协会专家导师，亚洲区块链产业研究院专家顾问委员，高承实，密码学博士，中国计算机学会区块链专委会执行委员、中国工业与应用数学学会区块链专委会常务委员，现担任安徽栈谷科技有限公司董事长，2020年被浙商产业区块链促进联盟、宏链财经评为\年度行业贡献者”。出版《区块链技术本质与应用》《元宇宙进化逻辑》《回归常识——高博士区块链观察》《区块链中的密码技术》等著作。同时也是多所大学客座教授。
目錄：
目 录
第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 非交互性 ··························································

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.