【链得得“吐槽大会”】郭宇：以太坊大量合约存在整数溢出漏洞，可直接导致token归零

【链得得播报】链得得（ChainDD）讯，在8月31日晚链得得的“吐槽大会”上，安比（SECBIT）实验室创始人郭宇博士回答“形式化验证为什么解决智能合约安全问题”时表示，目前智能合约中存在最普遍的安全问题是整数溢出漏洞，以太坊上大量合约存在该漏洞，有些可以直接导致 token 归零；而形式化验证能很好地解决整数溢出这类问题。

同时他表示，智能合约的安全性是一个综合性问题，形式化验证适用于解决某些问题，但不是全部问题。

链得得吐槽大会还在继续，下载链得得App，随时关注进展。