區塊鏈智能合約及形式化驗證平臺 VaaS 講解

2017年7月20號，Parity 的多簽名錢包合約被曝漏洞，致使3200萬美圓的數字貨幣被盜，甚至連 DAO、BEC 這樣的著名項目市值也出現了一晚上歸零的慘痛事件，而全部代幣都由智能合約生成，因此，毫無疑問，智能合約是區塊鏈生態安全中最重要的一環，愈來愈多的人逐漸意識到區塊鏈智能合約安全的重要性。git 本場 Chat 主要內容爲：安全 形式化驗證的定義？原理是什麼？方法舉例？ 黑客是如何攻擊

>>阅读原文<<