1. 首页
  2. 7×24h 快讯
  3. 币安领投区块链初创公司CertiK数百万美元

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

纽约时间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致力于解决行业最重要的问题,完成其使命——发现区块链技术的全部潜力并助力实现。

上一篇:

下一篇:

发表评论

登录后才能评论