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 将从技术服务角度出发,为区块链行业的发展贡献出自己一份力量的基础上,保障全球区块链资产安全。

  • 发表于:
  • 原文链接https://kuaibao.qq.com/s/20181205B11H5900?refer=cp_1026
  • 腾讯「腾讯云开发者社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 cloudcommunity@tencent.com 删除。

扫码关注云+社区

领取腾讯云代金券