区块链蓝海

官方微博
官方微博
官方微信
官方微信

币安领投区块链初创公司CertiK数百万美元

 2018年10月09日16:45

纽约时间2018年10月8日, CertiK宣布从币安旗下Binance Labs获得百万美元领投资金。CertiK是一家网络安全初创公司,由耶鲁大学和哥伦比亚大学教授于2017年创立,与前谷歌和Facebook工程师一起,利用领先的形式化验证技术,提供智能合约和区块链审计。CertiK也是第一家推出DeepSpec技术,并已完成对几家顶级区块链公司的智能合约的形式化验证审核。Binance Labs对CertiK的投资标志着形式化验证对于区块链领域的重要性,以及认可CertiK对区块链领域的深度研究和成熟技术的独特优势。Binance Labs CEO, Ella Zhang认为,“CertiK解决了我们在区块链生态系统中面临的一个关键痛点——能够绕过手动检测的局限性,数学地验证智能合约的安全性。” Binance Labs希望通过依靠CertiK的背景和经验,利用其专业技术能力,确保一个安全可靠的生态系统。Binance Labs致力于解决行业最重要的问题,完成其使命——发现区块链技术的全部潜力并助力实现。

声明:本文系[蓝海区块链]原创稿件,版权属区块链蓝海所有,转载时须注明"稿件来源:区块链蓝海",违者将依法追究责任。更多内容请关注微信公众号:区块链蓝海(qukuailian-lh)