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

2017年7月20号，Parity 的多签名钱包合约被曝漏洞，导致3200万美元的数字货币被盗，甚至连 DAO、BEC 这样的著名项目市值也出现了一夜归零的惨痛事件，而所有代币都由智能合约生成，所以，毫无疑问，智能合约是区块链生态安全中最重要的一环，越来越多的人逐渐意识到区块链智能合约安全的重要性。

本场 Chat 主要内容为：

1. 形式化验证的定义？原理是什么？方法举例？
2. 黑客是如何攻击区块链平台的智能合约？
3. VaaS 系统架构及 VaaS“一键式”自动形式化验证平台操作演示
4. 对智能合约安全生态建设方面的工作：
   • 发现了以太坊智能合约的安全漏洞；
   • 对区块链相关安全漏洞进行深入分析；
   • 通过对 EOS 合约审计发现 EOS 智能合约存在的问题，并进行总结同时给与建议。

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

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

您还可以下载 CSDN 旗下精品原创内容社区 GitChat App ，阅读更多 GitChat 专享技术内容哦。