成都链安科技有限公司，成立于2018年，公司位于四川省成都市，专注于区块链全生态安全。公司由杨霞和郭文生两位教授共同创建，团队核心成员由来自海内外知名高校和实验室留学经历的教授、博士后、博士及阿里、华为等知名企业精英组成。已获得分布式资本、界石资本、盘古创富等著名投资机构的两轮股权投资。其核心技术为形式化验证，是全球最早一批将此技术应用到区块链安全领域的公司。自主研发出全球首个同时支持ETH、EOS、Fabric、ONT、TRON等多个区块链平台的高度自动化的智能合约形式化验证平台VaaS，准确率达到95%以上，相关研究成果已申请多项软件发明专利。已与Huobi、KuCoin、ONT、Qtum、比原链、Wanchain、麦子钱包、EOSPark等共计超过40家区块链公司建立战略合作关系，审计报告被国内外各大知名交易所认可。审计智能合约超500份，独立发现区块链安全漏洞10余个，获得行业及客户的一致好评和认可。 公司提供智能合约安全审计、钱包安全加固与审计、DApp安全加固与审计、交易所安全检测、企业级安全服务等全生态安全业务。让区块链全生态更安全，是我们的美好愿景！