投資界(微信ID：pedaily2012)10月10日消息，美國(guó)形式化驗(yàn)證公司CertiK對(duì)外披露已獲得幣安孵化器領(lǐng)投的數(shù)百萬(wàn)美金投資。在今年年中，Certik曾獲光速中國(guó)投資。
CertiK平臺(tái)首次引入的深度規(guī)范(DeepSpec)技術(shù)，已為數(shù)十家區(qū)塊鏈公司完成智能合約的形式化驗(yàn)證。CertiK團(tuán)隊(duì)核心源自于美國(guó)專(zhuān)利技術(shù)CertiKOS防黑客操作系統(tǒng)。
作為高科技創(chuàng)新投資的先行者，光速中國(guó)十分看好以深度規(guī)范技術(shù)(DeepSpec)為基礎(chǔ)的CertiK公司在未來(lái)可能為區(qū)塊鏈行業(yè)，甚至是整個(gè)軟件行業(yè)帶來(lái)的非凡價(jià)值。
- 蜜度索驥：以跨模態(tài)檢索技術(shù)助力“企宣”向上生長(zhǎng)
- 益佳通完成4億元融資
- 光輪智能完成Pre-A+輪數(shù)千萬(wàn)融資
- Third Wave Ai獲得2700萬(wàn)美元C輪融資
- AI初創(chuàng)公司Crusoe Energy獲得5億美元股權(quán)融資
- 振江海風(fēng)獲得2億元戰(zhàn)略投資
- Coframe獲得930萬(wàn)美元種子輪融資
- Honeycomb Robotics收購(gòu)深圳甲殼蟲(chóng)68.45%股權(quán)
- Fingercheck獲得1.15億美元A輪融資
- TripFactory獲得5000萬(wàn)美元A輪融資
- 臨科智華獲得天使輪投資
免責(zé)聲明：本網(wǎng)站內(nèi)容主要來(lái)自原創(chuàng)、合作伙伴供稿和第三方自媒體作者投稿，凡在本網(wǎng)站出現(xiàn)的信息，均僅供參考。本網(wǎng)站將盡力確保所提供信息的準(zhǔn)確性及可靠性，但不保證有關(guān)資料的準(zhǔn)確性及可靠性，讀者在使用前請(qǐng)進(jìn)一步核實(shí)，并對(duì)任何自主決定的行為負(fù)責(zé)。本網(wǎng)站對(duì)有關(guān)資料所引致的錯(cuò)誤、不確或遺漏，概不負(fù)任何法律責(zé)任。任何單位或個(gè)人認(rèn)為本網(wǎng)站中的網(wǎng)頁(yè)或鏈接內(nèi)容可能涉嫌侵犯其知識(shí)產(chǎn)權(quán)或存在不實(shí)內(nèi)容時(shí)，應(yīng)及時(shí)向本網(wǎng)站提出書(shū)面權(quán)利通知或不實(shí)情況說(shuō)明，并提供身份證明、權(quán)屬證明及詳細(xì)侵權(quán)或不實(shí)情況證明。本網(wǎng)站在收到上述法律文件后，將會(huì)依法盡快聯(lián)系相關(guān)文章源頭核實(shí)，溝通刪除相關(guān)內(nèi)容或斷開(kāi)相關(guān)鏈接。
