区块链智能合约及形式化验证平台 VaaS 讲解

DAO、Parity、BEC 等著名项目的市值几乎一夜归零，都是由于智能合约漏洞引起，智能合约究竟是什么？如何针对这些安全问题进行防范？本场 Chat 将会对交互进行详解。

本场 Chat 主要内容为：

1. 智能合约是什么？
2. 黑客是如何攻击交易所的智能合约？
3. 形式化验证如何保障合约安全？
4. VaaS 平台的作用及优势？
5. 实际案例展示。

关键词：智能合约，形式化验证，VaaS 平台，安全漏洞。

阅读全文: http://gitbook.cn/gitchat/activity/5b28e75751bc1a7cd5bd2432