構造形式化證實，解決智能合約安全問題——你的合約亟待證實

安比（SECBIT）實驗室與 Consensys 中國、輕信科技等團隊聯手，在智能合約安全的形式化證實領域展開深度合做。html 智能合約安全問題始終是縈繞在數字貨幣各個項目方、開發者和投資者心頭的一顆定時炸彈。愈來愈多的安全團隊積極參與，試圖經過更完備手段來解決合約安全問題。安比（SECBIT）實驗室認爲，形式化驗證與傳統的「測試+審計」方式相結合，將會是保證智能合約安全強有力的手段。git 7

>>阅读原文<<