Certora 與 Cork 和 Hypernative 合作提升 Web3 安全性

根據《CryptoDaily》的報導，Certora 宣布與 Cork 和 Hypernative 建立戰略合作夥伴關係，將先進的安全措施整合到 Web3 協議中。Certora 將擔任 Cork 的正式安全合作夥伴，將安全性嵌入協議的全生命週期，從設計到部署和運營。此次合作旨在通過結合 Certora 的形式化驗證和 Hypernative 的即時威脅監控，為 DeFi 安全建立新標準。這項合作是對加密貨幣行業日益增加的安全風險的回應，根據 FBI 2024 年報告顯示，與加密貨幣相關的詐騙損失增加了 66%，達到 93 億美元。