成都链安科技

成都链安科技有限公司（简称成都链安）是一家专注于区块链安全生态建设的全球领先区块链安全公司，成立于2018年3月，由电子科技大学教授、博士后联合创立。公司以网络安全、形式化验证、人工智能和大数据分析四大技术为核心，打造了面向区块链全生态安全的“Beosin一站式区块链安全服务平台”，提供安全审计、虚拟资产追溯与AML反洗钱、安全防护、威胁情报、安全咨询和应急等全方位的安全服务与支持。

成都链安在区块链安全领域取得了显著成就，全球首个发现EOS合约安全漏洞，并持续挖掘安全漏洞85000+，第一时间预警区块链安全事件近千起，保护客户资产超5000亿美元。公司已申请软件发明专利和著作权60余项，牵头承担多个国家重点研发计划项目课题，参与多项区块链国家标准及行业标准撰写。此外，成都链安获得了工信部、中央网信办、CNVD、信通院等权威部门的高度认可并建立了深度合作。

成都链安的核心产品包括“链必验-智能合约形式化验证平台”和“链必追-虚拟货币案件智能研判平台”。链必验是全球最早将形式化验证技术应用到智能合约的代码安全自动化检测的工具，可自动检测智能合约代码安全，产品和技术已达到国际领先。链必追拥有超10亿链上地址标签库，结合上千种案件模型及AI智能引擎和链上大数据分析技术，精准分析海量链上数据并持续追踪。该平台的关键技术与应用项目荣获中国电子学会科技进步二等奖，并多次获得国家级、省部级荣誉。

成都链安的愿景是成为“全球第一的区块链安全公司”，并致力于搭建起我国“自主创新、自主可控”的区块链安全技术和保障体系。