成都链安科技有限公司,成立于2018年,公司位于四川省成都市,专注于区块链全生态安全。公司由杨霞和郭文生两位教授共同创建,团队核心成员由来自海内外知名高校和实验室留学经历的教授、博士后、博士及阿里、华为等知名企业精英组成。已获得分布式资本、界石资本、盘古创富等著名投资机构的两轮股权投资。其核心技术为形式化验证,是全球最早一批将此技术应用到区块链安全领域的公司。自主研发出全球首个同时支持ETH、EOS、Fabric、ONT、TRON等多个区块链平台的高度自动化智能合约形式化验证平台VaaS,准确率达到95%以上,相关研究成果已申请多项软件发明专利。首批入选Etherscan智能合约审计推荐名单及普华永道创新加速器,荣获全国首届中小微企业SaaS应用创新创业大赛冠军,获得OKEx最佳安全审计合作伙伴奖等荣誉,参加工信部多项区块链安全标准的撰写,入选工信部 2018区块链白皮书 ,作为唯一安全公司入选 2018中国区块链企业百强榜 ,荣膺金色财经 2018年度最专业安全服务机构 、 2019中国区块链安全领军企业 称号,荣获火星财经 最佳区块链数据安全团队 奖项,成为2019年区块链技术与数据安全工业和信息化部重点实验室成员单位。已与Huobi、OKEx、KuCoin、ONT、Qtum、比原链、Wanchain、BOS、麦子钱包、EOSPark等共计超过50家区块链公司建立战略合作关系,审计报告被国内外各大知名交易所认可,为助力本体智能合约安全发布形式化验证平台VaaS-ONT。公司审计智能合约超500份,独立发现区块链安全漏洞几十种,获得行业及客户的一致好评和认可。
公司提供智能合约安全审计、钱包安全加固与审计、DApp安全加固与审计、交易所安全检测、企业级安全服务等全生态安全业务。让区块链生态更安全,是我们的美好愿景!