Beosin首批入驻 EOSPark SEC 平台，构建安全可信赖的 EOS 生态

在区块链安全中，智能合约的安全性至关重要。据相关数据显示，2011年至2018年，由智能合约安全事件导致的经济损失达12.4亿美元，目前，由智能合约安全事件导致的经济损失已经超越交易所，位列第一。

EOS 作为最为活跃的智能合约平台之一，提供了强大的可编程性，具备惠及全世界用户的潜力，其上运行的智能合约的安全性，更值得我们关注。为了让智能合约乃至区块链生态更加安全，Beosin（成都链安）今日正式入驻 EOSPark SEC 平台，携手 EOSPark 构建安全可信的 EOS 生态。

▲EOSPark SEC 是一个 EOS 智能合约安全信息展示平台，试图通过联合开发者/项目方、安全厂商披露必要的智能合约安全信息，让用户在使用 EOS 合约时，做到更加放心。

对于 EOS 用户来说，可通过该平台直接查询某个 EOS 合约，获取该合约的安全信息。如：

1、合约是否通过代码一致性校验（通过一致性校验意味着 EOS 上运行的代码，与开发者/项目方提供的代码完全一致）；

2、合约是否经过安全厂商的代码审计（经过审计一般意味着存在安全漏洞可能性较低）；

3、合约最新的控制权信息。

我们以 EOS 用户的角度来举一个简单的例子，比如你要查询自己的 EOS 合约是否安全，你可以将合约名称输入：

如果合约“尚未经过合约一致性”校验，则表明用户在使用该 EOS合约时需更加谨慎。如果 EOS合约“已通过代码一致性”校验并且经过第三方安全公司代码审计，这就表明该 EOS合约存在安全漏洞的可能性较低，用户在使用该合约时所遇到的风险系数较小：

如果您是开发者或者项目方，源代码尚未经过安全厂商审计，可以选择 EOSPark 甄选的优质安全厂商进行合约安全审计，比如Beosin（成都链安）。经过审计的合约存在安全漏洞的可能性更小，以增强最终用户的使用信心。

Beosin（成都链安科技）专注维护区块链生态安全，利用丰富的形式化验证学术背景，历经2年潜心自主研发“一键式”智能合约形式化验证平台—VaaS，支持多种主流公链平台（EOS，ETH，Fabric等）的智能合约验证，准确率高达95%以上。

已在全球审计智能合约超500份，独立发现漏洞10余个，首批入选Etherscan智能合约审计推荐名单，荣获OKEx最佳安全审计合作伙伴奖，另与Huobi、KuCoin等多家国内外交易所以及多个公链平台ONT、Qtum、Wanchain、比原链、QuarkChain等共计超过40家区块链公司建立战略合作关系，审计报告被国内外各大知名交易所认可。

未来随着区块链落地应用越来越多，智能合约的数量肯定也会爆发性地增长。面向行业领域特定需求的智能合约，业务逻辑会更加复杂，而且会逐步形成标准化开发流程。面对一系列的安全挑战，Beosin 将从技术服务角度出发，为区块链行业的发展贡献出自己一份力量的基础上，保障全球区块链资产安全。