Bug di Liquid Network Diduga Jadi Biang Kerok Hilangnya BTC Senilai US$320 Juta

Peneliti yang menelaah insiden Liquid Network senilai sekitar US$320 juta menilai ada kegagalan pada cache validasi transaksi di perangkat lunak, yang bisa menjelaskan secara lebih spesifik bagaimana token tanpa dukungan aset dapat ditebus menjadi Bitcoin asli. Sejumlah laporan juga menyoroti kemungkinan masalah saat penerapan (deployment) kode. Mononaut menyebut bug yang dieksploitasi telah masuk ke cabang pengembangan master Elements pada pekan sebelumnya, tetapi belum pernah muncul dalam rilis bertag. Ia mengatakan para "functionaries" federasi Liquid diduga menjalankan kode tersebut, sementara node lain menolak transaksi tidak valid. Hingga kini, narasi mengenai deployment itu belum dikonfirmasi Blockstream melalui pernyataan yang tersedia. Bila benar, fokus insiden bergeser ke proses rollout perangkat lunak: kredensial penandatanganan yang valid disebut telah mengotorisasi pelepasan Bitcoin untuk LBTC yang diduga tercipta akibat bug. Liquid adalah sidechain Bitcoin, dengan token LBTC yang semestinya didukung 1:1 oleh BTC yang disimpan federasinya. Seperti dilaporkan CryptoSlate sebelumnya, SideSwap menyatakan seorang pelanggan memasukkan 4.000 LBTC melalui layanan peg-out pada 6 September, yang memicu pelepasan sekitar 3.996 BTC. Liquid menyatakan kunci otorisasi peg-out SideSwap maupun kunci federasi lain tidak dikompromikan. Karena itu, perhatian laporan teknis terbaru tertuju pada bagaimana token tersebut bisa lolos hingga tahap penarikan. Calle menguraikan dugaan celah yang melibatkan range proof, mekanisme yang memungkinkan node memverifikasi nilai transaksi tersembunyi berada dalam rentang yang diizinkan tanpa mengungkap nilainya. Pada confidential transactions Liquid, tidak cukup sekadar memastikan input dan output seimbang: output tersembunyi bernilai negatif dapat mengimbangi output positif yang lebih besar, sehingga token baru tampak seimbang secara matematis. Range proof dirancang untuk mencegah skenario ini. Karena pemeriksaan range proof mahal secara komputasi, node menyimpan hasil verifikasi yang valid dalam cache untuk dipakai ulang. Menurut Calle, penyerang dapat membangun output dan proof tidak valid yang kebetulan cocok dengan cache key dari pemeriksaan yang sebelumnya valid. Node yang menemukan hasil cache tersebut akan melewati verifikasi yang semestinya menolak output yang bersifat inflasi. Charles Guillemet mendukung penjelasan itu, menyebut adanya collision pada cache key yang dibuat khusus sehingga confidential transaction tidak valid dapat lolos dari pemeriksaan range. Calle menekankan penjelasannya bersifat penyederhanaan dan bisa memuat kekeliruan. Rekonstruksi transaksi terpisah oleh Stu mengidentifikasi transaksi persiapan yang diikuti transaksi yang diduga tidak valid pada blok Liquid 4.050.336. Stu menyebut transaksi tersebut menciptakan sekitar 3.996,0183 LBTC sebelum penarikan berikutnya melalui SideSwap. Mononaut menambahkan perbedaan antara node yang menerima transaksi dan yang menolaknya. Ia mengatakan para functionaries federasi menerima transaksi eksploit, menyetujui penarikan, dan tetap membangun blok. Node lain, termasuk yang memasok data untuk Liquid explorer milik mempool, menolak blok yang terdampak. Ini dapat menjelaskan mengapa explorer yang mengikuti node penolak tidak menampilkan transaksi yang terlihat di tempat lain. Perbedaan perilaku tersebut membuat versi perangkat lunak yang digunakan menjadi faktor kunci. Postmortem perlu memastikan fungsi kode mana yang berjalan, mengapa kode itu diterapkan, serta bagaimana perilaku validasinya berbeda dibanding node yang menolak blok. Pihak yang mengendalikan Bitcoin yang ditarik menyebut diri mereka whitehat dan mensyaratkan pengembalian sebagian besar dana setelah bug diperbaiki di node yang terdampak. Laporan yang tersedia belum memastikan apakah pengembalian telah tuntas atau patch sudah digelar secara menyeluruh. Pemulihan BTC akan menutup kekurangan cadangan, sementara penjelasan mengapa node federasi menerima transaksi dan bukti bahwa perangkat lunak yang diperbaiki menolaknya akan menjawab akar kegagalan yang membuat cadangan tersebut keluar.