扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级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年被浙商产业区块链促进联盟、宏链财经评为"年度行业贡献者”。出版《区块链技术本质与应用》《元宇宙进化逻辑》《回归常识——高博士区块链观察》《区块链中的密码技术》等著作。同时也是多所大学客座教授。
书友推荐
本类畅销
-
编译原理(第4版)/刘铭
¥29.3¥45 -
-
-
陪孩子玩Scratch:在游戏编程中培养计算思维(全三册)
¥45.8¥128 -
从零开始学架构:照着做你也能成为架构师
¥63.4¥99 -
Python极客项目编程
¥25.8¥69
浏览历史
计算机视觉技术与应用
¥52.8¥69.0化工计算与软件应用(包宗宏)(第三版)
¥59.7¥69.0博弈视角下横向兼并的反竞争效应及反垄断规制研究
¥18.5¥46.0高频电子线路-(第2版)
¥26.2¥35.0新高考数学学科学业指导
¥46.5¥69.0
