Beosin Tracing (链上追踪)
区块链安全事件响应工具，用于追溯可疑交易路径和分析资金流向。结合链上数据挖掘和AI算法，快速定位黑客攻击源头（如盗窃或钓鱼事件），生成可视化追踪报告，协助执法机构和项目方恢复被盗资金，加强链上安全治理。
Beosin KYT (交易合规解决方案)
反洗钱和合规监控工具，针对区块链交易提供实时风险识别服务。通过分析交易模式，自动标记高风险活动（如黑地址关联、可疑资金流动），帮助金融平台和监管机构满足AML/CFT监管要求。该产品整合链上数据，生成审计报告，支持定制化合规策略，辅助企业防范洗钱和恐怖融资风险。
Beosin Smart Contract Audit (智能合约审计服务)
专业的智能合约安全审计服务，结合手动代码审查和自动化工具（如静态分析和符号执行），对DeFi、NFT和DAO等应用的合约代码进行全方位检查。审计内容涵盖重入漏洞、权限漏洞和逻辑缺陷等，输出详细的审计报告和漏洞修复建议，确保合约在部署后安全可靠。该服务已应用于多个知名区块链项目，显著提升其安全性能。
Beosin Eagle Eye (鹰眼安全监控)
实时区块链安全监控系统，通过大数据分析和机器学习技术，实时扫描多条公链（如比特币、以太坊、波场）的交易活动，自动检测异常行为（如可疑转账、钓鱼攻击和市场操纵），并提供风险预警、应急响应和可视化报告。该产品帮助交易所、钱包服务商和机构用户监控资金安全，及时应对黑客事件，降低经济损失。
VaaS (验证即服务)
成都链安的旗舰产品VaaS是首个高度自动化的区块链形式化验证平台，专注于提供智能合约和区块链应用的自动化安全验证服务。它采用形式化方法学（如符号执行和模型检测），自动分析代码逻辑，检测潜在漏洞（如重入攻击、整数溢出和权限控制问题），确保代码在部署前达到“军事级”安全性。该平台支持主流区块链（如以太坊、EOS），提供详细漏洞报告和修复建议，帮助开发者减少黑客攻击风险。
融资次数
5
员工数量
50-99人
专利数量
29
经营范围
许可项目：互联网信息服务。（依法须经批准的项目，经相关部门批准后方可开展经营活动，具体经营项目以相关部门批准文件或许可证件为准）一般项目：技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广；软件开发；信息系统集成服务；软件销售；互联网数据服务；数据处理和存储支持服务。（除依法须经批准的项目外，凭营业执照依法自主开展经营活动）
主营业务
专注于区块链安全的形式化验证服务及相关安全解决方案，包括智能合约审计、威胁监测和防护，旨在为企业提供高可靠性的安全保障。
成都链安科技有限公司
有限责任公司(自然人投资或控股)
2018-03-29
杨霞
wangkeyin@lianantech.com
中国（四川）自由贸易试验区成都高新区天府大道中段1268号1栋7层11-15号