Kerangka Baru Menargetkan Risiko Tersembunyi dalam DeFi

Keuangan Terdesentralisasi, atau DeFi, adalah sistem keuangan terbuka yang dibangun di atas blockchain publik dan menggunakan kode yang mengeksekusi sendiri alih-alih lembaga keuangan tradisional seperti bank dan broker. Hal ini dapat menghasilkan peningkatan signifikan dalam efisiensi dan kemandirian dari sistem keuangan tradisional, namun juga menimbulkan risiko baru.

Jenis risiko pertama terkait dengan apa yang disebut “smart contract” yang menjadi tulang punggung DeFi. Jika ditulis dengan buruk atau bahkan bersifat jahat, satu smart contract yang buruk dapat menyebabkan kerugian finansial. Dan dengan sedikit atau tidak adanya institusi atau regulator yang melindungi pengguna DeFi, memulihkan dana yang hilang atau dicuri dapat menjadi sulit.

Untungnya, seiring DeFi matang, standar untuk desain smart contract yang aman muncul dan secara signifikan meningkatkan keamanan dari risiko tersebut.

Namun, seiring DeFi menjadi lebih kompleks, berbagai smart contract digunakan untuk membangun protokol DeFi yang berbeda. Hal ini menciptakan jenis risiko baru, di mana interaksi antara kontrak yang baru diterapkan dan blockchain yang ada dimanfaatkan untuk menimbulkan kerugian ekonomi.

Sebuah makalah baru oleh peneliti Italia di Universitas Cagliari dan Universitas Trento mengusulkan kerangka baru untuk mengatasi risiko tersebut. Makalah mereka, yang diterima untuk dipublikasikan di Journal of Logical and Algebraic Methods in Programming, berjudul “Kerangka formal untuk keamanan ekonomi komposisi DeFi”.

DeFi & Nilai Ekstrak Maksimal (MEV)

Penjelasan MEV

Untuk memahami situasi smart contract dan DeFi, investor harus memahami konsep Nilai Ekstrak Maksimal (MEV).

MEV adalah nilai maksimum yang dapat diekstrak oleh pihak lawan dengan berinteraksi secara strategis dengan sistem blockchain. Nilai ini biasanya dikaitkan dengan validator, penambang, dan sequencer yang menyusun ulang atau memilih transaksi, namun juga dapat muncul ketika pengguna biasa mengeksploitasi logika smart contract, ketergantungan protokol, perbedaan harga, atau akses sementara ke modal.

“Sementara MEV memperkenalkan dinamika yang dapat merugikan pengguna dan mengdistorsi insentif, ia juga merupakan fenomena yang transparan dan dapat diamati yang melekat pada infrastruktur blockchain publik.”

Pranav Garimidi and Joseph Bonneau

Mengubah MEV dengan Kontrak Baru

MEV adalah vektor risiko baru yang muncul dari integrasi smart contract baru dengan yang lama.

“Pihak lawan dapat mengeksploitasi interaksi tak terduga antar protokol untuk memperoleh keuntungan ekonomi dengan merugikan pengguna jujur.”

Ini merupakan masalah yang semakin berkembang, seiring DeFi meluas dan solusi baru menciptakan risiko baru.

“Risiko ini semakin diperparah oleh platform baru yang memungkinkan pengguna membuat komposisi arbitrer dari protokol DeFi secara mulus.”

Hal ini menimbulkan pertanyaan mendasar bagi DeFi yang memerlukan jawaban kuat: dalam kondisi apa sebuah komposisi DeFi dapat dianggap aman?

Untuk alasan ini, peneliti yang menulis studi ini mengusulkan konsep baru untuk komposabilitas DeFi, disebut “MEV non-interference”, yang mensyaratkan bahwa interaksi dengan keadaan blockchain yang ada tidak meningkatkan Nilai Ekstrak Maksimal (MEV) yang dapat diperoleh dari sekumpulan kontrak yang baru diterapkan.

Mereka kemudian menerapkan kerangka ini pada komposisi DeFi representatif (bursa, automated market maker, opsi, pool pinjaman, router, dan kontrak arbitrase), dan menunjukkan bahwa kerangka ini dapat membedakan komposisi yang aman dari yang rentan.

Dari Analisis Tingkat Blockchain ke Tingkat Kontrak

Untuk menentukan MEV non-interference, tidak cukup hanya melihat MEV pada tingkat blockchain. Sebaliknya, diperlukan pemeriksaan prinsip non-interference dengan kontrak yang ada.

Inilah mengapa para peneliti memperkenalkan konsep local MEV. Ini adalah ukuran baru serangan ekonomi yang mengkuantifikasi kerugian maksimum yang dapat ditimbulkan pihak lawan pada sekumpulan kontrak korban tertentu.

“Berbeda dengan MEV klasik yang didefinisikan untuk seluruh keadaan blockchain, local MEV berfokus pada kontrak yang keamanannya sedang dianalisis. Peralihan dari perspektif global ke lokal inilah yang menjadi komponen kunci pendekatan kami.”

Kerangka ini membantu mereka menganalisis komposisi DeFi representatif, karena mereka menggunakan kumpulan komposisi DeFi representatif, termasuk bursa, AMM, opsi biner, pool pinjaman, router pertukaran, dan protokol arbitrase.

Menuju Audit Interaksi Ekonomi

Penulis studi ini memberikan banyak contoh terperinci tentang bagaimana kerangka analisis ini dapat digunakan untuk mendeteksi kerentanan dan risiko dari kontrak baru, seperti manipulasi oracle, serangan flash-loan, atau ketergantungan yang sebelumnya tersembunyi.

Ini mencakup model lawan yang lebih kuat (lawan kaya), di mana lawan diasumsikan selalu memiliki cukup token untuk menimbulkan kerugian maksimum yang mungkin pada kontrak korban.

Secara keseluruhan, ini memberikan pengembang dasar yang lebih praktis untuk menguji apakah integrasi baru mengekspos modal pengguna terhadap serangan tidak langsung yang memanfaatkan efek pada kontrak pintar yang ada.

Namun, perlu dicatat bahwa kerangka kerja ini bukan sistem keamanan siap produksi, melainkan hanya fondasi formal. Ini juga tidak mencakup aktivitas mempool, biaya gas, serangan pembekuan token, penetapan harga dinamis, dan beberapa aspek Ethereum (ETH ) perilaku seperti reentransi dan ketergantungan siklik.

Jadi, seperti yang sering terjadi di DeFi, peningkatan keamanan tidak hanya berasal dari algoritma yang sempurna dan komposisi yang aman secara matematis, tetapi juga dari adaptasi terhadap penerapan Ethereum di dunia nyata.

Berinvestasi dalam Keuangan Terdesentralisasi

Chainlink

Chainlink (LINK ) Chainlink adalah jaringan terdesentralisasi yang menghubungkan kontrak pintar blockchain dengan data dunia nyata, API eksternal, dan sistem pembayaran tradisional. Chainlink secara luas diadopsi oleh infrastruktur pasar utama, institusi keuangan, dan protokol DeFi untuk membuka kasus penggunaan lanjutan, termasuk Swift, Euroclear, MasterCard, Fidelity International, UBS, ANZ, Aave, GMX, Lido, dan banyak lagi.

Sumber: Chainlink

Chainlink menyelesaikan masalah mendasar pada protokol DeFi blockchain: blockchain adalah lingkungan terisolasi; secara default, mereka tidak dapat mengakses informasi eksternal.

Hal ini membuat mereka rentan terhadap “manipulasi oracle harga”, di mana kontrak pintar dijalankan berdasarkan data palsu, misalnya harga yang salah untuk sebuah sekuritas. Dengan Chainlink, kontrak pintar semacam itu harus dijalankan secara otomatis berdasarkan peristiwa dunia nyata yang terverifikasi.

Oleh karena itu, Chainlink secara langsung menangani risiko komposabilitas ini. Hal ini membuat Chainlink berguna untuk beberapa kasus penggunaan:

• Menyediakan harga pasar yang sangat akurat dan tidak dapat dimanipulasi untuk kriptokurensi, komoditas, dan saham.
• Menyediakan angka acak yang aman secara kriptografis langsung di on-chain untuk game blockchain dan distribusi NFT.
• Protokol Interoperabilitas Lintas Rantai (CCIP) untuk komunikasi antara jaringan blockchain atau dengan infrastruktur perbankan tradisional seperti SWIFT.

Investor dalam token LINK harus, bagaimanapun, menyadari bahwa pengembang menggunakan token LINK untuk membayar operator node Chainlink dalam pengambilan, validasi, dan penyampaian data.

Mereka juga harus menyadari bahwa LINK tidak memberikan kepemilikan ekuitas langsung, melainkan partisipasi dalam infrastruktur terkait.

Berita dan Perkembangan Saham Chainlink (LINK) Terbaru

Studi yang Dirujuk

^{1. Massimo Bartoletti, Riccardo Marchesin, and Roberto Zunino. A formal framework for the economic security of DeFi compositions. Journal of Logical and Algebraic Methods in Programming. 23 September 2026. Artikel: 101171. 10.1016/j.jlamp.2026.101171}