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