成都链安科技有限公司（简称成都链安）围绕“让区块链生态更安全”的愿景积极布局区块链安全生态建设。依托形式化验证、网络安全、人工智能和大数据分析等核心技术，打造了面向区块链全生态安全的自主可控的【链必安一站式区块链安全服务平台】，其技术水平被第三方科技成果评价机构认定为“国际先进”，并取得了工信部登记备案。
一、案例背景
IDC2021年3月24号发布了《2021年V1全球区块链支出指南》（IDC Worldwide Blockchain Spending Guide），从技术、行业、应用场景等多个视角发掘未来五年全球区块链市场中的潜在机会，同时总结了过去一年的市场发展情况。IDC预测，2024年全球区块链市场将达到189.5亿美元，五年预测期内（2020-2024）实现约48.0%的复合增长率。
区块链作为一个新兴技术，从诞生之日起，安全问题就和技术演进的过程相伴相生。与金融相关的区块链安全事件以其日益增长的发生频率和令人咋舌的巨额数字备受各界关注。根据成都链安【链必应-区块链安全态势感知平台】监测到的数据不完全统计，截止2021年，整个区块链生态发生的相关典型安全事件数量超300起，相比于2020年的270起，增幅超22%；2021年，整个区块链生态造成的经济损失超153亿美金，较2020年增幅超26%。伴随着区块链底层技术逐步走向成熟，区块链应用价值愈加获得认可，区块链生态所承载的经济效益逐年提升，随之而来的安全风险也愈发严峻。全球加密资产普及程度提升且总市值不断突破历史新高，黑客与不法分子的犯罪行为随之更加猖獗。
二、案例描述
成都链安科技有限公司（简称成都链安）围绕“让区块链生态更安全”的愿景积极布局区块链安全生态建设。依托形式化验证、网络安全、人工智能和大数据分析等核心技术，打造了面向区块链全生态安全的自主可控的【链必安一站式区块链安全服务平台】，其技术水平被第三方科技成果评价机构认定为“国际先进”，并取得了工信部登记备案。该平台涵盖了顶尖的安全产品和安全服务，一方面为区块链相关的企业提供安全审计、安全防护、安全咨询等全方位的安全服务与支持，实现了面向区块链全生命周期的安全解决方案；另一方面协助政府监管机构、金融机构等提供区块链项目的安全检测、安全监测、安全监管、安全预警等技术支持和与服务；第三方面基于区块链技术的数据安全共享与信任，加速传统产业数字化创新转型和发展，提供“区块链+应用+安全”的综合解决方案。核心产品“智能合约自动形式化验证平台”，是成都链安自主研发，也是全球最早将形式化验证技术应用到区块链安全，检测精确度高达97%的国际领先形式化验证技术，为智能合约提供“军事级”的安全保护。
三、核心产品
链必验-智能合约形式化验证平台
链必验是⼀款全球领先的“⼀键式”智能合约形式化验证平台。检测准确率⾼达97%以上，精确定位⻛险代码位置并给出修改建议，⾃动检测智能合约80余项的常规安全漏洞及功能逻辑缺陷。现已拥有⽤⼾10万+，是全球⾸套同时⽀持蚂蚁链、腾讯区块链、FISCO-BCOS、Fabric等的智能合约形式化验证平台。可以极⼤提⾼智能合约的⼈⼯审计效率，有效降低安全隐患遗漏风险。（免费体验入口：https://lianantech.com/#/product?id=Vaas）
链必追-虚拟货币案件智能研判平台
链必追是基于成都链安⽴⾜区块链⾏业多年的安全研发优势，依托协助执法部⻔破获数百起区块链犯罪案件的经验积累，以案件研判过程为场景切⼊打造的，契合执法机构办案流程的虚拟货币案件智能研判平台。产品涵盖智能研判、区块链浏览器、资⾦分析、地址分析、地址监控、调查取证、任务管理、专家⽀持、判例库等核⼼模块，贯穿筛-查-追-调-控-固全流程。
四、实施效果
1、积极响应国家战略风向，搭建“自主创新、自主可控”的区块链安全技术和保障体系
成都链安依托形式化验证、网络安全、人工智能和大数据分析等核心技术，打造了面向区块链全生态安全的自主可控的【链必安一站式区块链安全服务平台】，其技术水平被第三方科技成果评价机构认定为“国际先进”，且取得了工信部登记备案。同时，申请了发明专利和软件著作权30多项。链必验-智能合约形式化验证平台得到了行业的高度好评和客户的一致认可。链必追-虚拟货币案件智能研判平台已经覆盖全国30+省份，300+地级市的执法监管部门，覆盖率达90%以上。
2、深耕区块链监管技术、推动区块链行业标准和规范的建设
成都链安作为区块链安全头部企业，自觉肩负起促进和推动区块链行业监管进程的使命。成都链安已与工信部、网信办、公安部等建立了深度合作，同时，参与了多项国家区块链安全标准和白皮书的撰写，并入选工信部《2018中国区块链产业白皮书》，参与《四川省区块链产业白皮书（2019、2020年）》撰写等行业标准的制定。
3、发挥头部企业优势，推进试点示范
成都链安已与公安、工信部、中国通信院、网信办等执法监管机构，以及包括蚂蚁链、腾讯区块链、微众银行、万向区块链、布比等国内外头部区块链企业建立了深度合作；为全球2000多份智能合约、50多个区块链平台和落地应用系统提供了安全审计与防御部署服务；为上千家执法单位提供了案件前、中、后期全链条技术支持服务，成功协助破获案件总涉案金额数百亿。
在全国范围内形成了良好的应用示范效果，是工信部“网络安全技术应用试点示范项目”单位、CNVD国家区块链安全漏洞平台技术支持单位、中国信通院区块链安全检测的主要技术合作单位、国家互联网应急中心“区块链安全技术检测中心”的主要技术合作单位、四川省区块链安全工程技术研究中心依托单位、四川省区块链基础设施—蜀信链安全检测和准入测试支撑单位。并作为中国信通院可信区块链联盟理事单位和安全组副组长、全国信息安全标准化技术委员会成员单位、中国物流与采购联合会区块链应用分会常务理事单位、北京金融科技产业联盟会员单位、四川省区块链协会理事单位、四川省互联网行业联合会副会长单位等多个区块链相关行业协会成员。并承担了多项国家级、省部级项目。