-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级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 非交互性 ··························································
WEB 3 中的零知识证明 作者简介
高承实,密码学博士。中国计算机学会高级会员、区块链专委会执行委员,中国工业与应用数学学会区块链专委会常务委员,中国移动通信联合会元宇宙产业工作委员会常务委员,中国指挥与控制学会会员、城市大脑与社会综合治理专家咨询团队团员,云安全联盟CSA大中华区元宇宙技术安全专家组专家,中国密码学会会员,蚂蚁链大学认证专家,深圳市信息服务业区块链协会专家导师,亚洲区块链产业研究院专家顾问委员,高承实,密码学博士,中国计算机学会区块链专委会执行委员、中国工业与应用数学学会区块链专委会常务委员,现担任安徽栈谷科技有限公司董事长,2020年被浙商产业区块链促进联盟、宏链财经评为"年度行业贡献者”。出版《区块链技术本质与应用》《元宇宙进化逻辑》《回归常识——高博士区块链观察》《区块链中的密码技术》等著作。同时也是多所大学客座教授。
- >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥15.7¥45.8 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥16.9¥49.8 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥14.1¥32.0 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥21.6¥48.0 - >
我与地坛
我与地坛
¥16.4¥28.0 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥18.6¥55.0 - >
巴金-再思录
巴金-再思录
¥15.7¥46.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0
-
编译原理(第4版)/刘铭
¥29.3¥45 -
陪孩子玩Scratch:在游戏编程中培养计算思维(全三册)
¥45.8¥128 -
从零开始学架构:照着做你也能成为架构师
¥63.4¥99 -
Python极客项目编程
¥25.8¥69
民国人物小传-第十五册
¥26.3¥56.0玻璃工业机械与设备(第二版)
¥58.8¥68.0语音识别:模式、算法设计与实践
¥63.4¥99.0半焦的利用
¥49.4¥88.0Python编程基础(本科教材)
¥22.9¥39.8