盘点 | Beosin成都链安9月发生安全事件共9起，造成超1.3亿人民币的损失

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

Beosin成都链安高度自动化的区块链形式化验证平台VaaS（Verification as a Service）准确率达95%以上

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

Beosin BOS-IDE一块同时支持在线编辑、编译、一键部署和调试等多种功能的BOS智能合约开发工具

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

在线 Beosin EOS-IDE 免费版本同时支持智能合约在线编辑、编译、运行调试、部署

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

高度自动化的区块链形式化验证平台VaaS

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