Flash Loan Tidak Rusak. Desain Protokollah yang Bermasalah.
Eksploitasi lainnya. Protokol lainnya. Kerugian jutaan dolar lainnya.
Kali ini, Allbridge Core di Solana dilaporkan kehilangan lebih dari $1,1M. Judul berita menyalahkan flash loan, tetapi itu bukan di mana masalah sesungguhnya dimulai.
Flash loan bukanlah kerentanan. Mereka adalah primitive likuiditas yang bersifat permissionless. Mereka hanya memungkinkan siapa pun mengakses modal besar dalam satu transaksi atomik. Jika sebuah protokol dirancang dengan benar, meminjam $1 juta atau bahkan $100 juta seharusnya tidak mengubah asumsi keamanannya.
Eksploitasinya terjadi ketika sebuah protokol mencampuradukkan kondisi pasar sementara dengan kebenaran yang bersifat objektif.
Dengan menggunakan flash loan, penyerang bisa secara singkat memanipulasi likuiditas, mendistorsi harga spot di dalam sebuah pool, dan meyakinkan protokol bahwa harga yang dimanipulasi itu sah. Jika akuntansi, penilaian jaminan (collateral valuation), atau logika penebusan (redemption) bergantung pada status sementara tersebut, protokol mulai mengambil keputusan yang salah secara ekonomi—sementara setiap baris kode tetap berperilaku persis seperti yang dimaksud.
Inilah mengapa eksploitasi DeFi modern semakin sering merupakan serangan ekonomi ketimbang bug perangkat lunak.
Tidak ada reentrancy. Tidak ada integer overflow. Tidak ada kebocoran private key.
Hanya asumsi yang keliru tentang bagaimana pasar berperilaku dalam kondisi yang bersifat adversarial.
Tantangan nyatanya bukan lagi menulis smart contract yang aman. Tantangannya adalah merancang sistem yang tetap aman ketika penyerang memiliki hampir tak terbatas modal untuk satu transaksi.
Flash loan tidak merusak DeFi.
Mereka justru mengungkap protokol yang dibangun di atas asumsi, bukan pemikiran adversarial.
Kode bisa diverifikasi secara formal. Asumsi ekonomi tidak bisa.
#DeFi #solana #FlashLoan #security #SmartContracts