【新聞稿 – 以色列特拉維夫，2025年11月13日】
Web3 最先進團隊的可靠安全合作夥伴Certora今天宣布與 DeFi 風險管理基礎設施領域的先驅協議Cork以及實時威脅監控領域的領導者Hypernative建立戰略合作夥伴關係。透過此次合作，Certora 將成為 Cork 的官方安全合作夥伴，將安全性整合到協議生命週期的每個層面，涵蓋從設計和測試到實施、監控和維運的各個環節。
此次合作匯集了三家致力於提升Web3系統安全性和完整性的產業領導者。透過將Certora的形式化驗證和端到端安全框架與Hypernative的先進即時監控相結合，Cork用戶將受益於機構級安全措施和主動風險緩解機制，這些措施和機制專為下一代鏈上金融而設計。
Cork首席技術長Baptiste Florentin表示：「在DeFi領域，常規的安全措施遠遠不夠。我們團隊專注於構建關鍵的市場基礎設施，風險真實存在。我們選擇Certora，是為了超越簡單的審計，構建一套全面的端到端安全體系，並將其與我們的代碼庫、變更管理和生產運營深度集成。”
隨著Web3生態系統的發展，安全漏洞的代價也日益高漲。根據美國聯邦調查局網路犯罪投訴中心（IC3）發布的2024年報告，加密貨幣詐欺造成的損失高達93億美元，較上年增加66%，涉及數位資產的投訴近15萬起。此類合作旨在透過提升產業的安全性和風險控制水準來扭轉這一趨勢。目前針對DeFi的審計方法已不再適用：業界現在需要一種更先進、更積極主動的安全策略。
Certora正透過與業界領導企業合作，在完善安全策略方面開闢一條新道路。 Certora與Cork攜手，開創了一種提升DeFi安全標準的新模式，並首次將其推向市場。
Certora執行長Seth Hallem表示：“Certora的創立宗旨是將航空航天和金融等行業所使用的企業級安全保障的嚴謹性引入到去中心化系統中。通過與Cork和Hypernative合作，我們不僅是在支持一項協議，更是在幫助重新定義Web3如何管理風險、透明度和運營彈性。”
Hypernative聯合創始人兼首席執行官Gal Sagie補充道：“Web3安全今天又向前邁進了一步，有助於過濾掉這個領域的惡意行為者。但我同樣高興的是，透過這次合作，我們也找到了一種方法，可以提高這個領域所有人的標準。”
Cork、Certora 和 Hypernative 正在攜手開發一個模型，該模型展示瞭如何透過協議設計將安全性融入其中，從而創建出不僅對用戶更安全，而且對開發者也更強大、更具可擴展性的系統。如需了解更多關於此合作優勢的詳細信息，請訪問此部落格。
關於 Certora 的訊息
Certora 是一家區塊鏈安全公司，提供業界領先的形式化驗證和智慧合約審計工具。 Certora 的旗艦安全產品 Prover 正在幫助 Aave、Lido 和 Maker 等協定將形式化驗證的強大功能整合到其開發流程中，從而捕捉最罕見、最難偵測的漏洞。
關於科克
Cork 引入了一種全新的代幣化風險原語，作為鏈上資產（例如代幣庫、收益型穩定幣、流動性（再）質押代幣和 RWA）的可編程風險層。 Cork 的核心原語使資產管理公司和發行方能夠創建客製化的互換市場，從而提高其鏈上資產的贖回流動性、風險透明度和市場信心。在 a16z crypto、OrangeDAO 和 Steakhouse Financial 的支持下，Cork 正在建立必要的風險基礎設施，以吸引機構資本進入鏈上信貸市場。
關於 Hypernative
Hypernative 是一款即時監控、風險偵測和自動化回應解決方案，能夠高精度地識別威脅，讓客戶在攻擊造成損失前搶先寶貴的回應時間。該平台可追蹤鏈上和鏈下資料來源，並利用成熟可靠的機器學習模型、啟發式演算法、模擬和基於圖的偵測方法，識別超過 300 種風險類型，涵蓋智慧合約攻擊、橋接安全事件、前端入侵、市場操縱和私鑰竊取等。更多信息，請訪問hypernative.io 。
文章《Certora 與 Cork 和 Hypernative 合作，為 Web3 安全性樹立新標準》最初發表於CryptoPotato 。