您的位置:主页 > 项目一览

Vaas一键式智能合约安全检测平台

日期:2018-12-10     阅读:1152       来源:中国中小企业四川网
        项目名称(14个字以内):Vaas一键式智能合约安全检测平台

【公司】成都链安科技有限公司

【行业】信息安全服务                                  融资金额:630万元

【主讲人姓名】杨霞

【主讲人职务】总经理

【主讲人电话】13458685796

【公司预计参会人数】1-2人

【项目简介】500字左右

公司介绍:

由电子科技大学副教授杨霞女士牵头成立,团队核心员工由海外知名高校留学经历的教授、博士后、博士组成,团队成员40人。已获得分布式资本、界石、盘古创富两轮股权投资。

主营业务及核心产品:

基于VaaS“一键式”形式化验证技术进行ETH、EOS、Fabric等平台的智能合约安全审计,并出具各大交易所认可的安全审计报告。同时还针对区块链安全问题打造的全生态安全服务还包括:钱包开发和审计、VaaS平台定制化开发、安全的Dapp开发与审计一条龙、安全的智能合约开发审计一条龙、交易所和公链平台安全检测等。

公司开发核心产品:VaaS平台—高度自动化的形式化验证平台。

优势:

VaaS(Verification as a Service)采用形式化验证的方法提高区块链安全性,是全球首个同时支持EOS、以太坊、Fabric等区块链智能合约的自动形式化验证平台。VaaS平台的“一键式”形式化验证工具,可精确定位到有风险的代码位置并指出风险原因,有效的验证智能合约或区块链应用的常规安全漏洞、安全属性和功能正确性,并出具各大交易所认可的安全审计报告。VaaS平台从源码到字节码完备的形式化验证方法,减少人工参与,提高了审计效率,安全检测准确度达到98%。目前相关研究成果已申请软件发明专利4项 。

运营情况:

1、通过Vass平台审计的智能合约已超过500份,销售和技术服务覆盖全球多个国家;

2、首家发现10多个智能安全合约漏洞;

3、入选工信部《2018区块链白皮书》;

4、已与火币、Okex、库币、ONT、Qutm、Bumo等40多家区块链公司建立合作关系,并提供安全审计服务;

5、入选Etherscan智能合约安全审计推荐名单;

6、获得Okex最佳安全审计合作伙伴奖;

7、参加工信部多个区块链安全标准和白皮书的撰写,并成为安全审计的行业标准;

8、平台提供全生态的安全解决方案。

融资:本轮融资资金主要用于平台搭建、市场开拓和业务全方面发展。