Bu yılın başlarında, Weikeng Chen ve girişim şirketi L2 Iterative'deki ortakları dikkatlerini köpüren Bitcoin ekosistemine kaydırmaya karar verdiler. Çinli bir yerli olan Chen, Ordinaller ve katman 2 alanındaki farklı projeleri desteklemeye başlayan madencilik alanındaki birkaç büyük aktörün Bitcoin gelişimine artan ilgisini fark etmişti.
Yarı şakacı bir tavırla, "Bitcoin'in bir geliştirme topluluğuna sahip olduğunu hiç fark etmemiştim" diyor.
Geçtiğimiz haftaya hızlı bir şekilde ilerlersek, kendisi tarafından yönetilen ve altyapı şirketi Starkware'in sponsorluğuyla yürütülen açık kaynaklı bir girişim, Bitcoin komut dosyasını kullanan sıfır bilgi doğrulayıcının ilk uygulamasını gerçekleştirdi.
Önemli atılımların çok az olduğu bir sektörde, bu çabaya katılanlar bu dönüm noktasının önemi hakkında fışkırıyor. Sıfır bilgi kanıtlarının, Bitcoin'in programlanabilirliğini ortaya çıkarmanın ve kullanımını küresel olarak ölçeklendirmenin anahtarı olduğunu ileri sürüyorlar.
Bu başarının arkasında, yalnızca altı ay önce Bitcoin geliştirmeyi başlatan ve şimdi tartışmasız en gelişmiş yazılım parçasını kodlayan yabancı birinin olağanüstü yolculuğu var. Motivasyonlarını, OP_CAT ve STARK'lar konusunda Starkware ile olan işbirliğini ve Bitcoin gelişiminin bu yeni çağına ilişkin bakış açılarını derinlemesine incelemek için Weikeng Chen ile röportaj yaptım.
En baştan başlamak
UC Berkeley'den kriptografi alanında uzmanlaşan doktora mezunu Chen, firmasını potansiyel yatırımcılar ve şirketler nezdinde daha iyi konumlandırmak için teknik becerileriyle sektöre katkıda bulunma fırsatını aramaya başladığını açıkladı. Kapsamlı mühendislik deneyimine rağmen kaynakların kıt olduğunu ve öğrenme eğrisinin dik olduğunu hemen fark etti. "Mevcut materyallerin çoğu güncelliğini yitirmiş ve mevcut gelişme durumunu yansıtmıyor" diye belirtti. Sıfır bilgi teknolojisine olan ilgisi, sonunda araştırmasını Bitcoin'in sıfır bilgi kanıtlarını doğrulamak için gereken hesaplamaları gerçekleştirme becerisi üzerine odaklamasına yol açtı.
Bir tavşan deliği diğerine yol açarken, Robin Linus'un BitVM'nin yeni bilgi işlem paradigması üzerindeki çalışması radarına takıldı. Bitcoin ile uyumlu sıfır bilgi sistemlerini uygulamak için dolandırıcılık kanıtlarını kullanma potansiyeliyle ilgilenen, teknik incelemeyi karıştırmaya başladı ve sistemde yer alan bazı kavramlarla ilgili bazı sorunlar fark etti. “Robin'e BitVM hakkında birkaç soru soran bir mesaj gönderdim. Bu teknik incelemeden BitVM hakkındaki anlayışım gerçekten tamamen yanlıştı. Robin'in ilk tepkisinin bana bunu kimin söylediğini sormak olduğunu hatırlıyorum," diye güldüğünü hatırlıyor. Bu etkileşim, Chen, Linus ve diğer araştırmacılar arasında, orijinal fikri yineleyerek onu optimize etmenin yollarını arayan kısa ama verimli bir işbirliğini ateşledi.
"Bu yöntemin sıfır bilgi kanıtını doğrulamak için kullanılabileceği benim için açıktı, bu nedenle çalışmam hızla bir SNARK doğrulayıcının uygulanması yönünde ilerledi."
Doğrulayıcı, Bitcoin ağındaki sıfır bilgi kanıtlarının doğrulanmasını sağlayan bir şifreleme aracıdır.
OP_CAT fırsatı
Aynı sıralarda, sıfır bilgi endüstrisi devi Starkware'deki bir ekip, Bitcoin topluluğundan ortaya çıkan faaliyetlerle yakından ilgileniyordu. Bazıları için bu uzun bir zamandı. Starkware'in kurucusu Eli Ben-Sasson, muhtemelen erken bir Bitcoin konferansında kripto para birimleri bağlamında sıfır bilgi teknolojisini tartışan ilk kişiydi. Neredeyse on yıl sonra Starkware'in araştırması ve ZK-STARK teknolojisi, uzayda giderek artan sayıda uygulamanın temelini oluşturuyor.
“2013 yılında Bitcoin'i ölçeklendirmek için geçerlilik kanıtlarını kullanmayı önerdiğimde Satoshi'nin hâlâ ortalıkta olabileceğini ve bunun daha hızlı gerçekleşmesini sağlayacağını umuyordum. Weikeng Chen gibi kriptografi vizyonerleri ve Andrew Poelstra ve Ethan Heilman gibi Bitcoin OP_CAT araştırmacıları sayesinde, 11 yıllık hayalim artık ulaşılabilir görünüyor," diye yorumladı Ben-Sasson.
Geçen ay şirket, Bitcoin ile sıfır bilgi kanıtları arasındaki teknoloji açığını kapatmaya odaklanan çok sayıda girişimi uygulamaya başladıklarını duyurdu. OP_CAT yumuşak çatal teklifinin potansiyelinin araştırılması ve keşfedilmesi için 1.000.000 ABD Doları tutarında bir başvuru hibesi teklif edildi.
Duyuru kayda değer bir coşkuyla karşılandı ve bazılarının bu iyimserliği neyin tetiklediğini merak etmesine neden oldu. Yakın zamana kadar, Bitcoin'de sıfır bilgi teknolojisinin geleceği çoğunlukla sonradan akla gelen bir düşünceydi; hiçbir zaman gün yüzü göremeyecek başka bir OP kodu. Gerçekten de, Bitcoin kod tabanındaki küçük değişiklikler konusunda fikir birliğine varmanın zorluğu, daha karmaşık bir şeyin gerçekleşmesinin pek olası görünmemesine neden oldu.
Starkware'e katkıda bulunanlarla yapılan görüşmelere göre, Weikeng'in BitVM'deki ilerleyişini Mayıs ayı civarında fark ettiler ve ruh hali dramatik bir şekilde değişti. Anlaşılacağı üzere geliştirici gözünü şirketin Circle STARKs teknolojisine dikmişti. Birkaç ay önce yayınlanan bir makalede Chen, ikincisini zaten "Bitcoin dostu kanıt sistemi" olarak tanımlamıştı.
Biraz ileri geri hareketin ardından, her iki taraf da bir araya gelerek OP_CAT primitifini kullanan bir STARK doğrulayıcının açık kaynaklı uygulamasına yönelik ortak bir çaba göstermeye karar verdi. "Bunun yapılabileceğini biliyordum. Sadece tüm parçaları bir araya getirmemiz gerekiyordu,” diye öneriyor Chen. “Bitcoin Yaban Hayatı Koruma Alanı” doğdu.
İki ay sonra proje, BitVM'ye ilk katkıda bulunanlardan biri olan Pingzhou Yuan gibi diğer geliştiricilerin işbirliği sayesinde hedefine ulaşmış gibi görünüyor. Geçen Cuma sabahı geç saatlerde Chen, diğer katılımcılara haberi vermek için projenin Telegram grubuna katıldı: "Sanırım işi bitirdim!"
Başarılı yerel testlerin ardından geliştirici, Bitcoin'in Signet test ağı ağına tüm betiği çalıştıracak bir dizi işlem yayınladı. Zincir içi kullanımı optimize etmek için Starkware'in açık kaynaklı Stwo uygulamasını temel alan STARK kanıtı, OP_CAT tabanlı bir sözleşme kullanılarak birbirine zincirlenen eşzamanlı işlemlere bölünür.
12 Temmuz 2024 sabah 6:29'da, son işlem Signet ağında onaylandı ve destekçilerin Bitcoin'de yeni bir gelişim döneminin başlangıcı olabileceğine inandıklarının sinyalini verdi.
Chen, "Bu çok büyük bir çabaydı ve önemli miktarda zaman aldı" dedi. "Hiçbir şeyle başladık. Bitcoin'de ZK kanıtları hakkında bilgi yok. İzlenecek matematiksel işlemlere ilişkin hiçbir bilgi yoktur. Tüm yığını oluşturmamız gerekiyordu ve bu da sonunda STARK doğrulayıcının uygulanmasına yol açtı."
Yeni bir gelişim yoluna ilham vermek
Sonuçlar kutlanmayı hak etse de Chen işin yapılmaması konusunda ısrar ediyor. Bitcoin'deki toparlanmalar gibi yeni ölçeklendirme protokollerinin temelini oluşturan çalışması konusunda iyimser olup olmadığı sorulduğunda geliştirici, beklentileri değiştirmekte hızlı davrandı.
"Fikir kabaca işe yarıyor ancak konsept kanıtı üretime hazır değil. Geçerlilik kanıtları ayrıca çok fazla blok alanı kaplıyor ve bu da gelecekte pahalıya mal olabilir."
Starkware'e katkıda bulunanlar önümüzdeki zorlukların farkındalar ancak projenin başarısının, ZK toplama teknolojilerinden yararlanabilecek Bitcoin ölçeklendirme çözümlerine doğru "ileriye doğru muazzam bir adım" temsil ettiğinden eminler.
Kesin olan bir şey var ki, bu işbirliği muhtemelen potansiyel bir OP_CAT yumuşak çatalı lehine argümanları daha da güçlendirecektir. Doğrulayıcı uygulamasını bir araya getirmek için Chen, CAT kullanarak, komut dosyası iyileştirme teklifinin çok yönlülüğünü vurgulamaya hizmet edebilecek güvenilir bir sözleşme çerçevesi geliştirmesi gerektiğini söyledi. Ekosistemdeki diğer geliştiricilerin koduyla oynayabileceğine ve faydaları konusunda kendisinin ulaştığı sonuca varabileceğine inanıyor.
“En iyi uygulamaları geliştirdikten sonra çok fazla risk olacağını düşünmüyorum. Bunun ters gideceği pek fazla yer yok. Artık OP_CAT'in çeşitli sözleşme projelerine güvenli bir şekilde uyarlanabileceğine dair net bir gösteriye sahibiz."
Gelecekteki bir aktivasyon sürecine katkıda bulunma niyeti sorulduğunda geliştirici, Bitcoin açık kaynak gelişiminin etrafındaki tüm dinamiklere henüz yeterince aşina olmadığını hemen kabul ediyor. Daha sonra, ilerlemesini geliştirme e-posta listesinin üyeleriyle paylaşmayı planlıyor ve diğerlerinin de incelemeye katkıda bulunabileceklerini ve çalışmaları hakkında geri bildirimde bulunabileceklerini umuyor.
Şu ana kadar edindiği tecrübeyi aktaran Chen, ekosisteme yeni giren geliştiriciler için verimli bir ortam yaratmanın önemine hemen dikkat çekiyor. Pek çok yetenekli geliştiricinin, tutarlı bir vizyon eksikliği nedeniyle Bitcoin üzerine geliştirme fırsatını kaçırdığına inanıyor.
“Şu anda, katkıda bulunanların geleceği etkileme yetenekleri konusunda kafalarını karıştıran net bir yön duygusu yok. Umarız yeni araçların ve ilkellerin ortaya çıkması bu durumu iyileştirebilir ve böylece Bitcoin meraklılarının yeniden hayal kurmasına izin verilir.”
Kaynak: Bitcoin Dergisi
Tarihte İlk Kez Bitcoin'de Sıfır Bilgi Kanıtı Doğrulandı yazısı ilk olarak Crypto Breaking News'te çıktı.