智能合约安全与形式化验证课程

  课程天数：1天

  课程介绍

     智能合约是区块链技术架构中最容易让人憧憬与振奋的技术之一。通过构建中心化的应用，可以使得各种个人与组织的协作以一种安全可信的方式在链上完成，可以

使得沟通与协作的效率提升百倍甚至更高。灵活的编程一方面使得智能合约可以实现各种可能，但是另一方面也不避免地引入了各种安全问题与逻辑漏洞。智能合约作为一种新兴的技术，其技术架构也在飞速地迭代升级过程中。

     本课程首先系统地讲解智能合约的安全体系，然后对于常见的智能合约安全问题进行综述性的介绍。然后通过实际案例使学员们认识到智能合约的安全问题的关键所在。然后本课程将讲解一些常规化的安全保障措施以及智能合约平台上非常热门的形式化验证技术。本课程将以深入浅出的方式将形式化验证原理进行剖析，分析与对比。通过实际的智能合约形式化验证实际案例使学员们能够理解形式化验证的基本思路与方法。

  课程收益

     了解相关理论技术的基本概念；

     了解相关技术的最前沿的研究成果；

     了解相关理论技术的实用案例；

     介绍一些常用的工具以及开源代码库；

  培训对象

     区块链团队研发人员以及想了解区块链技术的部门人员；

  课程大纲

第一单元：智能合约的安全问题概述

     1、智能合约体系结构概述

     2、智能合约安全问题分类

     3、常见智能合约安全漏洞

     4、智能合约的安全保障对策

     5、针对以太坊平台的合约攻击案例分析

第二单元：智能合约安全监测

     1、智能合约安全检测原理

     2、静态分析技术原理

     3、符号执行技术原理

     4、安全检测工具架构

     5、安全检测工具的局限与使用场景

第三单元：形式化验证原理

     1、形式化验证原理概述

     2、数理逻辑与形式化验证

     3、形式化验证与传统软件测试的对比

     4、形式化验证方法与流程

     5、形式化验证技术面临的问题与挑战

第四单元：智能合约形式化验证

     1、智能合约的语义模型

     2、智能合约验证框架

     3、一个简单的合约形式化案例分析

     4、形式化验证的实践经验