区块链安全监控与威胁分析
实时监控区块链网络活动，检测异常交易和潜在威胁（如黑客攻击或洗钱行为），利用安全态势感知技术提供预警和响应服务，包括入侵检测、行为分析和安全事件管理，以保障区块链系统的整体安全。
智能合约审计
对智能合约代码进行全面的安全审计，包括漏洞检测、代码审查和风险评估，利用自动化工具和手动分析识别常见漏洞（如重入攻击、整数溢出），并提供可操作修复建议，以提升合约的可靠性和合规性。
形式化验证服务
提供高度自动化的形式化验证平台VaaS（Verification as a Service），专为智能合约和区块链应用提供严格的数学证明式安全验证，确保代码逻辑的正确性和无漏洞，预防潜在安全风险，服务涵盖从开发阶段到部署后的持续监控。
融资次数
5
员工数量
50-99人
专利数量
29
经营范围
许可项目：互联网信息服务。（依法须经批准的项目，经相关部门批准后方可开展经营活动，具体经营项目以相关部门批准文件或许可证件为准）一般项目：技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广；软件开发；信息系统集成服务；软件销售；互联网数据服务；数据处理和存储支持服务。（除依法须经批准的项目外，凭营业执照依法自主开展经营活动）
主营业务
专注于区块链安全的形式化验证服务及相关安全解决方案，包括智能合约审计、威胁监测和防护，旨在为企业提供高可靠性的安全保障。
成都链安科技有限公司
有限责任公司(自然人投资或控股)
￥172万
2018-03-29
杨霞
028-83262585
wangkeyin@lianantech.com
中国（四川）自由贸易试验区成都高新区天府大道中段1268号1栋7层11-15号