StarkWare, Bitcoin ağında kuantum direncili işlem testi yaptı: "Geleceğe hazırlanıyoruz"

İsrail merkezli sıfır bilgi kanıtı (zero-knowledge proof) teknolojileri şirketi StarkWare, Bitcoin ana ağında (mainnet) kuantum bilgisayarların gelecekte oluşturabileceği kriptografik risklere karşı tasarlanan bir işlem gerçekleştirdiğini resmi blogunda açıkladı. Şirket, bugünkü Bitcoin imza algoritması olan ECDSA (secp256k1) ve olası bir sonraki standart Schnorr imzalarının (BIP-340), yeterli büyüklükteki bir kuantum bilgisayarda Shor algoritmasıyla kırılabileceğini hatırlatarak, "hazırlıksız yakalanmamak" için erken bir demonstrasyon yapıldığını belirtti.

OP_CAT ile "hash tabanlı" imza doğrulandı

Test, Bitcoin'in mevcut komut setinde bulunmayan ama BIP-420 numaralı öneriyle yeniden etkinleştirilmesi gündemde olan OP_CAT işlem kodunu (opcode) kullanarak gerçekleştirildi. StarkWare mühendisleri, OP_CAT'in veri birleştirme yeteneğini kullanarak, kuantum bilgisayarlara karşı dayanıklı olduğu kabul edilen Winternitz Tek Kullanımlık İmza (WOTS+) şemasının bir varyantını Bitcoin Script'i içinde çalıştırmayı başardı. Bu yöntem, eliptik eğri kriptografisine dayanmak yerine sadece hash fonksiyonlarının (SHA-256) güvenliğine dayanır.

Gerçekleştirilen işlemde; bir kullanıcının bir mesajı WOTS+ ile imzaladığı, bu imzanın ve mesajın bir Bitcoin işlemi (transaction) içine konulduğu ve madenciler tarafından bloklara dahil edildiği görüldü. Doğrulama süreci, OP_CAT sayesinde yığın (stack) üzerinde hash zincirleri oluşturularak tamamen on-chain (zincir üzerinde) yapıldı. StarkWare, bu işlemin blok yüksekliğinde 840.000 civarında (Nisan 2024 sonları) maddeleştiğini paylaştı.

Bitcoin geliştiricileri: "Standartlaşma süreci ayrı bir tartışma"

Bitcoin Core geliştirici ekibinden önde gelen isimler, StarkWare'in demonstrasyonunu "teknik olarak etkileyici ve değerli bir araştırma" olarak nitelendirdi. Ancak OP_CAT'in (veya herhangi bir kuantum direnci önerisinin) Bitcoin protokolüne eklenmesi için gerekli olan BIP (Bitcoin Improvement Proposal) sürecinin, toplumsal mutabakat (consensus) ve güvenlik denetimleri (audit) gibi yıllar sürebilecek aşamaları gerektirdiğini hatırlattılar. Geliştiriciler arasında, kuantum tehdidinin henüz pratik bir risk oluşturmadığı için protokol değişikliği yapmanın "erken" olup olmadığı, veya PQC (Post-Quantum Cryptography) standartlarının NIST tarafından netleşmesini bekleyip beklememek konusunda farklı görüşler mevcut.

Neden şimdi? "Migrasyon yıllarınızı alır"

StarkWare ortak kurucusu Eli Ben-Sasson, açıklamada "Kuantum bilgisayarlar bugün Bitcoin'i kıramıyor. Ama bir gün kırabilecekleri gün gelirse, tüm ağın imza algoritmasını değiştirmek (hard fork) ve milyar dolarlık UTXO setini yeni adreslere taşımak en az 5-10 yılınızı alacak. O gün gelmeden altyapıyı test etmeliyiz" ifadelerini kullandı. Şirket, test için kullandığı araçları ve kodları açık kaynak (open source) olarak GitHub üzerinde paylaştığını belirterek, diğer geliştiricilerin ve araştırmacıların incelemesine açıldığını kaydetti.