紐約時間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致力于解決行業最重要的問題，完成其使命——發現區塊鏈技術的全部潛力并助力實現。