表现
RD 熱度指數
RD 增長指數
比較
跟隨更新
跟隨列表
人物
關於CertiK
CertiK是一家區塊鏈安全公司，其核心業務包含智慧合約審計、形式化驗證、滲透測試、儲備證明、漏洞賞金計畫以及反洗錢/風險情報服務。旗艦產品Skynet平台為超過17,000個項目提供即時安全評分與監控，而SkyInsights則為機構提供鏈上交易監控與合規工具。 CertiK的關鍵差異化優勢在於將形式化驗證（對程式碼正確性的數學證明）與AI驅動的審計相結合。2026年，該公司推出了AI Auditor，這是一種系統級架構，能將即時安全情報嵌入開發流程，在降低雜訊的同時實現了88.6%的真實事件精確命中率。其針對AI程式碼代理的開源整合，直接將安全數據引入開發者工具。 CertiK所解決的市場痛點是持續存在的駭客攻擊與漏洞利用威脅。2026年上半年，加密貨幣領域的損失總計達13.2億美元，其中第二季單季損失為8.075億美元，季增59%。私鑰管理與多重簽章錢包仍是最關鍵的風險點，而程式碼漏洞則佔據了大多數安全事件。CertiK的監控與審計服務能幫助專案在攻擊者利用漏洞之前發現這些弱點。 在過去六個月（2026年3月至9月），CertiK在內部測試後向公眾開放了AI Auditor，透過代理整合擴展了AI原生安全能力，並發布了2026年上半年安全報告，重點強調行業趨勢。該報告指出，雖然總損失較去年同期下降了47%，但事件數量激增至創紀錄的207起，顯示安全形勢並未根本改善。
CertiK成立於2018年，運用形式化驗證與人工智慧進行端對端區塊鏈安全審計，並開發以安全為核心的CertiK Chain。2025年，該公司發布了Skynet北韓威脅報告：自2016年以來，北韓駭客已竊取約67.5億美元，佔2025年全球加密貨幣損失近60%，攻擊模式轉向「線下滲透」。2026年上半年報告顯示，Web3損失超過13億美元，錢包竊盜成為最大攻擊類型，攻擊者鎖定高價值個人與機構。CertiK發布了巴西PSAV合規報告，將第三方安全認證設為市場準入的硬門檻；同時與KB國民銀行完成了韓元穩定幣結算框架試點，涵蓋發行、線下商戶支付與跨境匯款。截至2026年，CertiK已偵測超過11.5萬個漏洞，評估市值達4830億美元，監控9+15條鏈，並與國際刑警組織及歐洲刑警組織合作打擊跨境網路犯罪。
在過去六個月，CertiK 在人工智慧驅動的安全領域取得了重大進展。它推出了 AI Auditor，這是一個基於多模型架構的智能審計系統，經過35個真實世界安全事件的測試，累計命中率達88.6%，並開源了與AI編碼代理的整合，使開發環境中能進行即時安全檢查。同時，CertiK 還推出了 CertiK Skills，將鏈上安全數據（錢包風險、項目評分、代幣分析）直接接入 Claude 和 Codex 等AI工具，降低了安全分析門檻。在審計服務方面，CertiK 引入了灰盒鏈審計，透過故障注入模擬真實網路環境，涵蓋共識機制、驗證節點、跨鏈橋及其他關鍵組件，並提供永久驗證框架。策略上，CertiK 正式進入日本市場，與當地合規交易所合作，強調機構級安全與全生命週期合規解決方案。未來重點包括：深化AI與安全自動化，將安全左移；擴大全球監管合作，提供符合當地法規的合規工具；以及建立更開放的安全生態系統，例如 CertiK Hunt 平台，連接研究人員與項目，結合人類與AI的漏洞發現能力。
容暉顧：聯合創始人兼首席執行官。哥倫比亞大學計算機科學副教授；耶魯大學博士，清華大學學士。CertiKOS和SeKVM的主要設計者/開發者；曾獲SOSP最佳論文獎。 李康：首席技術官。曾任百度首席安全科學家/高級總監；佐治亞大學終身教授。Blue-Lotus等CTF戰隊的創始導師；DARPA網絡挑戰賽決賽選手；擁有耶魯大學法學院碩士學位。 曹傑森：首席運營官。運營領導經驗已通過LinkedIn確認。 蔣傑森：首席商務官。在工業/科技/消費品銷售領導層擁有超過15年經驗；曾任Sensimo首席運營官、Inno Optics創始人兼首席執行官、Greif中國區總經理以及摩托羅拉管理職位。
CertiK 近期於2026年4月迎來Margarita K.擔任傳訊主管。她在Web3與網路安全傳播領域擁有豐富經驗，曾主導Immunefi、Mantle及Ocean Protocol等平台的市場行銷與公關事務。隨著公司持續拓展安全服務，她的加入將強化CertiK的品牌定位與策略傳播。