中图网

>

程序设计

>

其他

WEB 3 中的零知识证明

作者：高承实著

出版社：电子工业出版社出版时间：2024-09-01

开本：其他页数： 288

本类榜单：计算机/网络销量榜

中图价:¥77.4(7.9折) 定价 ~~¥98.0~~ 登录后可看到会员价

加入购物车收藏

运费6元，满39元免运费

?新疆、西藏除外

本类五星书更多>

>
决战行测5000题(言语理解与表达)

决战行测5000题(言语理解与表达)

¥38.8¥88
>
软件性能测试.分析与调优实践之路

软件性能测试.分析与调优实践之路

¥49.3¥69
>
第一行代码Android

第一行代码Android

¥58.4¥99
>
深度学习

深度学习

¥92.4¥168
>
Unreal Engine 4蓝图完全学习教程

Unreal Engine 4蓝图完全学习教程

¥72.2¥168
>
深入理解计算机系统-原书第3版

深入理解计算机系统-原书第3版

¥104.3¥139
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)

Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)

¥21¥49.9

商品详情
商品评论(0条)

中图价:¥77.4 加入购物车

版权信息
内容简介
目录
作者简介

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年被浙商产业区块链促进联盟、宏链财经评为"年度行业贡献者”。出版《区块链技术本质与应用》《元宇宙进化逻辑》《回归常识——高博士区块链观察》《区块链中的密码技术》等著作。同时也是多所大学客座教授。

商品评论(0条)

写书评赚书币

暂无评论……

书友推荐