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

2017年7月20号，Parity 的多签名钱包合约被曝漏洞，致使3200万美圆的数字货币被盗，甚至连 DAO、BEC 这样的著名项目市值也出现了一晚上归零的惨痛事件，而全部代币都由智能合约生成，因此，毫无疑问，智能合约是区块链生态安全中最重要的一环，愈来愈多的人逐渐意识到区块链智能合约安全的重要性。git 本场 Chat 主要内容为：安全 形式化验证的定义？原理是什么？方法举例？ 黑客是如何攻击

>>阅读原文<<