成都链安科技发布VaaS“一键式”智能合约自动形式化验证平台

成都链安科技（Beosin）正式上线全新版“一键式”智能合约自动形式化验证平台VaaS-ETH 精简版。VaaS平台是成都链安科技采用形式化验证技术研发出的首个同时支持ETH、EOS、Fabric等多个区块链平台的智能合约安全检测系统，达到95%以上准确率。VaaS-ETH 精简版可让区块链从业者免费体验VaaS“一键式”智能合约安全检测功能，对智能合约多项安全问题进行筛查。

成都链安科技针对区块链安全问题打造的全生态安全服务还包括：钱包开发和审计、VaaS平台定制化开发、安全的Dapp开发与审计一条龙、安全的智能合约开发审计一条龙、交易所和公链平台安全检测等。