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

起风财经Eve2018-11-07 资本
对于智能合约和区块链底层平台的安全问题,链安科技采用的验证方法是形式化验证。

  起风财经讯,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)及作者名字。如不遵守,起风财经将向其追究法律责任。
免责声明:本网站所有文章仅作为资讯传播使用,既不代表任何观点导向,也不构成任何投资建议。】
起风财经,价值区块链布道者

猜你喜欢

原创排行
  • 周排行|
  • 月排行