成都「链安科技」近期获多轮融资，共计数千万人民币，由联想创投、复星高科领投
近日，区块链安全公司成都链安科技有限公司（以下简称「链安科技」）宣布获得多轮融资，共计数千万人民币，由联想创投、复星高科领投，成创投、任子行战略投资，分布式资本、界石资本、盘古创富等老股东均跟投。这也是「链安科技」继2018年5月获分布式资本种子轮投资，2018年11月获界石资本、盘古创富天使轮投资后的第三、四轮融资。
对于此次融资，成都「链安科技」相关负责人表示将用于持续深化区块链全生态安全布局、研发“一站式”区块链安全服务平台、开展自主可控的区块链安全技术研究、提升用户全新体验及全球化市场的拓展，助力成都链安成为全球区块链安全领域的行业标杆。
成都「链安科技」是一家区块链安全公司，将形式化验证技术应用到区块链安全领域，其打造的“一站式区块链安全服务平台”，是全球首个“一键式”智能合约自动形式化验证工具，可一键查验代码漏洞，检测准确率超过97%。
经过在区块链技术上进行了大量投入和深入探索，成都「链安科技」如今已布局了一整套区块链安全网络大体系。面向整个行业推出了“一站式区块链安全服务平台”，能提供业界最高质量的区块链安全服务。
主要包括基于形式化验证的一键式智能合约安全检测平台(Beosin-VaaS)、区块链安全态势感知平台（Beosin-Eagle Eye）、防火墙（Beosin-Firewall）、反洗钱合规和调查取证系统(Beosin-AML)、威胁情报系统(Beoin-OSINT)、智能合约开发工具（Beosin-IDE）六大产品。
团队层面，「链安科技」整个团队约60人左右，其中85%为研发人员。创始人杨霞是电子科技大学博士后，是国内最早从事区块链形式化验证的专家，从事形式化验证、内核安全、移动设备安全等安全技术长达18年；联合创始人郭文生长期从事形式化方法和理论研究，发表学术论文20多篇；合伙人高子扬是马德里康普斯顿学士、广西大学硕士，参与多个项目的投资孵化管理，United labs投资联盟成员。
