Bitcoin: Sebuah audit independen memuji kekokohan Bitcoin Core

Audit Bitcoin Core yang selama ini banyak diminta akhirnya telah dilakukan dan hampir tidak menemukan hal yang bisa dikritik. Untuk perangkat lunak yang mengamankan jaringan senilai ratusan miliar, ini bukanlah hal sepele. Ini adalah sinyal kuat, baik untuk cypherpunks maupun institusi yang mengakumulasi BTC secara diam-diam.

Audit Bitcoin Core Lulus dengan Hasil Gemilang

Selama 104 hari, Quarkslab mengaudit Bitcoin Core untuk OSTIF, didanai oleh Brink: audit publik pertama yang bersejarah. Tujuannya adalah untuk memverifikasi apakah perangkat lunak yang menjalankan mayoritas node BTC benar-benar layak mendapatkan kepercayaan yang telah diberikan selama bertahun-tahun.

Ruang lingkupnya bukanlah detail kosmetik. Auditor fokus pada bagian paling sensitif: lapisan peer-to-peer (P2P), logika validasi blok, manajemen status rantai, skenario reorganisasi. Singkatnya, semua hal yang, jika terjadi bug halus, dapat mengacaukan seluruh jaringan.

Hasilnya: tidak ada kerentanan kritis, tinggi, bahkan sedang. Hanya dua masalah kecil yang terdeteksi, dengan beberapa rekomendasi yang menargetkan alat fuzzing dan peningkatan cakupan pengujian. Poin-poin ini tidak memengaruhi konsensus, ketahanan terhadap serangan DoS, atau validasi transaksi. Untuk lebih dari 200.000 baris kode C++ dan 1.200 pengujian, auditor memuji basis kode yang termasuk paling matang.

P2P, mempool, reorganisasi: inti jaringan diperiksa secara mendalam

Audit Bitcoin Core berfokus pada lapisan P2P, tempat blok, transaksi, dan penemuan peer berlangsung. Setiap node dapat menangani sekitar 125 koneksi, menjadikan jaringan ini sebagai web propagasi raksasa. Para auditor mengeksplorasi jalur alternatif, mencoba melewati validasi dan pemblokiran peer jahat di Bitcoin Core. Mereka tidak menemukan celah yang dapat dieksploitasi.

Kemudian, perhatian diarahkan pada mempool, transisi status rantai, dan manajemen reorganisasi. Area kritis ini dapat menyebabkan divergensi rantai, desinkronisasi sementara, atau membuka jalan bagi serangan canggih. Di sini juga, audit tidak menemukan vektor serangan praktis yang dapat dieksploitasi di jaringan nyata.

Yang terpenting, Quarkslab tidak sekadar mencentang kotak . Tim merekomendasikan perluasan fuzzing dengan skenario baru, terutama pada koneksi blok dan reorganisasi. Ini sudah diterjemahkan ke dalam harness fuzzing baru, manajemen sistem file yang lebih baik untuk mempercepat pengujian, dan alat untuk mendeteksi regresi performa dari waktu ke waktu. Singkatnya, audit ini tidak hanya menyatakan bahwa Bitcoin Core solid hari ini, tetapi juga memperkuat kemampuannya untuk tetap tangguh di masa depan.

Sementara audit Bitcoin Core berakhir tanpa cacat, badai lain sedang berkembang di komunitas. Pada bulan Oktober, pembaruan Bitcoin Core v30, yang oleh sebagian orang digambarkan sebagai perubahan yang mengancam kesatuan jaringan, kembali memicu ketegangan antara pendukung Bitcoin Core dan Bitcoin Knots.