Kaçırmış olmanız ihtimaline karşı, Ethereum ekosisteminde tarihsel olarak aktif bir şirket olan Starkware, geçtiğimiz aylarda ortaya çıkan yeni Bitcoin ölçeklendirme fırsatlarına önemli miktarda kaynak ayırmaya başlamayı planladığını dün duyurdu.

Sıfır bilgi sistemlerinin öncüsü olan grup, STARK teknolojilerini Bitcoin'e getirmek için OP_CAT'tan yararlanma planlarını açıkladı. Yumuşak çatal teklifi, sıfır bilgi kanıtlarının yerel olarak doğrulanmasına izin vererek geliştiriciler için tamamen yeni bir tasarım alanı açabilir.

Duyuru birçok kişi tarafından Bitcoin protokolü için önemli bir teknik kilometre taşı olarak görülüyor. İşte konuyla ilgili istenmeyen 2 sentim.

Uzun zaman geliyor

Starkware CEO'su Eli Ben-Sasson'un duyuru gönderisinde belirttiği gibi, Bitcoin'i geliştirmek için sıfır bilgiyi kullanma fikri yeni bir şey değil. Geliştiriciler on yılı aşkın bir süredir teknolojinin uygulamalarını tartışıyorlar. Ben-Sasson, 2013 yılında San Jose'de düzenlenen bir Bitcoin konferansında bu fikrin ilk konseptlerini bizzat sunmuştu. 2017 yılında Blockstream geliştiricileri Gregory Maxwell, Pieter Wuille ve Andrew Poelstra, Bitcoin'deki gizli işlemleri desteklemek için sıfır bilgi protokolü olan Bulletproof'un kullanımına ilişkin bir araştırma makalesini birlikte yayınladılar.

Daha yakın yıllarda, BitVM yaratıcısı Robin Linus, Bitcoin blok zincirinin sıfır bilgi kanıtlarını oluşturmak için kullanılan bir sıkıştırma tekniği olan ZeroSync üzerinde çalışmayı teşvik etti. Tamamen uygulandığında, bir Bitcoin düğümünün çalıştırılmasıyla ilgili kaynak gereksinimlerini önemli ölçüde azaltacaktır. 2022'de İnsan Hakları Vakfı, mevcut Alpen Laboratuvarı araştırması John Light'ı, sıfır bilgi kanıtlarını kullanarak Bitcoin'deki geçerlilik özetlerinin potansiyeli hakkında tam bir rapor hazırlaması için görevlendirdi.

Sıfır bilgi kanıtlarının geniş bir uygulama alanı vardır ve bunları duymanın sonuna henüz gelmedik. Pek çok kişi teknolojinin bu sonraki hesaplama çağını tanımlayacağını düşünüyor ve ben de onlara karşı bahse girmekte zorlanıyorum. Üst düzey Bitcoin uygulamalarının yakında bunlardan yararlanmaya başlayacağı neredeyse garanti ve bu eğilimin yalnızca buradan itibaren büyümesini bekleyebiliriz.

Hala erken

Sıfır bilgi kriptografisine ilişkin teknolojik kazanımların çoğu son on yılda elde edilmiştir. Daha fazla kriptografın teknolojinin uygulamalarıyla ilgilenmesi nedeniyle alan hızla gelişiyor. Araştırmacılar, bu kanıtları üretmek ve doğrulamak için gereken zamandan ve kaynaklardan en fazla kimin tasarruf edebileceğini bulmak için adeta bir silahlanma yarışı içindeler. Şu an itibariyle, kanıt sistemlerinin çoğu hesaplama açısından pahalı olmaya devam ediyor. Farklı protokoller farklı ödünler verir, ancak ortalama bir kullanıcının kanıtları hızlı ve etkili bir şekilde doğrulayabilmesi için iyileştirmeler doğrulamaya odaklanmıştır. İnovasyonun hızı aralıksız olsa da, bu kanıtları geniş ölçekte oluşturmak büyük olasılıkla özel donanım ve büyük operasyonlar gerektirecektir.

Bu alandaki devasa kilit açma işlemlerine ve önemli başarılara rağmen, kriptografi çevrelerinde on yılın olağanüstü uzun bir süre olmadığını belirtmekte fayda var. En yeni tekliflerin çoğu, teknik olarak sağlam kabul edilen ancak Bitcoin'inki kadar sertleştirilmemiş ve test edilmemiş tekniklerden yararlanıyor. 2018 yılında, Zcash'in ZK-SNARK uygulamasında, bir saldırganın para biriminin sahtesini yapmasına olanak verebilecek gizli bir enflasyon hatası keşfedildi. Adil olmak gerekirse, Starkware tarafından önerilen STARK yapısının, daha şeffaf yapısı nedeniyle çok daha güvenli olduğu değerlendiriliyor.
Toplamalar konusunda heyecanlanmak zor

Toplamalar konusunda heyecanlanmak zor

Bu projenin motivasyonlarından biri Bitcoin'de zk toplamalarını etkinleştirmektir. Bilmeyenler için, toplamalar, uygulamaları ve verimi ölçeklendirmek için zincir dışı sıralamayı kullanan oldukça öne çıkan ürünlerdir. Zk toplamaları veya geçerlilik toplamaları, sistemin işlem kaydına ilişkin kanıtlar oluşturmayı önerir; bunlar daha sonra kullanıcılar tarafından bağımsız olarak doğrulanabilir ve ek güven varsayımları gerektirmeyen zincir dışı sistemlere olanak tanır.

Bugün, Ethereum'daki büyük toplama uygulamalarının hiçbiri bu sistemi tam olarak uygulamamıştır. Her biri, işlemlerin hem kanıtlanmasından hem de sipariş edilmesinden sorumlu merkezi bir operatöre bağlıdır. Kanıtların gerçekten üretildiği nadir durumlarda, dolandırıcılığı önlemek için yalnızca izin verilen aktörler bunları sunabilir. Starkware'in Starknet'i şu anda, operatörün işbirliğini durdurması veya altyapının çökmesi durumunda kullanıcıların işlemlerini sistemden çıkarmaya zorlayacak bir mekanizma sunmuyor.

Hemen hemen her projede, bir dizi çoklu imza anahtarıyla etkili bir şekilde güvence altına alınan milyarlarca dolar mevduat bulunmaktadır. Bu anahtarların idaresinden sorumlu olan aynı grup kişi aynı zamanda toplu sözleşmeyi yükseltebilir ve ilgili fonları kontrol edebilir. Birkaç gün önce, Ethereum'un altıncı en büyük toplaması olan Linea, operatör tarafından tek taraflı olarak durduruldu ve bir hacklemenin ardından tüm kullanıcı fonları donduruldu. 

Burada muhtemelen yazmaya pek uygun olmadığım, ancak yukarıda özetlenen sorunları çözmek için çok fazla çalışma ve kaynak harcanan alternatif, daha iyimser bir durum var. Eksiksiz, güvenilmez vizyonun ortaya çıkması için önemli miktarda araştırmaya ihtiyaç duyulacaktır.

Ayrıca Ethereum'da olduğu gibi toplamaların yalnızca bir avuç insanın evcilleştirebileceği tuhaf karmaşıklık canavarlarına dönüşmesi de mümkündür.

BitVM yan sorgusu

Geçen yıl Robin Linus tarafından BitVM'nin tanıtılması, Bitcoin'deki sıfır bilgi yarışını gerçekten yüksek vitese yükselten şey oldu. Starkware, özgeçmişiyle manşetlere çıkıyor ancak Alpen Labs, Citrea ve Bitlayer gibi birçok ekip, sıfır bilgi kanıtlarını kendi uygulamaları için nasıl optimize edeceklerini aktif olarak araştırıyor.

İleriye dönük olarak hangi seçimleri yaptıklarını ve silahlarına sadık kalıp kalmadıklarını görmek ilginç olacak. OP_CAT'in pek çok verimlilik sağladığına dair güçlü bir iddia ileri sürülebilir ancak bu ödünlerin tam olarak ne olduğu henüz belli değil. Pek çok şirketin BitVM yolunu keşfetmeye devam edeceğini ve sıfır bilgi hesaplamasını taklit edeceğini düşünüyorum. Her iki durumda da fonları Bitcoin zincirinden başka herhangi bir sisteme bağlamanın, yeniden organizasyon saldırılarına maruz kalabilecek hafif istemci güvenliğini içerdiğini belirtmek önemlidir.

Geçen ay BitVM ile ilgili likidite sorunlarına çok fazla yayın süresi verildi. Bu tür çözümlere yönelik mevcut kullanıcı profilini düşünürsek, bunun herhangi birinin katılımını engelleyeceği fikrinin biraz şüpheli olduğunu düşünüyorum. Pratik ya da sürdürülebilir olmayabilir ama dürüst olmak gerekirse hangi pazarın bu konuyu pek önemsediğinden emin değilim. Yine, kullanıcılar şu anda çoklu imzalara milyarlarca dolar yatırıyor, bu nedenle diğer her şey kıyaslandığında neredeyse güvenilmez görünecek.

Daha fazla geliştirici finansmanı

Araştırma finansmanına ayrılan bir milyon dolar, ekosistem için net bir olumludur. Bu, OP_CAT etrafında artan fikir paylaşımı açısından cesaret verici bir gelişmedir. Bir hata ödülünün herhangi bir yere ulaşması pek olası değil, ancak kavram kanıtları ve uygulamalar üzerine daha odaklı çalışmalardan neler çıkacağını görmek ilgimi çekiyor. Bu fonların kaynağına kaşlarını çatmak kolaydır ancak sonuçta bu çabaların sonucu, teknik değerlerine göre değerlendirilecektir. Bitcoin'in gelişim süreci, bazı konuşanların sandığınız kadar kolay etkilenmez.

OP_CAT'in kod bulmacasının yalnızca bir parçası olduğunu unutmamak da önemlidir. Belirli kullanım durumlarına ilişkin atılımlar heyecan vericidir ancak bunlar, büyük resmin gözden kaçırılmasını haklı çıkaracak kadar nadiren yeterlidir. Bu teknolojilerin hiçbiri kısa vadede önemli faydalar sağlayacak kadar olgun değil. Bu sistemleri güvenilir bir şekilde uygulamaya koymanın hala yıllar alacağı bir dönemde, bugün bir yükseltmeyi hızlandırmak biraz aceleci görünüyor. İnsanlar merkezi sanal makineler istiyorsa aralarından seçim yapabileceği çok sayıda yan zincir var.

Bu noktada her gün yeni bir çığır açıyoruz ve bundan bir ay sonra nerede olacağımızı tahmin etmek bile zor. Bitcoin komut dosyası iyileştirmeleri konusunda kaydedilen ilerleme konusunda ihtiyatlı bir iyimserim ancak şu anda herhangi bir taahhütte bulunmanın yersiz olduğunu düşünüyorum. Bir süreliğine tozun yatışmasına izin vermemiz gerekecek. 

Kaynak: Bitcoin Dergisi

Post Tepkileri: Bitcoin Sıfır Bilgi Silahlanma Yarışı Başlıyor ilk olarak Crypto Breaking News'te göründü.