成都链安科技获界石资本、盘古创富数百万美元天使轮投资
对于智能合约和区块链底层平台的安全问题,链安科技采用的验证方法是形式化验证。
起风财经讯,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)及作者名字。如不遵守,起风财经将向其追究法律责任。
免责声明:本网站所有文章仅作为资讯传播使用,既不代表任何观点导向,也不构成任何投资建议。】
免责声明:本网站所有文章仅作为资讯传播使用,既不代表任何观点导向,也不构成任何投资建议。】

猜你喜欢
重启·风口 NEXT区块链技术与应用影响力峰会在京召开
2019年3月9日下午,由NEXT LAB未来区块链实验室主办,91TOKEN协办的重启·风口NEXT区块链技术与应用影响力峰会在北京长安大饭店顺利举行。EOS不是区块链,而是一种经过美化的云计算?
它在本质上是一种用于计算的云服务,并且是建立在完全中心化的前提之下迅雷链开放平台研发负责人张慧勇:和互联网相比,区块链有四大安全问题
张慧勇认为,安全性问题对区块链系统带来的冲击会非常大,比如之前以太坊的漏洞导致以太坊硬分叉,还有些项目直接归零。
原创排行
- 周排行|
- 月排行
- 周排行|
- 月排行
more最新活动
-
七年精彩再掀新章 2019群星MARS大赛正式启动
北京市 2019年10月31日 报名已结束
-
TokenSky香港站暨第16届TFC全球泛游戏大会
香港 2019年04月18日 报名已结束