幣安領投區塊鏈初創公司CertiK數百萬美元區塊鏈
觀察君 
2018-10-09 17:03
2018-10-09 17:03
導讀
紐約時間2018年10月8日， CertiK宣布從幣安旗下Binance Labs獲得百萬美元領投資金。
紐約時間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致力于解決行業最重要的問題，完成其使命——發現區塊鏈技術的全部潛力并助力實現。
1.TMT觀察網遵循行業規范，任何轉載的稿件都會明確標注作者和來源；
2.TMT觀察網的原創文章，請轉載時務必注明文章作者和"來源：TMT觀察網"，不尊重原創的行為TMT觀察網或將追究責任；
3.作者投稿可能會經TMT觀察網編輯修改或補充。
