BitsLab Anak Perusahaan MoveBit Rilis Penelitian｜Belobog: Kerangka Uji Kabur Move yang Berorientasi pada Serangan Nyata
MoveBit, anak perusahaan BitsLab, telah merilis penelitian berjudul "Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts". Penelitian ini mengatasi tantangan dalam pengujian fuzzing untuk bahasa pemrograman Move, yang digunakan dalam ekosistem seperti Sui dan Aptos. Move memiliki sistem tipe yang kuat dan semantik sumber daya yang unik, tetapi kerentanan sering muncul dari interaksi kompleks antar modul, asumsi izin, dan urutan panggilan yang dieksploitasi.
Belobog menggunakan pendekatan inovatif dengan memanfaatkan sistem tipe Move sebagai panduan untuk menghasilkan urutan transaksi yang valid dan bermakna, bukan mengandalkan generasi acak yang sering gagal. Framework ini menggabungkan concolic execution (gabungan eksekusi konkret dan simbolis) untuk menembus batasan kompleks dan mencapai jalur kode yang dalam.
Dalam evaluasi pada 109 kontrak Move dunia nyata, Belobog mendeteksi 100% kerentanan Critical dan 79% kerentanan Major yang dikonfirmasi oleh audit manual. Ini juga mampu mereproduksi serangan penuh tanpa pengetahuan sebelumnya. Belobog dirancang untuk developer dan akan dirilis sebagai proyek open-source, bertujuan menjadi infrastruktur yang dapat diperluas oleh komunitas. Penelitian ini sedang dalam proses peer review untuk konferensi PLDI’26.
marsbit12/16 09:16
