1. 首页
  2. 7×24h 快讯
  3. 动态 | 成都链安科技发布VaaS“一键式”智能合约自动形式化验证平台

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

成都链安科技(Beosin)正式上线全新版“一键式”智能合约自动形式化验证平台VaaS-ETH 精简版。VaaS平台是成都链安科技采用形式化验证技术研发出的首个同时支持ETH、EOS、Fabric等多个智能合约安全检测系统,达到95%以上准确率。VaaS-ETH 精简版可让区块链从业者免费体验VaaS“一键式”智能合约安全检测功能,对智能合约多项安全问题进行筛查。
成都链安科技针对区块链安全问题打造的全生态安全服务还包括:钱包开发和审计、VaaS平台定制化开发、安全的Dapp开发与审计一条龙、安全的智能合约开发审计一条龙、交易所和公链平台安全检测等。

上一篇:

下一篇:

发表评论

登录后才能评论