Nilabas ni Jonas Nick ng Blockstream Research at ang kanyang kasamang remix7531 ang libshrincs, isang proof-of-concept C library na nagpapatupad ng isang pangunahing komponente ng isang quantum-resistant signature scheme na disenyo para sa Bitcoin. Ang library, na inanunsyo noong Agosto 11 sa Delving Bitcoin, ay isa sa mga pinakamalalim na pagkakataon hanggang sa ngayon upang pormal na i-verify ang cryptographic code na idinisenyo upang protektahan ang Bitcoin mula sa pagdating ng makapangyarihang quantum computers.
Ang proyekto ay nakakatangi hindi lamang dahil sa kung ano ang itinutugon nito, kundi kung paano ito itinayo. Ang mga patunay sa seguridad at kawastuhan ay malawakang nilikha kasama ang tulong ng malalaking modelo sa wika, kabilang ang ChatGPT at Fable, sa ilalim ng tao na pagmamalasakit.
Ano talaga ang ginagawa ng libshrincs
Ang Libshrincs ay nagpapatupad ng WOTS+C, ang isang beses na lagda na komponente ng isang mas malawak na scheme na tinatawag na SHRINCS. Ang SHRINCS, na unang ipinangako noong Disyembre 2025, ay isang scheme ng lagda na nagbubuod ng stateful at stateless hash-based signatures. Ang layunin ay panatilihin ang laki ng mga lagda ay sapat na kompaktong maging praktikal para sa mga transaksyon sa Bitcoin habang nananatiling may quantum resistance.
Sa stateful mode, ang mga signature ay nagsasaklaw ng humigit-kumulang 324 bytes. Ang scheme ay naglalaman din ng stateless fallback mechanism, na isang safety net sa kaso na mali ang pagsubaybay ng stateful component.
Ang library ay kasama ang machine-checked proofs ng functional correctness at security proof na na-verify gamit ang SSProve sa Rocq. Ang mga proof ay malalim: humigit-kumulang 6,200 linya ng VST (Verified Software Toolchain) code at humigit-kumulang 13,400 linya ng Rocq code.
Ang AI angle, at bakit ito mahalaga
Ginamit ang mga malalaking modelo ng wika upang makagawa ng malalaking bahagi ng code ng pagpapatotoo, kasama ang gabay at pagsusuri ng mga developer. Ang pormal na pagpapatotoo sa kriptograpiya ay karamihan sa kasaysayan ay mahal at mabagal. Kung ang mga paraan na may tulong ng AI ay maaaring magsagawa ng ganitong uri ng output nang maaasahan, maaari itong magbawas nang malaki sa hadlang sa pagbuo ng verified na kriptograpikong software.
Mga limitasyon at daan patungo sa hinaharap
Makatotohanan ang mga mananaliksik tungkol sa ano ang hindi pa natutupad ng libshrincs. Ang kasalukuyang teorema sa seguridad ay hindi nagbibigay ng kumpletong post-quantum bound sa quantum random oracle model (QROM). Gamit din nito ang mas mahinang konsepto ng seguridad kumpara sa paano talaga ipapakilala ang mga SHRINCS signature sa praktika. Hindi pa kasama ang mga numerikal na hash assumptions na magpapalakas sa argumento sa seguridad.
Walang mga pag-claim tungkol sa production deployment o integrasyon sa Bitcoin Core. Ang gawa ay nasa loob ng mas malawak na inisyatiba ng Blockstream Research upang magdevelop ng quantum-resistant signatures para sa Bitcoin at sa Liquid sidechain network ng Blockstream. Kasama sa mga kaugnay na pagsisikap ang C++ implementations at Simplicity verifier libraries.