一行代碼蒸發64億？！形式化驗證幫你一秒避免悲劇

硅谷Live / 實地探訪 / 熱點探祕 / 深度探討 CertiK: 智能合約和區塊鏈系統的形式化驗證平臺 區塊鏈時代，智能合約的安全性被無限放大，一個小小的bug就能導致上億美元的損失。美鏈(BEC)近日被爆出安全漏洞，被黑客用以太坊ERC-20智能合約中BatchOverFlow漏洞攻擊，引發價格閃崩，當日幣價幾乎歸0。除了美鏈，據英國和新加坡的研究人員統計，超過34000個智能合約都有可被

>>阅读原文<<