数字人民币区块链系统安全加固
成都链安为某央行数字货币（CBDC）项目提供区块链安全服务，具体针对数字人民币相关应用的底层架构。服务方法包括使用VaaS平台进行形式化验证，自动化测试智能合约的完整性和一致性，发现数据传输漏洞和权限问题。团队通过详尽的验证报告和现场指导，帮助客户修复缺陷，增强系统的抗攻击能力，确保合规运行。
Huobi Eco Chain生态安全审计
成都链安服务于火币生态链（Heco）的多个DeFi项目，例如Heco链上的去中心化交易所和借贷协议。服务内容包括利用VaaS平台对项目智能合约执行形式化验证，通过自动化工具模拟各种攻击场景（如闪电贷攻击和溢出漏洞），识别潜在风险点并提交定制化修复建议。合作过程涉及定期安全监测和审计报告，帮助Heco项目方减少安全事故，提升整个生态系统的可信度和稳定性。
SUN.io智能合约审计
成都链安为波场（TRON）区块链上的DeFi项目SUN.io提供安全审计服务。服务过程中，他们使用自主研发的形式化验证平台VaaS，对SUN.io的智能合约代码进行自动化分析，通过严格的数学验证方法检测出多个漏洞，包括重入攻击漏洞和权限控制缺陷。团队随后生成详细审计报告，指导项目方修复问题，并协助完成安全部署，最终确保该DeFi平台上线后资金安全无事故。
融资次数
5
员工数量
50-99人
专利数量
29
经营范围
许可项目：互联网信息服务。（依法须经批准的项目，经相关部门批准后方可开展经营活动，具体经营项目以相关部门批准文件或许可证件为准）一般项目：技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广；软件开发；信息系统集成服务；软件销售；互联网数据服务；数据处理和存储支持服务。（除依法须经批准的项目外，凭营业执照依法自主开展经营活动）
主营业务
专注于区块链安全的形式化验证服务及相关安全解决方案，包括智能合约审计、威胁监测和防护，旨在为企业提供高可靠性的安全保障。
成都链安科技有限公司
有限责任公司(自然人投资或控股)
2018-03-29
杨霞
wangkeyin@lianantech.com
中国（四川）自由贸易试验区成都高新区天府大道中段1268号1栋7层11-15号