可编程社会：Web3.0与智能合约

图书标准信息

• 作者 蔡维德
• 出版社 电子工业出版社
• 出版时间 2022-11
• 版次 1
• ISBN 9787121438523
• 定价 89.00元
• 装帧 其他
• 开本 16开
• 页数 344页
• 字数 550.4千字

【内容简介】

本书从国际和国内数字经济发展的角度出发（包括国际智能合约标准化和新型预言机），提供新型数字经济蓝图及路线，即基于区块链的可编程经济模式及发展路线的皋陶模型。全书分四个部分共15章：第一部分为新型数字经济；第二部分为智能合约科技；第三部分为智能合约监管；第四部分为智能合约应用。 本书聚合了区块链、智能合约、数字经济、互链网领域相关的最新进展资讯，对国际上关于元宇宙与Web 3.0的研究进行了介绍，希望为读者朋友的工作和事业带来有益的启发和思考。

【作者简介】

蔡维德，国家特聘专家，北京航空航天大学博士生导师，清华大学长江学者讲座教授；麻省理工学院学士，加州大学伯克利分校计算机科学硕士和博士，在美国明尼苏达大学和亚利桑那州立大学从事教育研究30余年。现任国家科技部重大项目负责人，中国计算机行业协会元宇宙产业专委会副会长、中国科技新闻学会元宇宙科技专委会发起人以及首席科学家、中国信息界区块链研究院院长，国家大数据（贵州）综合试验区区块链互联网实验室主任、中国云体系联盟常务理事兼专家委员、天德科技首席科学家、 赛迪（青岛）区块链研究院名誉院长、工业和信息化法治研究所高级研究员、中国企业与发展研究会高级研究员。发表论文600 余篇，著作8本，论文被引用超过1.4万次，H指数64。蔡教授长期从事软件工程、测试、安全、网络协议、区块链技术、互链网等前沿技术研究工作。蔡教授自2016年起，先后开发了熊猫模型、金丝猴模型，皋陶模型、交子模型、链中链、块中块、洋葱模型、库中库、数字权益等技术，并发展区块链产业沙盒。

【目录】

第一部分  新型数字经济

第1章  新型数字经济与区块链

1.1  新旧数字经济

1.2  央行数字货币

1.3  数字货币战争

第2章  Web 3.0数字经济

2.1  NFT、元宇宙、融合数字货币

2.2  互联网发展的三个阶段

2.3  Web 3.0的定义

2.4  美国国会认可Web 3.0

2.5  Web 3.0以数字货币作为交易媒介

2.6  Web 3.0融合分权式金融（DeFi）

2.7  NFT的影响

2.8  元宇宙的影响

2.9  Web 3.0支持创作者

2.10  大批生态企业建立大型 Web 3.0

2.11  Web的3.0特点

2.12  Web 3.0建立下一代互联网

2.13  新型人工智能超算系统出现

2.14  新型隐私保护的超算系统

2.15  新型元宇宙操作系统

第3章  非同质化权益、华夏元宇宙与中华链

3.1  NFT火爆的原因和问题

3.2  中国需要合规数字艺术品

3.3  中国特色的NFR

3.4  华夏元宇宙顺势而生

3.5  中华链

第4章  智能合约合规需求

4.1  国际金融市场相关监管政策

4.2  国际金融市场交易规则

4.3  李嘉图合约合规路线

第5章  智能合约法律性

5.1  智能合约的法律属性

5.2  智能合约与合同法的关系

5.3  智能合约与私法体系的关系

5.4  智能合约面临的法律风险

第二部分  智能合约科技

第6章  智能合约语言

6.1  概述

6.2  七种典型的智能合约语言

6.3  结论

第7章  智能合约平台

7.1  以太坊

7.2  雅阁项目

7.3  Hyperledger Fabric

7.4  Corda

7.5  Diem

7.6  Algorand

7.7  Polkadot

7.8  Solana

7.9  Cardano

第8章  智能合约的执行

8.1  智能合约解释执行原理概述

8.2  三种典型的智能合约执行引擎

8.3  智能合约可信执行平台设计

第9章  金融市场智能合约标准：ISDA

9.1  背景

9.2  ISDA的主要思想与主协议

9.3  ISDA智能衍生品合约的构建

9.3.1  与标准的兼容性

9.3.2  ISDA通用域模型（CDM）

9.3.3  合同内外的复杂性

9.4  ISDA智能衍生品合约实例

9.5  ISDA与DeFi的对比

第10章  金融交易智能合约的开发

10.1  智能合约的开发现状与问题分析

10.2  模型驱动开发方法保证智能合约的可信交易

10.3  BeagleMo可信交易智能合约的模型驱动开发解决方案

第11章  预言机

11.1  预言机种类

11.2  ChainLink

11.3  DOS Network

11.4  Provable系统

第12章  智能合约漏洞

12.1  智能合约常见的漏洞

12.2  智能合约漏洞检测方法

12.3  常用的智能合约漏洞检测工具

第三部分  智能合约监管

第13章  网络监管科技

13.1  TRISA旅行规则

13.2  STRISA：一种实施旅行规则的新架构

13.3  网络监管技术讨论278

第14章  金融监管与反洗钱

14.1  主流科技公司监管方案分析

14.2  牧羊犬模型

14.3  常见的客户身份识别（KYC）方法

14.4  常见的反洗钱（AML）算法

14.5  牧羊犬模型在反洗钱案例中的应用

第四部分  智能合约应用

第15章  智能合约典型应用

15.1  新型征信模型：曾子模型

15.2  资产证券化

附录  2020—2021年相关科技事件一览

参考文献