智能合约 Beosin 自动智能合约形式化验证平台 VaaS——为智能合约提供 “军事级” 的形式化验证服务

Beosin · 2019年04月24日 · 159 次阅读

一、区块链形式化验证平台一一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

三、智能合约安全审计报告查询系统

为了便于合作项目方查询Beosin(成都链安)出具的合约安全审计报告,VaaS平台可为已在公司做过合约审计的项目方免费提供“智能合约安全审计报告”查询系统,合作项目方可自行在“报告查询”页面输入审计报告编号及主合约名称或地址,即可随时查询到智能合约审计报告。

▲“智能合约审计报告查询”系统

“智能合约审计报告查询”系统网址: https://beosin.com/query/index.html#/

暂无回复。
需要 登录 后方可回复, 如果你还没有账号请点击这里 注册