Keamanan Kontrak Pintar di DeFi: Kerentanan Umum dan Cara Menghindarinya

Sebelum kita membahas kerentanan teknis, selalu bijaksana untuk memastikan bahwa aktivitas trading dasar Anda dilakukan di platform yang aman. Anda dapat memeriksa harga dan pergerakan terbaru untuk berbagai aset di halaman Exbix Markets ini.

Bagian 2: Kerentanan dan Eksploitasi Kontrak Pintar yang Umum

Mari kita uraikan kategori kerentanan yang paling umum yang telah menyebabkan dampak signifikan. kerugian dalam DeFi.

1. Serangan Reentrancy: Pencurian Klasik

Serangan reentrancy adalah kerentanan kontrak pintar yang paling terkenal, yang secara terkenal ditunjukkan oleh peretasan DAO pada tahun 2016, yang mengakibatkan kehilangan 3,6 juta ETH dan fork keras Ethereum berikutnya.

• Apa itu? Serangan reentrancy terjadi ketika kontrak jahat memanggil kembali kontrak yang memanggil sebelum eksekusi fungsi awal selesai. Ini dapat memungkinkan penyerang untuk menarik dana secara berulang sebelum saldo mereka diperbarui.
• Bagaimana cara kerjanya:
  1. Kontrak A memiliki fungsi withdraw() yang mengirim ETH kepada pengguna dan kemudian memperbarui saldo internal pengguna.
  2. Kontrak Penyerang B memanggil withdraw().
  3. Kontrak A mengirim ETH ke Kontrak B.
  4. Kontrak B memiliki fungsi fallback() (yang menerima ETH) yang segera memanggil withdraw() di Kontrak A lagi.
  5. Kontrak A belum memperbarui saldo penyerang, sehingga melihat bahwa Kontrak B masih berhak atas lebih banyak ETH dan mengirimkannya lagi.
  6. Loop ini terus berlanjut, menguras Kontrak A, sampai gas transaksi habis atau kontrak kosong.
• Contoh Terkenal: Peretasan DAO (2016).
• Cara Menghindarinya:
  • Gunakan pola Checks-Effects-Interactions: Ini adalah aturan emas. Selalu:
    1. Periksa semua kondisi (misalnya, require(balances[msg.sender] >= amount);).
    2. Perbarui semua variabel status internal (efek) (misalnya, balances[msg.sender] -= jumlah;).
    3. Selanjutnya, berinteraksi dengan kontrak lain atau EOA (interaksi) (misalnya, msg.sender.call{value: amount}("");).
  • Gunakan Penjaga Reentrancy: OpenZeppelin menyediakan sebuah ReentrancyGuard modifier yang mengunci sebuah fungsi selama eksekusinya, mencegah panggilan rekursif.

2. Serangan Manipulasi Oracle

Kontrak pintar sering kali memerlukan data dunia nyata. Oracle adalah layanan yang menyediakan data ini. Memanipulasi umpan harga yang diberikan oleh oracle adalah vektor serangan utama.

• Apa itu? Seorang penyerang memanipulasi harga aset di bursa terdesentralisasi (DEX) dengan likuiditas rendah untuk menipu oracle dari protokol untuk melaporkan harga yang salah.
• Bagaimana cara kerjanya:
  1. Sebuah protokol pinjaman menggunakan harga spot DEX sebagai oraclenya untuk menentukan seberapa banyak yang dapat dipinjam berdasarkan jaminan.
  2. Seorang penyerang mengambil pinjaman kilat untuk menguras likuiditas dari pasangan perdagangan, misalnya, ABC/ETH, sehingga menjadi sangat tidak likuid.
  3. Penyerang kemudian memperdagangkan sejumlah kecil ABC untuk secara besar-besaran menggerakkan harganya melawan ETH di pool yang sekarang tidak likuid.
  4. Orakel protokol membaca harga yang dimanipulasi ini.
  5. Penyerang menggunakan ABC yang terinflasi secara artifisial sebagai jaminan untuk meminjam sejumlah besar aset lain yang tidak dimanipulasi dari protokol.
  6. Penyerang membayar kembali pinjaman kilat, dan harga ABC
  mengoreksi dirinya sendiri, tetapi protokol tersebut ditinggalkan dengan jaminan yang tidak berharga dan utang buruk yang besar.
• Contoh Terkenal: Peretasan Harvest Finance ($34 juta hilang), insiden DAI Compound.
• Cara Menghindarinya:
  • Gunakan Oracle Terdesentralisasi: Gunakan jaringan oracle yang kuat seperti Chainlink, yang mengumpulkan data dari beberapa node dan sumber independen, membuatnya sangat sulit dan mahal untuk dimanipulasi.
  • Gunakan Harga Rata-Rata Tertimbang Waktu (TWAPs): Menggunakan rata-rata harga selama periode tertentu (misalnya, 30 menit) daripada harga spot langsung membuat manipulasi jangka pendek tidak menguntungkan.
  • Gunakan Beberapa Sumber Data: Jangan bergantung pada likuiditas satu DEX untuk umpan harga yang kritis.

3. Overflow dan Underflow Integer

Komputer memiliki batasan seberapa besar sebuah angka bisa. Sebuah uint256 (bilangan bulat tanpa tanda) dalam Solidity memiliki nilai maksimum 2^256 - 1.

• Apa itu?
  • Overflow: Ketika suatu operasi (seperti penjumlahan) menghasilkan angka yang lebih besar dari nilai maksimum, angka tersebut “melilit kembali” ke angka yang sangat kecil.
  • Underflow: Ketika suatu operasi (seperti pengurangan) menghasilkan angka di bawah nol (untuk bilangan bulat tanpa tanda, yang tidak bisa negatif), angka tersebut melilit kembali ke angka yang sangat besar. nomor.
• Cara kerjanya:
  • Saldo sebesar 100 token. Seorang pengguna menghabiskan 101. Perhitungan 100 - 101 akan mengalami underflow, menghasilkan saldo sebesar 2^256 - 1, yang secara efektif memberikan pengguna saldo yang hampir tak terbatas.
• Cara Menghindari It:
  • Gunakan Solidity 0.8.x atau yang lebih baru: Kompiler secara otomatis memeriksa overflow/underflow dan membatalkan transaksi di mana hal tersebut terjadi.
  • Gunakan SafeMath untuk kompiler yang lebih lama: Perpustakaan SafeMath dari OpenZeppelin menyediakan fungsi untuk operasi aritmatika yang aman sebelum v0.8.

4. Kerentanan Kontrol Akses