2020-06-18(文中所提及时间均为UTC时间)，以太坊上的智能合约Bancor Network被爆出存在严重漏洞。

虽较上月情况来看，本月安全事件数量略有减少，但损失金额却更多，交易所和钱包安全事件的发生仍呈上升趋势，且黑客主要攻击方式是漏洞利用，说明交易所安全意识仍需加强。

VaaS 平台介绍 VaaS平台（Verification as a Service）是Beosin（成都链安）经过2年多潜心钻研，自主研发出的全球首个同时支持ETH、EOS、ONT、Fabric、TRON等多个区块链平台的高度自动化智能合约形式化验证平台，准确率达到95 ...

“Beosin BOS-IDE”同时支持BOS智能合约在线编辑、编译、一键部署和调试等多种功能，供所有开发者免费使用。

Beosin EOS-IDE 是一款免费的面向EOS区块链平台的智能合约在线集成开发环境，可同时支持合约开发、部署、测试和源码调试等功能的在线区块链应用开发集成环境。

VaaS——为智能合约和区块链应用提供“军事级”的形式化验证服务