新書推薦：
《
异域回声——晚近海外汉学之文史互动研究
》
售價：NT$
500.0
《
世界文明中的作物迁徙：聚焦亚洲、中东和南美洲被忽视的本土农业文明
》
售價：NT$
454.0
《
无端欢喜
》
售價：NT$
347.0
《
股票大作手操盘术
》
售價：NT$
245.0
《
何以中国·何谓唐代：东欧亚帝国的兴亡与转型
》
售價：NT$
398.0
《
一间只属于自己的房间 女性主义先锋伍尔夫代表作 女性精神独立与经济独立的象征，做自己，比任何事都更重要
》
售價：NT$
203.0
《
泉舆日志 幻想世界宝石生物图鉴
》
售價：NT$
611.0
《
养育女孩 ： 官方升级版
》
售價：NT$
230.0
|
| 內容簡介： |
|
本书提出和论述了智能合约工程的概念、主要内容和技术体系，在介绍相关思想、理念，以及现有主要智能合约系统基本原理的基础上，主要论述了智能合约的工程化开发方法、智能合约法律化、智能合约形式化设计与验证方法、智能合约即服务、智能合约并行化等新理论和方法。本书适合从事区块链和智能合约研究开发的科研人员参考，以及大学相关专业的本科生和研究生使用。
|
| 關於作者： |
|
胡凯，男，工学博士，教授，博士生导师。研究内容包括：分布式系统、机群和网格计算、计算机仿真技术、区块链等。先后主持国家自然基金4项，核高基课题，多项863基金项目，航空科学基金以及航空航天领域科研项目。近年来在国内外期刊和学术会议上发表SCI/EI论文50余篇，编写教材和著作共3部。
|
| 目錄：
|
第1章 智能合约技术革命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 PoS算法33
2.4.3 DPoS算法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 Fabric原理94
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的TTCN一致性测试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 CommonAccord项目的启示211
9.3.3 法律代码社区215
本章小结221
第10章 智能合约形式化设计与验证方法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
第11章 智能合约即服务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
第12章 智能合约并行化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
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽
HOME
新書上架
