标题（Title） 一般不超过80个字符
成都链安
（4 个字符）
关键词（KeyWords）一般不超过100个字符
成都链安、链安、区块链、区块链生态、专注区块链生态、链安全审计、智能合约安全审计、防御部署、威胁情报、链上追踪、web3.0安全、虚拟货币追踪、联盟链、联盟链安全、联盟链解决方案、联盟链生态、智能合约、形式化验证、智能合约检测、智能合约安全、区块链安全、反、智能合约开发、虚拟货币、虚拟货币、虚拟货币、虚拟货币、链必追、链必验、链必检、数字货币、混币、跑分、成都链安科技有限公司、成都链安科技、联盟链审计、区块链安全咨询
（210 个字符）
描述（Description）一般不超过200个字符
成都链安是一家致力于区块链安全生态建设的全球领先的区块链安全公司，也是最早将形式化验证技术应用到区块链安全的公司，总部位于四川成都。公司由电子科技大学教授联合创立，团队成员均来自从事信息安全行业多年的国内外知名院校教授、博士后、博士以及知名企业精英，现有团队成员余人，技术人员占比超过%。已在北京、深圳、杭州、海南等多地设有分公司和办事处。目前已与、工信部、中国通信院、网信办等执法监管机构，以及包括蚂蚁链、腾讯区块链、微众银行、万向区块链、布比等国内外头部区块链企业建立了深度合作；为全球多份智能合约、多个区块链平台和落地应用系统提供了安全审计与防御部署服务；为上千家执法单位提供了案件前、中、后期全链条技术支持服务，成功协助破获案件总涉案金额数百亿。
（327 个字符）
