Certora 與 Cork 及 Hypernative 合作，為 Web3 安全樹立新標準

2025年11月13日 – 以色列特拉維夫

Certora，作為Web3領域最先進團隊信賴的安全保障夥伴，今日宣佈與Cork（一個開創DeFi風險管理基礎設施的協議）以及Hypernative（即時威脅監控領域的領導者）達成戰略合作夥伴關係。

通過此次合作，Certora成為Cork的指定安全夥伴，將安全性嵌入協議生命週期的每一個層面，從設計、驗證到部署、監控與運營。

這一合作將三家致力於推動Web3系統安全與完整性的領導者聚集在一起。結合Certora的形式化驗證與端到端安全框架，以及Hypernative的先進即時監控，Cork用戶將受益於機構級的防護措施與主動風險緩解，專為新一代鏈上金融設計。

「傳統的安全措施在DeFi領域已經不夠用了，」Cork的CTO Baptiste Florentin表示。「我們是一支專注於構建關鍵市場基礎設施的團隊，風險是真實存在的。我們選擇Certora，不僅僅是為了單次審計，而是要建立一套全面、端到端的安全體系，深度整合到我們的代碼庫、變更管理和生產運營中。」

隨著Web3生態系統的擴展，薄弱安全帶來的代價持續上升。根據FBI 2024年互聯網犯罪投訴中心（IC3）報告，與加密貨幣相關的詐騙造成損失達93億美元（9.3 billions），較去年增長66%，涉及數字資產的投訴接近15萬起。這類合作旨在通過提升行業的安全與風險標準，扭轉這一趨勢。當前對DeFi的審計方式已經無法滿足需求，行業現在需要更先進且主動的安全策略。 

Certora通過與業界頂尖團隊合作，為安全方法的成熟樹立了新方向。作為DeFi安全標準提升的新模式開創者，Certora與Cork攜手首次將這一模式推向市場。

「Certora的創立初衷，就是將航太與金融等行業所採用的企業級嚴謹保障帶入去中心化系統，」Certora執行長Seth Hallem表示。「與Cork和Hypernative的合作，不僅僅是在幫助一個協議；我們正在重新定義Web3如何處理風險、透明度與運營韌性。」「Web3安全今日再進一步，將行業中的惡意行為者過濾出去，」Hypernative聯合創辦人兼執行長Gal Sagie補充道。「同時，我也很高興通過這次合作，我們正在為所有在這個領域運營的人提升風險標準。」

Cork、Certora與Hypernative攜手，正在建立一個協議如何從設計階段就嵌入安全性的典範，打造對用戶更安全、對開發者更強健且可擴展的系統。

關於Certora

Certora是一家區塊鏈安全公司，提供業界領先的形式化驗證工具與智能合約審計。Certora的旗艦安全產品Prover，正協助Aave、Lido和Maker等協議，將形式化驗證的力量整合進開發流程，以發現即使是極為罕見且難以察覺的漏洞。

關於Cork

Cork為代幣化風險引入全新原語，作為鏈上資產（如金庫代幣、收益型穩定幣、流動（再）質押代幣及RWA）可編程風險層。Cork的核心原語使資產管理者與發行方能夠創建自定義兌換市場，提升其鏈上資產的贖回流動性、風險透明度與市場信心。在a16z crypto、OrangeDAO與Steakhouse Financial的支持下，Cork正構建將機構資本引入鏈上信貸市場所需的風險基礎設施。

關於Hypernative

Hypernative是一套即時監控、風險偵測與自動化應對解決方案，能以高精度識別威脅，為客戶爭取寶貴的反應時間，防止攻擊造成損失。該平台追蹤鏈上與鏈下數據來源，運用經過實戰驗證的先進機器學習模型、啟發式方法、模擬與基於圖譜的偵測，能識別超過300種風險類型，涵蓋智能合約攻擊、跨鏈橋安全事件、前端被攻陷、市場操縱及私鑰盜竊等。

聯絡方式

資深公關經理
Wahaj Khan
Serotonin