Neutrino追問®AMA第11期|CertiK 陳波錦：形式化驗證可以從數學邏輯上保證合約中沒有漏洞

交流中，CertiK大中華區負責人陳波錦表示，相比多維測試和實時監控，形式化驗證可以從數學邏輯上保證合約中沒有漏洞。但安全問題沒有100%的係數，其中還涉及公鏈的安全性等。我們看到很多安全事故都是人爲因素導致的，所以真正的安全是多維度的。   第11期Neutrino追問®AMA，我們邀請到CertiK大中華區負責人 陳波錦，圍繞《智能合約攻擊頻發，如何維護區塊鏈生態安全？》爲主題進行了討論，交流

>>阅读原文<<