Certora 與 Cork 和 Hypernative 合作，共同制定新的 Web3 安全標準

根據 Chainwire 的報導，Certora 宣布與 Cork 和 Hypernative 建立戰略合作夥伴關係，以加強 Web3 的安全性。Certora 將擔任 Cork 的安全合作夥伴，從設計到運營，將安全性嵌入整個協議的生命周期。此次合作結合了 Certora 的形式驗證和安全框架，以及 Hypernative 的實時威脅監測，為鏈上金融提供機構級別的防護措施。根據 FBI 2024 年 IC3 報告，與加密貨幣相關的欺詐案件增加了 66%，達到 93 億美元，凸顯了加強安全措施的必要性。Certora 的首席執行官 Seth Hallem 表示，此次合作旨在重新定義 Web3 如何應對風險和運營韌性。Hypernative 的首席執行官 Gal Sagie 補充說，這次合作正在提升行業的風險標準。該合作夥伴關係旨在為協議創建一個嵌入式安全設計模型，提升用戶和開發者的安全性及可擴展性。