成都链安科技获界石资本、盘古创富数百万美元天使轮投资

起风财经Eve2018-11-07 17:51 资本

对于智能合约和区块链底层平台的安全问题，链安科技采用的验证方法是形式化验证。

　　起风财经讯，11月7日，成都链安科技（以下简称：链安科技）宣布获得数百万美元天使轮投资，本轮投资方为界石资本和盘古创富。链安科技表示，此次融资主要用于开展区块链全生态安全的基础研究、产品研发和全球化市场的拓展。

　　链安科技成立于2018年3月，是一家从事智能合约形式化验证的区块链安全公司，目前已与火币、OKEX、ONT、Qtum等国内十多家区块链行业的企业建立了长期的战略合作，同时入选中国工信部《2018中国区块链产业白皮书》和Etherscan智能合约安全审计推荐名单。

　　界石投资关注金融科技和区块链技术领域的早期项目，投资了多个区块链项目，如布比、本体、Scry、GAEA等。盘古创富是2008年成立的美元基金，重点投资TMT和医疗领域，投资的代表项目包括大众点评、寺库、摩贝、赛傲等。

　　对于智能合约和区块链底层平台的安全问题，链安科技采用的验证方法是形式化验证。创始人兼CEO杨霞介绍到，这是一种数学形式化的描述和数学的推理。

　　作为智能合约安全的检测入口，链安科技提供了四种验证服务：第一个是检测合约是否存在常见问题；第二个是验证合约中用户给定的功能属性、满足性问题；第三个是合约的功能正确性验证；第四个是对底层区块链平台核心代码检查。

　　目前，链安科技已经研发出同时支持EOS、ETH、Fabric的“一键式”智能合约形式化验证平台VaaS。相比较市场上如过江之鲫的区块链安全公司，开发出同时支持多个平台验证的VaaS是链安科技目前的优势所在。

团队方面，创始人兼CEO杨霞是电子科技大学副教授，早期从事区块链形式化验证的专家；联合创始人兼CTO郭文生是形式化验证技术专家，长期从事形式化方法和理论的研究。

【本文为起风财经原创，网页转载须在文首注明来源起风财经及作者名字。微信转载可发邮件至editor@qifengle.com联系授权，并在文首注明来源起风财经（微信公众号ID：QFCJ2018）及作者名字。如不遵守，起风财经将向其追究法律责任。
免责声明：本网站所有文章仅作为资讯传播使用，既不代表任何观点导向，也不构成任何投资建议。】