形式化验证平台 (VaaS)
成都链安的VaaS平台是一种高度自动化的区块链形式化验证系统，基于数学建模和定理证明技术。核心创新点在于其全自动化工作流，通过静态分析和动态建模自动检测智能合约中的逻辑错误和漏洞（如重入攻击、溢出等），而无需依赖手动代码审查。关键技术包括结合模型检查、抽象解释和符号执行，确保验证过程的严谨性和可扩展性。创新之处是系统能高效处理大规模智能合约，生成数学证明报告，并提供可解释性的安全保证。
融资次数
5
员工数量
50-99人
专利数量
29
经营范围
许可项目：互联网信息服务。（依法须经批准的项目，经相关部门批准后方可开展经营活动，具体经营项目以相关部门批准文件或许可证件为准）一般项目：技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广；软件开发；信息系统集成服务；软件销售；互联网数据服务；数据处理和存储支持服务。（除依法须经批准的项目外，凭营业执照依法自主开展经营活动）
主营业务
专注于区块链安全的形式化验证服务及相关安全解决方案，包括智能合约审计、威胁监测和防护，旨在为企业提供高可靠性的安全保障。
成都链安科技有限公司
有限责任公司(自然人投资或控股)
￥172万
2018-03-29
杨霞
028-83262585
wangkeyin@lianantech.com
中国（四川）自由贸易试验区成都高新区天府大道中段1268号1栋7层11-15号