Short Paper: SlotCollider - Mendeteksi Tabrakan Slot Penyimpanan pada Kontrak Pintar Ethereum

Short Paper: SlotCollider - Mendeteksi Tabrakan Slot Penyimpanan pada Kontrak Pintar Ethereum

Abstrak

Kontrak pintar berisi kode dan data penyimpanan internalnya di rantai. Data penyimpanan ini perlu disejajarkan dan ditata dengan benar dalam pohon penyimpanan. Jika tidak, hal ini dapat menyebabkan tabrakan penyimpanan yang mengakibatkan perilaku tak terduga atau eksploitasi keamanan berbasis penyimpanan seperti peretasan Audius [1]. Dalam makalah ini, dengan alat SlotCollider kami, kami mengeksplorasi tabrakan slot yang terjadi ketika dua atau lebih variabel berbagi slot penyimpanan yang sama dalam kontrak proxy. Banyak alat yang ada hanya mengandalkan analisis bytecode untuk deteksi tabrakan, tetapi pendekatan ini menderita dari positif palsu dan negatif palsu, dan tidak cukup untuk sepenuhnya memahami tata letak penyimpanan dan tipe data yang kompleks. SlotCollider mengatasi masalah ini dengan analisis berbasis kode sumber kontrak pintar dan juga menggabungkan data on-chain untuk presisi lebih lanjut. Kami mengevaluasi SlotCollider pada kumpulan 4.890 kontrak pintar yang mendeteksi tambahan 6.558 tabrakan penyimpanan yang terlewat oleh alat lain [2]. SlotCollider mengungguli alat yang ada dalam deteksi dan memberikan hasil yang lebih akurat dan andal untuk mendeteksi tabrakan penyimpanan pada kontrak pintar Ethereum.

I. Pendahuluan

Ethereum adalah salah satu platform blockchain terbesar di dunia saat ini. Kesuksesan Ethereum terletak pada fondasi kontrak pintar: kode yang mengeksekusi dirinya sendiri yang secara otomatis menjalankan eksekusi ketika kondisi yang telah ditentukan terpenuhi. Kontrak-kontrak ini memainkan peran penting dalam transfer token, mekanisme tata kelola, sistem perawatan kesehatan, dan lainnya. Mereka juga menjamin eksekusi aset digital yang tidak dapat dibatalkan dan tanpa kepercayaan [3]. Ketidakdapatdibalikkan kontrak pintar meningkatkan keamanan, tetapi juga membawa risiko signifikan. Jika kontrak pintar mengandung bug, pengembang tidak dapat memodifikasi atau membalikkannya setelah diterapkan, yang dapat menyebabkan kerugian finansial [4].