成都链安科技有限公司(简称成都链安)是一家致力于区块链安全生态建设的全球领先区块链安全公司，也是最早将形式化验证技术应用到区块链安全的公司。2018年3月由电子科技大学教授、博士后联合创立，团队成员均来自从事信息安全行业多年的国内外知名院校教授、博士后、博士以及知名企业精英。现有团队成员近200人，技术人员占比超过85%，已在北京、深圳、杭州、海南等多地设有分公司和办事处。先后获得上海云镌(蚂蚁区块链)、前海母基金、联想创投、复星高科等知名机构的多轮投资，已与工信部、信通院、网信办、公安等执法监管机构以及头部区块链企业建立了深度合作。
成都链安致力于产业区块链安全防护与保障，可提供全方位的产业区块链安全服务和技术支持。基于成都链安从“代码安全—运行安全—安全监管”的一站式区块链安全解决方案，我们可以为产业区块链提供全生命周期的安全解决方案，为产业区块链的安全发展保驾护航。
为护航产业区块链安全发展，成都链安还重磅推出了链必验-智能合约形式化验证平台。
成都链安链必验-智能合约形式化验证平台是全球最早将形式化验证技术应用到智能合约的代码安全自动化检测的工具。这种基于「数学推理」的验证方法，一方面能精确证明代码是否存在安全漏洞，另一方面能有效解决传统技术对人员经验的严重依赖和无法穷举的问题。链必验，“一键式”自动检测智能合约代码安全，精确定位风险代码，产品和技术已达到国际领先，获得全球10W+生态用户和区块链开发者使用。
安全护航，安全发展，重视安全发展应该也必须是产业区块链生态发展的重中之重。成都链安将继续积极发挥区块链安全头部企业优势，依托我们的联盟链安全整体解决方案助力联盟链安全健康发展，让安全防护措施先行一步。
