Certora Đạt Được Gần $200 Tỷ USD Giá Trị DeFi Trong Năm 2025, Ngăn Chặn Hơn 700 Lỗ Hổng Trên Các Giao Thức Hàng Đầu

Nguồn: CryptoDaily Tiêu đề gốc: Certora Đạt Gần $200 Tỷ USD Giá Trị DeFi Trong Năm 2025, Ngăn Chặn Hơn 700 Lỗ Hổng Trên Các Giao Thức Hàng Đầu Liên kết gốc: Dữ liệu mới nổi bật sự phát triển nhanh chóng của Certora, mở rộng vai trò trong an ninh liên tục và dẫn đầu trong xác minh chính thức.

Certora, nhà cung cấp hàng đầu các công cụ xác minh chính thức và kiểm tra hợp đồng thông minh cho các giao thức Web3, đã phát hành Báo cáo Tổng kết Năm 2025, tiết lộ rằng công ty đã giúp bảo vệ tổng giá trị khóa lại đạt 196,5 tỷ đô la (TVL) trên toàn bộ hệ sinh thái DeFi và ngăn chặn hơn 720 lỗ hổng đến giai đoạn sản xuất. Theo báo cáo, 14 trong số 20 giao thức DeFi hàng đầu theo TVL đã hợp tác với Certora trong năm 2025, chiếm khoảng 70% của danh mục, trong khi 7 trong số 10 giao thức hàng đầu duy trì các cam kết an ninh liên tục, lâu dài với công ty.

2,1–2,4 tỷ USD đã bị mất do các vụ khai thác crypto trong năm 2025, đánh dấu sự gia tăng so với năm trước khi hoạt động DeFi phục hồi và kiến trúc giao thức trở nên phức tạp hơn. Báo cáo của Certora nhấn mạnh một số chuyển biến cấu trúc trong cách các nhóm hàng đầu tiếp cận an ninh, bao gồm:

• Chuyển từ các cuộc kiểm tra độc lập sang các mối quan hệ an ninh liên tục
• Tăng cường tập trung vào các invariants của giao thức hơn là kiểm tra ở cấp chức năng
• Mở rộng phạm vi kiểm tra bao gồm cấu hình triển khai, quản trị và an ninh vận hành
• Ngày càng nhận thức rõ rằng các nâng cấp blockchain và hành vi của validator mang lại các rủi ro an ninh mới

Trong năm 2025, Certora đã hoàn thành khoảng 150 cuộc kiểm tra an ninh, xác định 80 vấn đề nghiêm trọng và 180 vấn đề mức độ cao, với 99% các phát hiện đã được khắc phục trước khi triển khai. Trong 11 trường hợp, Certora đã khuyên các nhóm giao thức hoãn hoặc dừng hoàn toàn các lần ra mắt sau khi phát hiện ra các rủi ro nghiêm trọng có thể dẫn đến thất bại hệ thống hoặc mất tiền.

“Những con số này phản ánh sự thay đổi lớn của ngành công nghiệp,” Seth Hallem, CEO của Certora, nói. “An ninh ngày nay không còn là việc bắt lỗi rõ ràng vào phút chót nữa. Nó là việc chứng minh tính chính xác trong các hệ thống quản lý hàng tỷ đô la, liên tục tiến hóa và tương tác qua các chuỗi. Sự phát triển của chúng tôi trong năm 2025 phản ánh sự chuyển dịch của hệ sinh thái hướng tới an ninh dài hạn, dựa trên hạ tầng.”

“Các giao thức trưởng thành nhất không còn xem an ninh như một cuộc kiểm tra một lần nữa,” Mooly Sagiv, Nhà sáng lập và Nhà khoa học Chính của Certora, nói. “Họ chọn một đối tác an ninh hiểu rõ về kinh tế, kiến trúc của họ và cách hệ thống của họ hoạt động theo thời gian. Những gì chúng ta đang thấy là một sự chuyển dịch rõ ràng trong ngành từ ‘bao phủ kiểm tra’ sang ‘đảm bảo chính xác’.”

Để đáp ứng nhu cầu này, Certora đã nhân đôi đội ngũ nghiên cứu an ninh trong năm 2025 lên khoảng 40 nhà nghiên cứu, trong đó có 25 tiến sĩ, mở rộng kiến thức chuyên sâu trong các môi trường thực thi như Ethereum, Solana, Sui, Aptos và hạ tầng blockchain mới nổi.

Báo cáo nhấn mạnh cách rủi ro đã chuyển từ các lỗ hổng bề mặt sang các trường hợp biên kinh tế, giả định chuỗi chéo, các điểm yếu về ngôn ngữ và hành vi của giao thức dưới các điều kiện chuỗi thay đổi, bao gồm cả nâng cấp mạng.

Trong năm 2025, Certora đã bảo vệ hơn $90 tỷ USD TVL theo thiết kế, sử dụng xác minh chính thức để chứng minh các invariants quan trọng của giao thức như khả năng thanh khoản, lãi suất tăng dần và các điều kiện an toàn cho người dùng.

Về Certora

Certora là đối tác đảm bảo an ninh được các nhóm tiên tiến nhất trong Web3 tin tưởng. Thành lập từ năm 2018 bởi các nhà tiên phong trong lĩnh vực ngôn ngữ lập trình và phương pháp chính thức, Certora giúp các giao thức hàng đầu như Lido, Aave, một số nền tảng DEX và Compound bảo vệ hàng tỷ đô la giá trị một cách tự tin.