Certora Mengamankan Hampir $200 Miliar dalam Nilai DeFi pada tahun 2025, Mencegah Lebih dari 700 Kerentanan di Berbagai Protokol Terdepan

Sumber: CryptoDaily Judul Asli: Certora Amankan Hampir $200 Miliar dalam Nilai DeFi di 2025, Mencegah Lebih dari 700 Kerentanan di Berbagai Protokol Terdepan Tautan Asli: Data baru menyoroti pertumbuhan pesat Certora, memperluas peran dalam keamanan berkelanjutan, dan kepemimpinan dalam verifikasi formal.

Certora, penyedia terkemuka alat verifikasi formal dan audit kontrak pintar untuk protokol Web3, merilis Laporan Tinjauan Tahun 2025, mengungkapkan bahwa perusahaan membantu mengamankan total nilai terkunci sebesar $196,5 miliar (TVL) di seluruh ekosistem DeFi dan mencegah lebih dari 720 kerentanan mencapai produksi. Menurut laporan tersebut, 14 dari 20 protokol DeFi teratas berdasarkan TVL bekerja sama dengan Certora pada tahun 2025, mewakili sekitar 70% dari kategori tersebut, sementara 7 dari 10 protokol teratas mempertahankan keterlibatan keamanan jangka panjang secara berkelanjutan dengan perusahaan.

$2,1–$2,4 miliar hilang akibat eksploitasi kripto di 2025, menandai peningkatan tahun-ke-tahun saat aktivitas DeFi pulih dan arsitektur protokol menjadi lebih kompleks. Laporan Certora menyoroti beberapa perubahan struktural dalam pendekatan tim terkemuka terhadap keamanan, termasuk:

• Perpindahan dari audit satu kali menuju hubungan keamanan berkelanjutan
• Fokus yang meningkat pada invarians protokol daripada pemeriksaan tingkat fungsi
• Perluasan cakupan audit untuk mencakup konfigurasi deployment, tata kelola, dan keamanan operasional
• Pengakuan yang semakin meningkat bahwa peningkatan blockchain dan perilaku validator memperkenalkan risiko keamanan baru

Pada tahun 2025, Certora menyelesaikan sekitar 150 audit keamanan, mengidentifikasi 80 masalah kritis dan 180 masalah dengan tingkat keparahan tinggi, dengan 99% dari semua temuan diperbaiki sebelum deployment. Dalam 11 kasus, Certora menyarankan tim protokol untuk menunda atau menghentikan peluncuran sama sekali setelah mengungkap risiko serius yang dapat menyebabkan kegagalan sistemik atau kehilangan dana.

“Angka-angka ini mencerminkan seberapa banyak industri telah berubah,” kata Seth Hallem, CEO Certora. “Keamanan saat ini bukan tentang menangkap bug yang jelas di menit terakhir. Ini tentang membuktikan kebenaran dalam sistem yang mengelola miliaran dolar, berkembang secara berkelanjutan, dan berinteraksi di berbagai chain. Pertumbuhan kami di 2025 mencerminkan pergeseran ekosistem menuju keamanan jangka panjang dan tingkat infrastruktur.”

“Protokol yang paling matang tidak lagi memandang keamanan sebagai audit satu kali,” kata Mooly Sagiv, Pendiri dan Kepala Ilmuwan Certora. “Mereka memilih mitra keamanan yang memahami ekonomi mereka, arsitektur mereka, dan bagaimana sistem mereka berperilaku dari waktu ke waktu. Apa yang kita lihat adalah pergeseran industri yang jelas dari ‘cakupan audit’ ke ‘jaminan kebenaran.’”

Untuk memenuhi permintaan ini, Certora menggandakan tim riset keamanannya di 2025 menjadi sekitar 40 peneliti, termasuk 25 PhD, memperluas keahlian mendalam di berbagai lingkungan eksekusi seperti Ethereum, Solana, Sui, Aptos, dan infrastruktur blockchain yang sedang berkembang.

Laporan ini menyoroti bagaimana batasan risiko telah bergeser dari kerentanan permukaan ke kasus tepi ekonomi, asumsi lintas chain, jebakan bahasa tertentu, dan perilaku protokol di bawah kondisi chain yang berubah, termasuk peningkatan jaringan.

Pada tahun 2025, Certora mengamankan lebih dari $90 miliar dalam TVL secara desain, menggunakan verifikasi formal untuk membuktikan secara matematis invarians protokol penting seperti solvabilitas, tingkat bunga monoton, dan kondisi keamanan pengguna.

Tentang Certora

Certora adalah mitra jaminan keamanan yang dipercaya oleh tim paling maju di Web3. Didirikan pada 2018 oleh pelopor dalam bahasa pemrograman dan metode formal, Certora membantu protokol terkemuka seperti Lido, Aave, platform DEX tertentu, dan Compound mengamankan miliaran nilai dengan percaya diri.