Perkembangan penting dalam keamanan di protokol DeFi

Ekosistem crypto mengalami transformasi besar dalam pendekatan keamanannya. Menghadapi kerugian besar yang disebabkan oleh kerentanan kode, para ahli mendesak perubahan paradigma fundamental dalam protokol DeFi, beralih dari filosofi yang mengutamakan kode ke pendekatan berbasis spesifikasi yang dapat diverifikasi. Daejun Park, peneliti utama keamanan di a16z Crypto, secara aktif mendukung perubahan strategis ini, menyoroti mekanisme perlindungan yang lebih kokoh dan sistematis untuk melindungi pengguna.

Kerugian yang menghancurkan yang memaksa reaksi

Angka-angka berbicara sendiri: menurut laporan dari Slowmist, para peretas mencuri lebih dari 649 juta dolar pada tahun 2025 dengan mengeksploitasi kerentanan kode dalam protokol DeFi. Kerugian finansial ini semakin cepat, seperti yang ditunjukkan oleh pengalaman buruk dari protokol Balancer, yang beroperasi sejak 2021. Pada November 2025, proyek ini mengalami kerugian sebesar 128 juta dolar akibat kerentanan teknis. Kerugian ini menunjukkan bahwa bahkan proyek tertua dan paling terkenal tetap rentan terhadap serangan canggih, terutama sekarang ketika penjahat mengintegrasikan AI ke dalam arsenal mereka untuk mendeteksi celah keamanan.

Usulan inovatif Park: spesifikasi daripada kode

Solusi yang diajukan oleh Park didasarkan pada inversi konseptual. Alih-alih mempercayai kualitas kode semata, modelnya merekomendasikan penerapan spesifikasi standar yang dikombinasikan dengan verifikasi invariansi. Mekanisme ini secara otomatis mengkodekan aturan keamanan dan membatalkan transaksi yang melanggarnya secara instan. Keuntungan utamanya: hampir semua serangan yang diketahui akan memicu mekanisme pengamanan ini, secara potensial menetralkan penyerang sebelum mereka menjalankan transaksi jahat mereka. Pendekatan ini merupakan titik balik penting untuk keamanan protokol crypto dan DeFi.

Antara ambisi teknologi dan kenyataan praktis

Namun, visi inovatif ini menghadapi kritik yang sah. Para petugas keamanan di Immunefi mengangkat kekhawatiran utama: peningkatan biaya gas akibat verifikasi ini dapat mengasingkan pengguna dan bertentangan dengan prinsip aksesibilitas blockchain. Selain itu, menurut analis dari Asymmetric Research, menulis aturan invariansi yang efektif terbukti kompleks untuk banyak kerentanan, dengan risiko konstan menghasilkan false positive yang akan melumpuhkan operasi yang sah. Solusi ideal masih harus dibangun.