高度自动化区块链形式化验证平台VaaS,准确率高达95%以上


(成都链安) #1

一、区块链形式化验证平台一一VaaS

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

VaaS平台采用了形式化验证方法,为智能合约和区块链应用提供“军事级”的形式化验证服务。VaaS平台的“一键式”形式化验证工具,可精确定位到有风险的代码位置并指出风险原因,有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性,从而显著提高其安全等级。

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


(emacs) #2

没看懂