Jonas Nick dari Blockstream Research dan kolaborator remix7531 telah merilis libshrincs, sebuah pustaka C bukti-konsep yang mengimplementasikan komponen kunci dari skema tanda tangan yang tahan kuantum yang dirancang untuk Bitcoin. Pustaka ini, diumumkan pada 11 Agustus di Delving Bitcoin, merupakan salah satu upaya paling ketat hingga kini untuk secara formal memverifikasi kode kriptografi yang dirancang untuk melindungi Bitcoin dari kedatangan komputer kuantum kuat pada akhirnya.
Proyek ini patut diperhatikan tidak hanya karena apa yang dilindunginya, tetapi juga cara pembuatannya. Bukti keamanan dan kebenaran sebagian besar dihasilkan dengan bantuan model bahasa besar, termasuk ChatGPT dan Fable, di bawah pengawasan manusia.
Apa yang sebenarnya dilakukan libshrincs
Libshrincs mengimplementasikan WOTS+C, komponen tanda tangan sekali pakai dari skema yang lebih luas bernama SHRINCS. SHRINCS, yang pertama kali diusulkan pada Desember 2025, adalah skema tanda tangan yang menggabungkan tanda tangan berbasis hash bersifat stateful dan stateless. Tujuannya adalah menjaga ukuran tanda tangan tetap ringkas agar praktis untuk transaksi bitcoin, sekaligus tetap memberikan ketahanan terhadap kuantum.
Dalam mode stateful, tanda tangan berukuran sekitar 324 byte. Skema ini juga mencakup mekanisme fallback stateless, pada dasarnya jaring pengaman jika pelacakan komponen stateful mengalami kesalahan.
Perpustakaan ini dilengkapi dengan bukti kebenaran fungsional yang diperiksa mesin dan bukti keamanan yang diverifikasi menggunakan SSProve di Rocq. Bukti-bukti tersebut sangat substansial: sekitar 6.200 baris kode VST (Verified Software Toolchain) dan sekitar 13.400 baris kode Rocq.
Sudut pandang AI, dan mengapa hal ini penting
Model bahasa besar digunakan untuk menghasilkan sebagian besar kode verifikasi, dengan pengembang manusia membimbing dan meninjau hasilnya. Verifikasi formal dalam kriptografi secara historis mahal dan lambat. Jika metode yang dibantu AI dapat menghasilkan output semacam ini secara andal, hal ini dapat secara signifikan menurunkan hambatan dalam membangun perangkat lunak kriptografi yang terverifikasi.
Batasan dan jalan ke depan
Para peneliti transparan tentang apa yang belum dapat dicapai oleh libshrincs. Teorema keamanan saat ini tidak menyediakan batas pasca-kuantum lengkap dalam quantum random oracle model (QROM). Selain itu, teori keamanan yang digunakan lebih lemah dibandingkan bagaimana tanda tangan SHRINCS sebenarnya akan diterapkan dalam praktik. Asumsi hash numerik yang akan memperkuat argumen keamanan belum dimasukkan.
Tidak ada klaim tentang peluncuran produksi atau integrasi ke dalam Bitcoin Core. Pekerjaan ini berada dalam inisiatif luas Blockstream Research untuk mengembangkan tanda tangan yang tahan kuantum baik untuk Bitcoin maupun jaringan sidechain Liquid milik Blockstream. Upaya terkait mencakup implementasi C++ dan perpustakaan verifier Simplicity.