Blockstream Araştırma ekibinden Jonas Nick ve ortağı remix7531, Bitcoin için kuantum dirençli bir imza şemasının temel bir bileşenini uygulayan libshrincs adlı bir kanıt-kavram C kütüphanesini yayınladı. 11 Ağustos'ta Delving Bitcoin'de duyurulan bu kütüphane, Bitcoin'i nihai olarak güçlü kuantum bilgisayarlarının gelişine karşı korumayı amaçlayan kriptografik kodların resmi olarak doğrulanması konusunda yapılan en titiz çabalardan birini temsil ediyor.
Proje, koruduğu şeyler kadar nasıl oluşturulduğuyla da dikkat çekiyor. Güvenlik ve doğruluk kanıtları, büyük dil modellerinin (ChatGPT ve Fable dahil) insan denetimi altında yardımıyla oluşturuldu.
Libshrincs'in aslında yaptığı
Libshrincs, SHRINCS adlı daha geniş bir şemayı oluşturan bir kez kullanımlık imza bileşeni olan WOTS+C'yi uygular. Aralık 2025'te önerilen SHRINCS, durumlu ve durumsuz hash tabanlı imzaları birleştiren bir imza şemasıdır. Amacı, kuantum direncini korurken imza boyutlarını bitcoin işlemlerinde pratik olacak kadar kompakt tutmaktır.
Durumlu modda, imzalar yaklaşık 324 bayt boyutunda olur. Şema, durumlu bileşenin izleme işleminin yanlış yönetilmesi durumunda bir güvenlik ağı olarak işlev gören durumsuz bir yedek mekanizması da içerir.
Kütüphane, fonksiyonel doğruluk için makine tarafından kontrol edilen kanıtlar ve Rocq'da SSProve kullanılarak doğrulanmış bir güvenlik kanıtı ile birlikte gelir. Kanıtlar oldukça kapsamlıdır: yaklaşık 6.200 satır VST (Doğrulanmış Yazılım Araç Zinciri) kodu ve yaklaşık 13.400 satır Rocq kodu.
Yapay zeka açısı ve neden önemli
Doğrulama kodunun büyük bir kısmını büyük dil modelleri üretti, insan geliştiriciler çıktıları yönlendirdi ve inceledi. Kriptografi alanında formel doğrulama tarihsel olarak maliyetli ve yavaş olmuştur. Eğer AI destekli yöntemler bu tür çıktıları güvenilir bir şekilde üretebilirse, doğrulanmış kriptografik yazılım oluşturma engelini önemli ölçüde düşürebilir.
Sınırlamalar ve ilerideki yol
Araştırmacılar, libshrincs'in henüz gerçekleştiremediği şeyleri şeffaf bir şekilde belirtmektedir. Mevcut güvenlik teoremi, kuantum rastgele orak modelinde (QROM) tam bir post-kuantum sınırı sağlamamaktadır. Ayrıca, SHRINCS imzalarının pratikte nasıl uygulanacağına göre daha zayıf bir güvenlik kavramını kullanmaktadır. Güvenlik argümanını güçlendirmek için gerekli olan sayısal hash varsayımları henüz dahil edilmemiştir.
Bitcoin Core'a yönelik üretim dağıtımı veya entegrasyon iddiaları bulunmamaktadır. Çalışma, Bitcoin ve Blockstream'in Liquid yan zincir ağı için kuantum dirençli imzalar geliştirmeyi amaçlayan Blockstream Research'ın daha geniş girişimleri kapsamında yer almaktadır. İlgili çabalar arasında C++ uygulamaları ve Simplicity doğrulayıcı kütüphaneleri bulunmaktadır.