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

起风财经 2018-11-07

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

链安科技成立于 2018 年 3 月,是一家从事智能合约形式化验证的区块链安全公司,已与火币、OKEX、ONT、Qtum 等 40 多家知名区块链企业签订战略合作协议,入选中国工信部《2018 中国区块链产业白皮书》和 Etherscan 智能合约安全审计推荐名单。

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

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

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

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

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

相关标签: 区块链 投资 成都 ceo

起风财经
以上内容由“起风财经”上传发布 查看原文
最新评论
分享 返回顶部