Certora 在2025年獲得近$200 億美元的DeFi價值，防止超過700個主要協議的漏洞

資料來源：CryptoDaily 原文標題：Certora 在2025年確保近$200 十億美元的DeFi價值，防止超過700個主要協議的漏洞 原文連結： 最新數據突顯Certora的快速成長，擴展其在持續安全和正式驗證領域的角色與領導地位。

Certora，Web3協議的正式驗證工具和智能合約審計的領先供應商，發布了2025年年度回顧報告，揭示該公司在DeFi生態系統中幫助鎖定總價值（TVL）達到1965億美元，並阻止超過720個漏洞進入生產階段。根據該報告，2025年，前20名DeFi協議中有14個與Certora合作，約佔該類別的70%，而前10名中的7個協議則與公司保持持續的長期安全合作。

2025年，約有21億至24億美元因加密貨幣漏洞被損失，隨著DeFi活動的回升和協議架構變得更加複雜，這一數字呈現年增長。Certora的報告強調了領先團隊在安全策略上的幾個結構性轉變，包括：

• 從一次性審計轉向持續安全合作
• 更加專注於協議層的不變性，而非功能層的檢查
• 擴大審計範圍，包括部署配置、治理和運營安全
• 越來越多的認識到區塊鏈升級和驗證者行為帶來新的安全風險

2025年，Certora完成了約150次安全審計，發現80個關鍵和180個高嚴重性問題，99%的問題在部署前已修復。在11個案例中，Certora建議協議團隊延遲或完全停止上線，因為發現了可能導致系統性失敗或資金損失的嚴重風險。

「這些數字反映了行業的巨大變化，」Certora的CEO Seth Hallem表示。「如今的安全不再只是最後一刻捕捉明顯漏洞，而是要在管理數十億美元的系統中證明正確性，這些系統不斷演進，並跨鏈交互。我們在2025年的成長反映了生態系統向長期、基礎設施層安全轉變的趨勢。」

「最成熟的協議不再將安全視為一次性審計，」Certora的創始人兼首席科學家Mooly Sagiv表示。「他們選擇一個理解其經濟模型、架構和系統行為的安全合作夥伴。我們看到的明顯行業轉變是從‘審計覆蓋’轉向‘正確性保證’。」

為滿足這一需求，Certora在2025年將其安全研究團隊擴充到約40名研究人員，其中包括25名博士，並在Ethereum、Solana、Sui、Aptos及新興區塊鏈基礎設施等多個執行環境中深化專業知識。

該報告強調，風險前沿已從表面漏洞轉向經濟邊緣案例、跨鏈假設、語言特定陷阱，以及在網絡升級等變化的鏈條條件下的協議行為。

2025年，Certora通過設計確保了超過(十億美元的TVL，利用正式驗證數學證明關鍵協議不變性，如償付能力、單調利率和用戶安全條件。

關於Certora

Certora是Web3中最先進團隊信賴的安全保障合作夥伴。由程式語言和正式方法的先驅於2018年創立，Certora幫助領先的協議如Lido、Aave、某些去中心化交易平台（DEX）和Compound，以信心保障數十億美元的價值安全。