Jonas Nick daripada Blockstream Research dan rakan kerjasama remix7531 telah mengeluarkan libshrincs, sebuah pustaka C bukti konsep yang mengimplementasikan komponen utama skema tandatangan yang tahan kuantum yang direka untuk bitcoin. Pustaka ini, diumumkan pada 11 Ogos di Delving Bitcoin, mewakili salah satu usaha paling ketat hingga kini untuk mengesahkan secara formal kod kriptografi yang bertujuan melindungi bitcoin daripada kedatangan komputer kuantum yang kuat pada masa akan datang.
Projek ini menonjol bukan hanya kerana apa yang ia lindungi, tetapi juga cara ia dibina. Bukti keselamatan dan kebetulan sebahagian besarnya dihasilkan dengan bantuan model bahasa besar, termasuk ChatGPT dan Fable, di bawah pengawasan manusia.
Apa yang sebenarnya dilakukan oleh libshrincs
Libshrincs mengimplementasikan WOTS+C, komponen tanda tangan sekali pakai daripada satu skema yang lebih luas dipanggil SHRINCS. SHRINCS, pertama kali dicadangkan pada Disember 2025, ialah skema tanda tangan yang menggabungkan tanda tangan berasaskan hash berstatus dan tanpa status. Matlamatnya adalah untuk mengekalkan saiz tanda tangan yang ringkas cukup untuk praktikal dalam transaksi bitcoin sambil masih memberikan ketahanan kuantum.
Dalam mod berstatus, tanda tangan mengambil ruang sekitar 324 bait. Skema ini juga menyertakan mekanisme cadangan tanpa status, pada dasarnya jaring keselamatan jika pelacakan komponen berstatus mengalami kesalahan pengurusan.
Perpustakaan ini dilengkapi dengan bukti kebenaran fungsional yang diperiksa mesin dan bukti keselamatan yang diverifikasi menggunakan SSProve di Rocq. Bukti-bukti ini berskala besar: sekitar 6.200 baris kod VST (Verified Software Toolchain) dan sekitar 13.400 baris kod Rocq.
Sudut pandang AI, dan mengapa ia penting
Model bahasa besar digunakan untuk menghasilkan sebahagian besar kod pengesahan, dengan pembangun manusia membimbing dan mengulas output tersebut. Pengesahan formal dalam kriptografi secara sejarah mahal dan perlahan. Jika kaedah yang dibantu AI boleh menghasilkan output sebegini secara boleh dipercayai, ia boleh secara ketara menurunkan halangan untuk membina perisian kriptografi yang disahkan.
Hadapan dan jalan ke depan
Penyelidik bersikap telus mengenai apa yang belum dicapai oleh libshrincs. Teorem keselamatan semasa tidak memberikan sempadan pasca-kuantum yang lengkap dalam model orakel rawak kuantum (QROM). Ia juga menggunakan konsep keselamatan yang lebih lemah berbanding bagaimana tanda tangan SHRINCS sebenarnya akan dilaksanakan dalam amalan. Anggapan hash nombor yang akan memperkuat hujah keselamatan belum lagi dimasukkan.
Tidak ada klaim mengenai pelaksanaan produksi atau integrasi ke dalam Bitcoin Core. Karya ini berada dalam inisiatif luas Blockstream Research untuk mengembangkan tanda tangan yang tahan kuantum bagi Bitcoin dan rangkaian sisi Liquid Blockstream. Usaha terkait termasuk implementasi C++ dan pustaka verifier Simplicity.