招财圈

以太坊大会

Lucy • • 百科 • 阅读 0

链得得（ChainDD）讯，在8月31日晚链得得的“吐槽大会”上，安比（SECBIT）实验室创始人郭宇博士回答“形式化验证为什么解决智能合约安全问题”时表示，目前智能合约中存在最普遍的安全问题是整数溢

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

关键词: 以太坊
本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 931614094@qq.com 举报，一经查实，本站将立刻删除。
以太坊大会文档下载： PDF DOC TXT
赞 (89)
上一篇
下一篇

猜你喜欢