智能合约工程

图书标准信息

• 作者 胡凯
• 出版社 电子工业出版社
• 出版时间 2024-04
• 版次 1
• ISBN 9787121476235
• 定价 79.80元
• 装帧 其他
• 开本 16开
• 页数 312页
• 字数 499千字

【内容简介】

本书提出和论述了智能合约工程的概念、主要内容和技术体系，在介绍相关思想、理念，以及现有主要智能合约系统基本的基础上，主要论述了智能合约的工程化开发方法、智能合约法律化、智能合约形式化设计与验证方法、智能合约即服务、智能合约并行化等新理论和方法。本书适合从事区块链和智能合约研究开发的科研人员参，以及大学相关专业的本科生和使用。

【作者简介】

:
    胡凯，北京航空航天大学计算机学院教授、博士生导师，北航云南创新研究院数字经济研究所所长，云南省区块链应用技术重点实验室主任。国内区块链研究的早期开拓者之一，提出并发展了智能合约工程（SCE）、验证即服务（VaaS）和智能合约即服务（SCaaS）等创新区块链理论与方法，先后主持区块链领域国家重点研发计划、国家基金、教育部基金等多个重大项目。主持制定发布中国电子学会国内首个区块链智能合约形式化设计与验证标准，联合主编《分布式计算系统导论》《智能合约工程》等国家规划和部级基金教材。主持研发北航链（TrustChain）、链上数据管理系统（OpenData）和智能合约形式化设计与验证平台（ModelSC）等系列产品，在区块链双碳、能源、制造业、生物多样化、大数据资产化，以及省级区块链基础设施建设等多个领域广泛应用。

【目录】

章  智能合约技术1
1.1  区块链带来的技术1
1.1.1  区块链带火了智能合约1
1.1.2  数字社会发展趋势3
1.1.3  合约的意义4
1.2  智能合约的价值5
1.2.1  智能合约的起源5
1.2.2  智能合约的定义6
1.2.3  智能合约与区块链结合的意义8
1.3  智能合约的发展10
1.3.1  智能合约的特点10
1.3.2  智能合约的应用12
1.3.3  智能合约存在的问题14
本章小结15
第2章  区块链基础16
2.1  区块链的基本思想16
2.2  区块链系统结构18
2.2.1  区块链系统分层架构18
2.2.2  区块链的分类与典型结构21
2.2.3  区块链结构的特点23
2.3  区块链的数据结构25
2.3.1  区块及链式结构25
2.3.2  哈希算法26
2.3.3  merkle树28
2.4  区块链共识算法32
2.4.1  pow算法33
2.4.2  算法33
2.4.3  d算法34
2.4.4  拜占庭将军问题34
2.4.5  pbft算法37
2.5  区块链可扩展技术38
2.5.1  侧链技术39
2.5.2  分技术40
2.5.3  中间转发41
2.5.4  未来区块链架构42
2.6  区块链设计案例44
本章小结47
第3章  智能合约设计48
3.1  智能合约模型与设计48
3.1.1  智能合约基本模型48
3.1.2  模型应用49
3.1.3  智能合约存储模型53
3.1.4  智能合约执行模型54
3.1.5  智能合约系统设计56
3.2  众筹智能合约设计59
3.2.1  众筹区块链架构59
3.2.2  众筹智能合约的业务设计61
3.2.3  众筹智能合约的系统设计62
3.2.4  众筹智能合约的详细设计65
3.2.5  智能行业执行机制设计67
3.3  养老保险智能合约设计69
3.3.1  原生智能合约70
3.3.2  用户智能合约74
3.3.3  智能合约自动触发机制75
本章小结76
第4章  以太坊智能合约77
4.1  以太坊基本77
4.1.1  以太坊介绍77
4.1.2  以太坊基本概念78
4.1.3  以太坊系统架构81
4.2  以太坊智能合约82
4.2.1  智能合约模型82
4.2.2  智能合约运行83
4.3  以太坊智能合约编程方法84
4.3.1  搭建本地链84
4.3.2  合约编写86
4.3.3  合约发布87
4.3.4  合约执行87
4.4  以太坊智能合约编程示例87
4.4.1  场景介绍87
4.4.2  伪代码88
4.4.3  合约代码89
4.4.4  合约测试90
4.5  案例：基于以太坊的多签钱包90
本章小结93
第5章  fabric智能合约94
5.1  fabric94
5.1.1  fabric简介94
5.1.2  服务模块95
5.1.3  基本术语96
5.2  fabric智能合约99
5.2.1  智能合约模型99
5.2.2  智能合约实现100
5.3  fabric智能合约编程方法103
5.3.1  构建fabric智能合约开发环境103
5.3.2  链码生成105
5.3.3  链码部署107
5.3.4  链码执行108
5.4  fabric智能合约编程示例108
5.4.1  场景介绍108
5.4.2  伪代码110
5.4.3  合约代码111
5.4.4  合约测试117
本章小结118
第6章  其他典型智能合约119
6.1  eos智能合约119
6.1.1  什么是eos119
6.1.2  架构与119
6.1.3  基本术语120
6.1.4  eos合约虚拟机122
6.1.5  eos智能合约简介124
6.1.6  深入理解eos智能合约127
6.2  diem智能合约130
6.2.1  什么是diem130
6.2.2  架构与130
6.2.3  基本术语132
6.2.4  diem合约虚拟机133
6.2.5  diem智能合约简介134
6.2.6  深入理解diem智能合约136
6.3  fisco bcos智能合约137
6.3.1  什么是fisco bcos137
6.3.2  架构与137
6.3.3  基本术语139
6.3.4  fisco bcos合约虚拟机140
6.3.5  fisco bcos智能合约简介141
6.3.6  深入理解fisco bcos智能合约144
6.4  智能合约综合分析对比145
6.4.1  典型区块链台特征对比145
6.4.2  合约虚拟机对比146
6.4.3  合约语言对比147
本章小结147
第7章  智能合约工程149
7.1  智能合约工程的提出149
7.1.1  智能合约工程思想的起源149
7.1.2  智能合约工程定义151
7.1.3  智能合约工程体系152
7.2  智能合约法律化155
7.2.1  计算法律学的启示155
7.2.2  法律代码科技157
7.3  形式化设计与验证方法158
7.3.1  形式化方法158
7.3.2  形式化验证159
7.3.3  形式化描述语言与建模验证工具162
7.3.4  自动代码生成技术164
7.4  其他关键技术166
7.4.1  智能合约开发方法166
7.4.2  智能合约即服务167
7.4.3  智能合约并行化169
7.4.4  一致测试170
本章小结171
第8章  智能合约开发过程方法173
8.1  智能合约开发173
8.1.1  智能合约的生命周期173
8.1.2  智能合约开发中面临的问题174
8.1.3  智能合约设计的基本原则174
8.2  智能合约过程模型175
8.2.1  形式审计瀑布模型176
8.2.2  模组化螺旋开发模型177
8.2.3  基于构件的领域开发模型177
8.2.4  多源需求演绎开发模型178
8.3  智能合约的柔模组化设计模式179
8.3.1  面向条件的智能合约编程模式180
8.3.2  智能合约生命周期控制合约185
8.3.3  链上链下协同合约模式186
8.4  智能合约与运行环境的一致测试190
8.4.1  测试序列生成算法191
8.4.2  基于sdl的tt一致测试191
8.4.3  测试用例和测试工具192
本章小结194
第9章  法律代码科技195
9.1  智能合约的法律问题195
9.1.1  代码即法律的趋势195
9.1.2  代码的力量197
9.1.3  法律和技术的融合200
9.1.4  法律化的问题202
9.2  基于合同模板的合约法律化204
9.2.1  合约法律化探索204
9.2.2  智能合约模板管理系统205
9.2.3  基于模板的智能合约案例207
9.3  法律代码化的路径探索210
9.3.1  从计算法律学到法律代码科技210
9.3.2  monaccord项目的启示211
9.3.3  法律代码社区215
本章小结221
0章  智能合约形式化设计与验证方法222
10.1  智能合约形式化设计与验证方法概述222
10.1.1  形式化设计与验证方法222
10.1.2  智能合约形式化方法应用226
10.2  基于promela的智能合约形式化设计与验证方法230
10.2.1  模型检测技术230
10.2.2  promela语言与spin模型工具231
10.2.3  基于promela的智能合约建模233
10.2.4  远程购物场景案例237
10.3  基于event-b的智能合约形式化设计与验证方法240
10.3.1  基于event-b的智能合约形式化设计与验证方法概述241
10.3.2  event-b建模方法242
10.3.3  智能合约蜜罐问题验证244
本章小结249
1章  智能合约即服务251
11.1  智能合约即服务251
11.1.1  区块链即服务技术251
11.1.2  智能合约即服务的架构255
11.2  智能合约微服务化257
11.2.1  智能合约微服务化的意义257
11.2.2  智能合约微服务架构259
11.2.3  智能合约微服务的封装260
11.3  验证即服务262
11.3.1  vaas的重要意义262
11.3.2  vaas体系结构264
11.3.3  vaas验证服务265
11.4  智能合约即服务的应用――雾计算268
11.4.1  智能合约的雾计算架构268
11.4.2  雾计算合约服务执行机制270
11.4.3  云雾端智能合约交互策略271
11.4.4  锁定上链协议272
本章小结274
2章  智能合约并行化275
12.1  智能合约并行化概述275
12.1.1  并行化技术275
12.1.2  智能合约的执行流程276
12.1.3  智能合约并行化思想278
12.2  智能合约并行化技术280
12.2.1  数据库事务隔离技术281
12.2.2  基于交易预分类的并行策略282
12.2.3  基于stm的并行策略283
12.3  智能合约并行化设计284
12.3.1  智能合约并行化设计目标284
12.3.2  支持回滚的虚拟机tvm设计286
12.3.3  并行调度算法288
本章小结291
参文献292