從33.53億美元損失看CertiK的上市野心：AI如何重塑Web3安全

在達沃斯的聚光燈下，CertiK創始人顧榮輝抛出了一个大消息：這家全球最大的Web3安全公司正在積極推進上市計劃，目標是成為"Web3基礎設施第一股"。背後支撐這份野心的，是一套融合AI與形式化驗證的核心技術——Spoq引擎。而這一切的背景，是Web3行業正在經歷的嚴峻安全危機。

技術創新：AI重塑形式化驗證

顧榮輝在專訪中詳細介紹了CertiK的技術突破。Spoq引擎通過深度集成AI與形式化驗證體系，大幅提升了驗證的可擴展性與執行效率。這不是紙上談兵——這一成果已相繼獲得OSDI 2023和ASPLOS 2026等全球頂尖學術會議的驗證。

為什麼這很關鍵

形式化驗證在Web3安全中的地位不言而喻，但傳統方法存在明顯痛點：驗證複雜度高、執行效率低、難以規模化應用。AI的加入改變了這個局面。通過將頂尖學術研究轉化為生產力工具，CertiK能為全球機構級客戶提供數學級的安全保障。

市場背景：安全需求的迫切性

CertiK的上市計劃為什麼能說出口？看一組數據就明白了。根據CertiK發布的《2025 Skynet Hack3D Web3安全報告》，2025年Web3行業共發生了630起安全事件，造成了總計約33.53億美元的損失，這相當於一座中等城市一年的GDP。被盜資金規模環比上漲了37.06%。

這不是一個縮小的市場，而是一個急速擴大的需求。僅Bybit事件就產生了約14億美元損失。在這樣的背景下，能提供可靠安全解決方案的企業，本質上就是基礎設施級別的存在。

戰略地位：從服務商到基礎設施

CertiK已經不僅僅是一家安全審計公司。根據相關資訊，它為Fundtir、Owlto Finance等多個項目提供審計認證，成為了Web3生態中的基礎設施角色。這些項目的成長，都離不開CertiK的安全背書。

為什麼是"第一股"

Web3基礎設施領域還沒有出現上市公司。CertiK如果成功上市，將填補這一空白。考慮到：

• 市場需求的持續增長（安全損失逐年上升）
• 技術的學術認證（頂尖會議驗證）
• 已有的客戶基礎和生態影響力

這個目標並非遙不可及。

未來展望

從技術層面看，AI與形式化驗證的融合才剛開始。Spoq引擎的能力還會繼續提升，應用場景也會不斷拓展。从市場層面看，Web3安全的投入只會增加不會減少，這給了CertiK持續增長的空間。

上市前的最後一步是什麼？通常是財務數據的穩定性和市場認可度。顧榮輝在達沃斯的發聲，某種程度上就是在為這個過程造勢。

總結

CertiK的上市計劃不是凭空想象，而是建立在三個堅實基礎之上：一是技術創新（Spoq引擎的AI融合），二是市場需求（Web3安全損失逐年增長），三是生態地位（已成為多個項目的安全背書方）。從一家安全審計公司到Web3基礎設施，CertiK正在完成一次戰略升級。在這個過程中，Spoq引擎的學術認證和AI能力將是它最強的競爭力。