幣安領(lǐng)投區(qū)塊鏈初創(chuàng)公司CertiK數(shù)百萬美元區(qū)塊鏈
2018-10-09 17:03
紐約時間2018年10月8日， CertiK宣布從幣安旗下Binance Labs獲得百萬美元領(lǐng)投資金。
紐約時間2018年10月8日， CertiK宣布從幣安旗下Binance Labs獲得百萬美元領(lǐng)投資金。
CertiK是一家網(wǎng)絡(luò)安全初創(chuàng)公司，由耶魯大學(xué)和哥倫比亞大學(xué)教授于2017年創(chuàng)立，與前谷歌和Facebook工程師一起，利用領(lǐng)先的形式化驗證技術(shù)，提供智能合約和區(qū)塊鏈審計。CertiK也是第一家推出DeepSpec技術(shù)，并已完成對幾家頂級區(qū)塊鏈公司的智能合約的形式化驗證審核。
Binance Labs對CertiK的投資標(biāo)志著形式化驗證對于區(qū)塊鏈領(lǐng)域的重要性，以及認可CertiK對區(qū)塊鏈領(lǐng)域的深度研究和成熟技術(shù)的獨特優(yōu)勢。
Binance Labs CEO, Ella Zhang認為，“CertiK解決了我們在區(qū)塊鏈生態(tài)系統(tǒng)中面臨的一個關(guān)鍵痛點——能夠繞過手動檢測的局限性，數(shù)學(xué)地驗證智能合約的安全性?！?nbsp;Binance Labs希望通過依靠CertiK的背景和經(jīng)驗，利用其專業(yè)技術(shù)能力，確保一個安全可靠的生態(tài)系統(tǒng)。Binance Labs致力于解決行業(yè)最重要的問題，完成其使命——發(fā)現(xiàn)區(qū)塊鏈技術(shù)的全部潛力并助力實現(xiàn)。
1.TMT觀察網(wǎng)遵循行業(yè)規(guī)范，任何轉(zhuǎn)載的稿件都會明確標(biāo)注作者和來源；
2.TMT觀察網(wǎng)的原創(chuàng)文章，請轉(zhuǎn)載時務(wù)必注明文章作者和"來源：TMT觀察網(wǎng)"，不尊重原創(chuàng)的行為TMT觀察網(wǎng)或?qū)⒆肪控?zé)任；
3.作者投稿可能會經(jīng)TMT觀察網(wǎng)編輯修改或補充。
