基于侧链的去中心化智能合约审计系统

目录

声明

1 绪论

1.1 课题背景与意义

1.2 相关技术与系统

1.2.1 以太坊简介

1.2.2 以太坊交易概念简介

1.2.3 智能合约简介

1.2.4 以太坊共识机制简介

1.2.5 侧链技术简介

1.3 国内外研究现状

1.3.1 通用合约审计方法

1.3.2 自动化合约审计

1.3.3 智能合约漏洞检测方面研究现状

1.4 研究内容

1.5 文章组织结构

2 系统设计

2.1 系统设计需求

2.1.1 设计目标

2.1.2 系统概述

2.2 系统假设

2.3 系统威胁模型

2.4 激励模型

2.5 以太坊参数分析与概率模型

2.6 系统架构

2.7 小结

3 关键模块的实现

3.1 系统功能模块划分

3.2 Solidity编译模块实现

3.3 侧链启动模块实现

3.3.1 合约发布模块

3.3.2 角色报名模块

3.4 审计模块实现

3.5 收尾同步模块实现

3.5.1 激励模块

3.5.2 合并模块

3.6 小结

4 系统测试与分析

4.1 概率模型分析

4.2.1 矿工概率模型分析

4.2.2 用户概率模型

4.3 系统测试环境

4.4 系统功能性测试

4.5 系统性能测试

4.6小结

5 总结与展望

致谢

参考文献

附录1 攻读硕士期间申请的专利

附录2攻读硕士期间参与的项目