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

Beosin 成都链安   |     |   378 次阅读

VaaS 平台介绍

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

VaaS平台采用了形式化验证方法,为智能合约和区块链应用提供“军事级”的形式化验证服务,具有验证效率高、自动化程度高、人工参与度低、易于使用、支持多个合约开发语言、支持大容量区块链底层平台的形式化验证等技术优势:

一、技术

采用多种形式化验证方法,产品国际领先、国内第一。

二、自动化

“一键式”自动定位代码漏洞和bug、精准检测和定位、效率高。

三、多维度

合约设计、开发、安全审计一体化解决方案。

四、完备验证

从源码到字节码完备的形式化验证。

五、多平台支持

面向多个区块链平台(全球首个同时支持以太坊、EOS、Fabric、TRON等)。

VaaS平台的“一键式”形式化验证工具,可精确定位到有风险的代码位置并指出风险原因,有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性,从而显著提高其安全等级。相关研究成果已申请软件发明专利4项。

2018年5月,工信部发布了《2018中国区块链产业白皮书》,在“区块链安全保护”章节中,详细介绍了Beosin(成都链安)研发的VaaS形式化验证平台,公司凭借“一键式”形式化验证平台VaaS,审计过的智能合约超过500份且发现漏洞10余个,并于2018年7月入选Etherscan智能合约安全审计推荐名单及获得OKEx最佳安全审计合作伙伴奖。

VaaS平台官方网址:
https://beosin.com/vaas/index.html#/audit/ptsj

形式化验证是什么

形式化验证最早是应用于航天、航空、军事等领域的安全关键软件中的技术,是一种基于数学和逻辑学的方法。具体来讲,在智能合约部署之前,对其代码和文档进行形式化建模,然后通过数学的手段对代码的安全性和功能正确性进行严格的证明,可有效检测出智能合约是否存在安全漏洞和逻辑漏洞。该方法可以有效弥补传统的靠人工经验查找代码逻辑漏洞的缺陷。形式化验证技术的优势在于,用传统的测试等手段无法穷举所有可能输入,而用数学证明的角度,就能克服这一问题,提供更加完备的安全审计。形式化验证跟传统互联网安全公司的做法有着本质的区别,传统的互联网安全公司是「以攻促防」,而形式化验证是直接从代码自身安全角度出发,实现预防不安全事件的发生。

免费智能合约安全审计平台VaaS(精简版)及用户手册

VaaS(精简版)系统为所有区块链从业者提供方便而免费的智能合约安全审计服务,支持 ETH 区块链平台的智能合约形式化验证,对智能合约安全漏洞进行形式化验证,从容应对常规合约安全问题。

(一)PC端操作步骤

VaaS精简版PC端中,注册用户可在“合约检测”页面中上传合约代码文件或复制粘贴合约源码,“一键式”智能合约常规漏洞形式化验证平台VaaS精简版将快速、准确的定位智能合约常规安全问题,真正实现了高效、便捷、标准化的审计流程。

但检测结果仅供参考,不能作为审计报告,如需要专业的审计报告,需联系Beosin在线商务进行专家审计。


▲VaaS 平台“合约检测”功能(PC端)

VaaS 精简版PC端为区块链从业者提供免费VaaS“一键式”智能合约形式化验证后,用户可到“我的合约”中查看检测结果。


▲智能合约形式化验证检测结果(PC端)

VaaS(精简版)PC端官方网址:
https://beosin.com/vaas/index.html#/audit/ptsj

(二)移动端操作步骤

VaaS-ETH精简版移动端中,区块链从业者可在页面输入智能合约地址,VaaS-ETH系统“一键式”常规漏洞自动形式化验证平台可快速、准确的定位智能合约常规安全问题,为区块链从业者提供免费快捷的合约安全审计。

但检测结果仅供参考,不能作为审计报告,如需要专业的审计报告,需联系Beosin在线商务进行专家审计。


▲VaaS-ETH 平台“合约检测”功能(移动端)

VaaS-ETH 精简版移动端为区块链从业者提供免费VaaS“一键式”智能合约形式化验证后,用户可直接在页面上查看检测结果。


▲智能合约形式化验证检测结果(移动端)

VaaS-ETH(精简版)移动端官方入口:
https://www.beosin.com/vaas/wap/index.html

成都链安工具平台现已上线ETHFans 网址导航开发者论坛与开发工具板块

 
0 人喜欢