-
-
[原创]成都链安发布智能合约自动形式化验证平台VaaS-ETH精简版 安全检测达到95%以上准确率
-
发表于: 2018-11-7 15:56 10415
-
作为以太坊生态的核心,智能合约这几年发展迅速。最早的智能合约,可以追溯到1995年,由密码学家尼克萨博首次提出。智能合约在多方参与、复杂交易的场景中有明显优势。
然而,近期随着智能合约安全问题的频繁出现,智能合约的劣势也愈发明显,包括智能合约如何对实体资产进行控制,从而保证其有效地执行合约;以及如何保证代码完全反应合约方的意志而不出现漏洞等。这些问题所引起的漏洞,使DAO、Parity、BEC等著名项目的市值几乎一夜归零,轻易导致了例如损失加密货币资产、扰乱金融秩序等的致命灾难性后果。据统计,目前由智能合约安全漏洞引起的损失已经达到区块链安全引发损失的30%以上。
综上我们可以看出,智能合约的代码安全审计和验证尤为重要,只有在安全性上获得充分的审查,安全得以保证,智能合约才能在未来执行的时候发挥既定的作用,真正意义上规避风险,防止由于代码漏洞引起的资产损失。但目前市面上还发现能够有效检测智能合约安全性的解决方案。
针对智能合约安全问题,成都链安科技(Beosin)正式上线全新版“一键式”智能合约自动形式化验证平台VaaS-ETH 精简版(请登陆官方网址:
http://www.lianantech.com)。VaaS平台是成都链安科技经过1年多潜心钻研,采用形式化验证技术研发出的全球首个同时支持ETH、EOS、Fabric等多个区块链平台的智能合约安全检测系统,达到95%以上准确率,使得成都链安科技成为国内最早一家将形式化验证技术应用到区块链安全领域的公司。
▲VaaS-ETH 精简版平台
值得关注的是,相比于半自动化的智能合约形式化验证,VaaS 平台的“一键式”形式化验证工具对智能合约安全验证的过程,不仅能自动、快速、精确检查出智能合约存在的10大类27小类安全问题,同时支持ETH、EOS、Fabric等多个区块链平台的智能合约安全检测系统,达到95%以上准确率,还能精确定位到有风险的代码位置并指出风险原因,最后完成整个审计过程,有效验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性。
为了为区块链生态出一份力量,成都链安科技今日向全球发布VaaS-ETH精简版本,让区块链从业者免费体验VaaS“一键式”智能合约安全检测功能,对智能合约安全问题进行筛查,事先防止合约安全问题。
本次发布的VaaS平台主要功能分为三大类:
·VaaS-ETH精简版本,为智能合约开发者提供免费的合约安全检测。
·为合作项目方提供免费的“智能合约安全审计报告”查询功能,可快速查询本公司出具的合约安全审计报告。
·为项目方提供合约安全审计服务,经过专家审计后公司出具被国内外各大知名交易所认可的智能合约安全审计报告。
一、VaaS-ETH精简版本,为智能合约开发者提供免费的合约安全检测
在VaaS-ETH精简版中,智能合约开发者可在“合约检测”里上传合约代码文件,VaaS-ETH系统“一键式”常规漏洞自动检测工具可快速、准确的查找智能合约常规安全问题,真正实现了高效、便捷、标准化的审计流程。
但检测结果仅供参考,不能作为审计报告,如需要专业的审计报告,需联系成都链安科技在线商务进行专家审计。
▲VaaS-ETH 平台“合约检测”功能
VaaS-ETH 精简版为区块链从业者提供免费VaaS“一键式”智能合约安全检测后,用户可到“我的合约”中查看检测结果。
▲智能合约检测结果
二、为合作项目方提供免费的“智能合约安全审计报告”查询功能,可快速查询本公司出具的合约安全审计报告
为了便于合作项目方查询成都链安科技出具的安全审计报告,VaaS平台可为已在公司做过合约审计的项目方免费提供“智能合约安全审计报告”查询功能,合作项目方可自行在“报告查询”页面输入审计报告编号及主合约名称或地址,即可随时查询到智能合约审计报告。
▲“智能合约审计报告查询”功能
三、为项目方提供合约安全审计服务,经过专家审计后公司出具被国内外各大知名交易所认可的智能合约安全审计报告
VaaS-ETH 精简版不仅能为智能合约开发者提供合约检测,同时也能为区块链项目方提供领先于行业的专业智能合约安全检测服务,帮助项目方在把智能合约部署上链前发现安全漏洞并指出风险原因,促使项目方进行漏洞修复,经过专家审计后公司为项目方提供被国内外各大交易所认可的智能合约专业审计报告。
该项服务目前仅针对付费项目方开放,报告中会体现智能合约潜在漏洞、漏洞位置及风险原因,为项目方提供可靠的安全审计服务。
为了升级用户的体验,节省用户的宝贵时间,VaaS平台同时支持中、英、韩等多国语言,同时还搭建了“在线客服”系统,浏览网页有疑问、上传智能合约代码文件不明白、寻找快速合作途径,都可直接找在线客服,多途径为用户答疑解惑,提供贴心、专业的知识问答。
▲VaaS 平台“在线客服”功能
此外,为了全球化市场战略需要,成都链安科技发布全新英文品牌 “Beosin”。“Beosin”中文可理解为北辰,北辰意为北极星,论语有言:为政以德,譬如北辰。Beo又取自Beowulf, 是英国撒克逊人的传奇伟人,提剑这个形象很符合Beowulf,同时也柔和了中国文化传统。
▲公司新品牌Logo
作为深耕区块链安全领域的公司,成都链安科技使用“Beosin”成为全新品牌形象,更具可识别性且更赋能安全领域。同时我们将更加重视智能合约的安全性,力求为行业保驾护航,以打造区块链全生态安全为宗旨,努力成为未来区块链技术项目的标杆之作。
目前VaaS-ETH精简版已在全球全面展开了免费安全审计服务,成都链安科技针对区块链安全问题打造的全生态安全服务还包括:钱包开发和审计、VaaS平台定制化开发、安全的Dapp开发与审计一条龙、安全的智能合约开发审计一条龙、交易所和公链平台安全检测等。
如果您需要了解更多关于成都链安科技(Beosin)智能合约自动形式化验证平台VaaS-ETH精简版的情况,请您访问http://www.lianantech.com,欢迎朋友们免费体验,并对同行产品进行对比测试。
[培训]内核驱动高级班,冲击BAT一流互联网大厂工作,每周日13:00-18:00直播授课