链得得（ChainDD）讯，在8月31日晚链得得的“吐槽大会”上，安比（SECBIT）实验室创始人郭宇博士回答“形式化验证为什么解决智能合约安全问题”时表示，目前智能合约中存在最普遍的安全问题是整数溢出漏洞，以太坊上大量合约存在该漏洞，有些可以直接导致 token 归零；而形式化验证能很好地解决整数溢出这类问题。 同时他表示，智能合约的安全性是一个综合性问题，形式化验证适用于解决某些问题，但不是全部问题。 链得得吐槽大会还在继续，下载链得得App，随时关注进展。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。