投資界(微信ID：pedaily2012)10月10日消息，美國形式化驗證公司CertiK對外披露已獲得幣安孵化器領(lǐng)投的數(shù)百萬美金投資。在今年年中，Certik曾獲光速中國投資。
CertiK平臺首次引入的深度規(guī)范(DeepSpec)技術(shù)，已為數(shù)十家區(qū)塊鏈公司完成智能合約的形式化驗證。CertiK團隊核心源自于美國專利技術(shù)CertiKOS防黑客操作系統(tǒng)。
作為高科技創(chuàng)新投資的先行者，光速中國十分看好以深度規(guī)范技術(shù)(DeepSpec)為基礎(chǔ)的CertiK公司在未來可能為區(qū)塊鏈行業(yè)，甚至是整個軟件行業(yè)帶來的非凡價值。
免責聲明：本網(wǎng)站內(nèi)容主要來自原創(chuàng)、合作伙伴供稿和第三方自媒體作者投稿，凡在本網(wǎng)站出現(xiàn)的信息，均僅供參考。本網(wǎng)站將盡力確保所提供信息的準確性及可靠性，但不保證有關(guān)資料的準確性及可靠性，讀者在使用前請進一步核實，并對任何自主決定的行為負責。本網(wǎng)站對有關(guān)資料所引致的錯誤、不確或遺漏，概不負任何法律責任。任何單位或個人認為本網(wǎng)站中的網(wǎng)頁或鏈接內(nèi)容可能涉嫌侵犯其知識產(chǎn)權(quán)或存在不實內(nèi)容時，應(yīng)及時向本網(wǎng)站提出書面權(quán)利通知或不實情況說明，并提供身份證明、權(quán)屬證明及詳細侵權(quán)或不實情況證明。本網(wǎng)站在收到上述法律文件后，將會依法盡快聯(lián)系相關(guān)文章源頭核實，溝通刪除相關(guān)內(nèi)容或斷開相關(guān)鏈接。
