Vitalik'in övgüyle bahsettiği ZKsync, gerçekten de göz ardı edilmiş olabilir.

Yazan: Eric, Foresight News

1 Kasım'da Vitalik, ZKsync kurucusunun ZKsync Atlas yükseltmesi hakkında yaptığı tweeti alıntıladı ve ZKsync'in Ethereum ekosistemi için “göz ardı edilen ama çok değerli işler” yaptığını övdü.

Pazar, Vitalik'in sözlerine hızlı bir şekilde tepki verdi, ZK fiyatı hafta sonu boyunca en yüksek %250'den fazla yükseldi, ZK ekosisteminin token'ları, ALT (AltLayer), STRK (Starknet), SCR (Scroll), MINA (Mina) gibi iyi bir artış gösterdi.

ZKsync Altas güncellemesini anladıktan sonra, ZKsync'in yaptığı şeylerin gerçekten de düşük değerlendirildiğini fark ettik.

Hızlı, küçük ama pahalı ZKP

Ethereum Vakfı tarafından erken dönemden itibaren uygulanan ZKP (Sıfır Bilgi Kanıtı) temelde doğrulama hızının yavaş olması ve doğrulama veri miktarının fazla olması sorununu çözmeyi amaçlamaktadır.

ZKP temelde bir matematiksel olasılık problemidir, prensibini kabaca açıklamak için tam olarak doğru olmayan bir örnek verelim: Diyelim ki birisi "dört renk problemi"ni çözdüğünü iddia ediyor, o zaman bu kişinin gerçekten çözdüğünü tam olarak çözümünü açıklamadan nasıl belirleyebiliriz? Sıfır bilgi kanıtı çözümü, tüm resmin içinde bazı kısımları seçmek ve bu kısımlarda komşu iki parçanın renginin aynı olmadığını kanıtlamaktır; seçilen kısmın sayısı belirli bir değere ulaştığında, bu kişinin dört renk problemini çözme olasılığının %99.99……'e ulaştığını kanıtlayabiliriz. Bu durumda, tüm resmi anlamadan “gerçekten dört renk problemini çözdü” kanıtını elde etmiş oluyoruz.

Yukarıda, herkesin sıkça duyduğu, “bir şeyi gerçekten yaptığını kanıtlamak için nasıl yapılacağını anlamadan” sıfır bilgi kanıtlarını anlatan bir kavramı ele aldık. ZKP'nin Ethereum ekosisteminde neden güçlü bir şekilde teşvik edildiğine gelince, ZKP'nin teorik hız sınırının işlem bazında kanıtlama hızından çok daha hızlı olması ve üretilen kanıtların veri miktarının oldukça küçük olmasıdır.

Hızlı olmasının nedeni, ZKP'nin tüm resmi anlaması gerekmediği, sadece bir meydan okuma yapması gerektiğidir. Örneğin, bir Ethereum bloğunu doğrulamak için mevcut yöntem, her düğümün her işlemin yürütme adresinin yeterli bakiyeye sahip olup olmadığını doğrulamasıdır. Ancak, yalnızca bir düğüm ZKP aracılığıyla her işlemi doğruladıktan sonra bir “kanıt” oluşturuyorsa, diğer düğümlerin yalnızca bu “kanıtın” kendisinin güvenilir olduğunu doğrulaması yeterlidir. Daha da önemlisi, bu "kanıt"ın kendi veri boyutu çok küçüktür, bu nedenle iletim ve doğrulama hızı son derece yüksektir ve veri depolama maliyeti daha düşüktür.

Bu tamamen avantajlı teknolojinin neden geniş ölçekte kullanılmadığı ise çok pahalı olmasındandır.

ZKP, tüm süreçlerin yeniden üretilmesini gerektirmese de, meydan okuma kendisi çok fazla hesaplama gücü tüketebilir. Eğer AI silahlanma yarışında olduğu gibi çılgınca GPU yığarsanız, daha hızlı bir hız elde edilebilir, ancak herkes böyle bir maliyeti karşılayamaz. Ancak, algoritma ve mühendislik yenilikleri ile gerekli hesaplama gücünü ve düşük hesaplama gücü ile kanıt üretme süresini belirli bir seviyeye düşürmeyi başarabilirsek, Ethereum'un “teknolojik yeniliklerle daha fazla uygulama getirilmesi sayesinde fiyat artışı” ve “düğüm kurma maliyeti için GPU satın alma” dengesini sağlamak mümkün olabilir.

Bu nedenle, Ethereum ekosistemindeki birçok ZK konsept projesi veya açık kaynak geliştiricisi, ZKP ile Ethereum'un birleşiminde ana odak noktası olarak: daha düşük maliyetle ve düşük maliyetle daha hızlı bir şekilde ZK kanıtı üretmekte yoğunlaşıyor. Geçenlerde Brevis ekibi, yalnızca SP1 Hypercube çözümünün maliyetinin yarısı (64 adet RTX 5090 GPU) ile, ortalama 6.9 saniyede Ethereum bloklarını kanıtlayabilmeyi başardı (kanıt süresinin %99.6'sı, mevcut Ethereum blok üretim ortalamasından daha kısa: 12 saniye içinde) ve bu yüzden Ethereum topluluğunun topluca beğenmesi de bu.

GPU maliyeti hala 100.000 doları geçse de, en azından kanıt süresi şu anda ZKP olmayan seviyeye düştü, bundan sonra herkesin görevi maliyeti düşürmek.

Altas yükseltmesi 1 saniyelik ZK nihai sonucunu sağladı.

Belki de birçok kişi bilmiyor, ZKsync'in çıkardığı açık kaynak zkVM ZKsync Airbender, tek GPU ile en hızlı doğrulama süresine sahip zkVM'dir. Ethproofs verilerine göre, tek bir 4090 ZKsync Airbender kullanarak ortalama doğrulama süresi 51 saniye, maliyet ise bir centten daha azdır; her ikisi de zkVM arasında en iyi sonuçlardır.

ZKsync'in kendi sağladığı verilere göre, yinelemeyi hesaba katmadığımızda, Airbender'ın tek bir H100 ile ZKsync OS depolama modeli kullanarak Ethereum ana ağını doğrulama süresi ortalama 17 saniyedir. Yinelemeyi de hesaba kattığımızda, toplam ortalama süre yalnızca yaklaşık 35 saniye sürmektedir, ZKsync bunu, 12 saniye içinde doğrulama gerçekleştirmek için onca GPU'ya ihtiyaç duymaktan çok daha iyi bir çözüm olarak değerlendirmektedir. Ancak şu anda sadece iki GPU ile elde edilen ortalama 22.2 saniye verisi ile, gerçek durumun ne olduğu henüz kesinleşmemiştir.

Ve bunların hiçbiri Airbender'ın bağımsız başarısı değil, algoritma ve mühendislik optimizasyonu yalnızca bir unsurdur, ZKsync teknoloji yığınlarıyla derin entegrasyon ise etkiyi maksimize etmenin anahtarıdır. Daha da önemlisi, bu, tek bir GPU kullanarak Ethereum ana ağında gerçek zamanlı kanıt elde etmenin mümkün olduğunu göstermektedir.

Haziran ayının sonunda ZKsync Airbender'ı tanıttı, Cumhuriyet Bayramı'nın ikinci gününde Altas güncellemesi yayına alındı. Airbender ile entegre edilen bu güncelleme, ZKsync'in işlem hacmini, onay hızını ve maliyetini önemli ölçüde artırdı.

ZKsync, throughput açısından sıralayıcıda mühendislik optimizasyonları yaptı: bağımsız asenkron bileşenler aracılığıyla senkronizasyonun neden olduğu tüketimi en aza indirdi; sanal makinenin gerektirdiği durumları, API'nin gerektirdiği durumları ve sıfır bilgi kanıtı oluşturmak veya L1 katmanında sıfır bilgi kanıtını doğrulamak için gereken durumları ayırarak bileşenlerin gereksiz maliyetlerini azalttı.

ZKsync'in saha testleri sonucunda, yüksek frekanslı fiyat güncellemeleri, ödeme senaryolarında stabilcoin transferleri ve yerel ETH transferlerinde TPS sırasıyla 23k, 15k ve 43k'ya ulaştı.

Diğer büyük bir kalite değişimi Airbender'dan geliyor; bu, ZKsync'in 1 saniyelik blok onayı ve tek bir transferin 0.0001 dolar maliyetiyle gerçekleştirilmesine yardımcı oldu. Ana ağ bloklarının doğrulanmasından farklı olarak, ZKsync yalnızca durum geçişinin geçerliliğini doğrular, bu nedenle hesaplama yükü ana ağ bloklarının doğrulanmasından çok daha azdır. ZK nihai işlemlerinin gerçekleştirilmesi için hala ana ağda doğrulanması gerektiği için L1'in nihaiği sağlanmaktadır, ancak ZK doğrulaması, işlemin geçerliliğini gösterir; L1'in nihaiği daha çok bir süreç niteliğinde bir garantidir.

Yani, ZKsync üzerinde gerçekleştirilen işlemler yalnızca ZKP doğrulaması ile tamamen geçerli sayılabilir ve maliyetin büyük ölçüde düşmesi ile ZKsync, kendi sözleriyle, yalnızca Airbender'ın getirebileceği uygulama senaryolarını gerçekleştirmiştir:

Öncelikle, doğal olarak zincir üstü order book, ödeme sistemleri, borsalar ve otomatik piyasa yapıcılar gibi uygulamalar vardır. Airbender, sistemin son derece hızlı bir şekilde doğrulama ve uzlaşma yapmasını sağlar, bu da bu uygulamaların zincir üzerinde geri dönme riskini azaltır.

İkinci nokta, şu anda birçok L2'nin gerçekleştiremeyeceği, kamu ve özel sistemleri (örneğin ZKsync'in Prividiums'u) üçüncü bir tarafa ihtiyaç duymadan birbirleriyle etkileşimde bulunabilmesidir. Prividiums, ZKsync tarafından işletmelerin özel zincirler kurmasına yardımcı olmak için sunulan bir altyapıdır. İşletmeler için blok zincirine olan talep, hızlı uzlaşma ve gizlilik gereksinimidir. Hızlı uzlaşma hakkında fazla söze gerek yok, ZKP'nin doğal gizliliği, işletmelerin özel zincirlerinin kamu zincirleriyle etkileşimde bulunurken zincirin kendisine ait defter bilgilerini ifşa etmeden işlem geçerliliğini doğrulamasını sağlar. İkisi bir araya geldiğinde, zincir üzerinde menkul kıymetler ve döviz işlemlerinin uyum gereksinimlerinde uzlaşma sürelerine ilişkin gereksinimleri bile karşılayabilir.

Bu belki de ZKsync'in Ethereum'dan sonra ikinci en büyük tokenleştirilmiş RWA varlık ihraç ağı olmasının sebebidir.

ZKsync, Altas yükseltmesi altında bunların yalnızca gerçekleştirilebileceğini gururla belirtmektedir: sıralayıcı düşük gecikmeli işlem paketlemeyi sağlar, Airbender bir saniye içinde kanıt üretir, ardından Gateway çapraz zincir mesajlarını doğrular ve koordine eder.

L1 ve L2'yi birleştirmek

Vitalik'in paylaştığı tweet'e göre, ZKsync kurucusu Alex, Altas güncellemesinden sonra Zksync'in gerçekten Ethereum ana ağını birbirine bağladığını düşünüyor.

Şu anda ZKsync'in işlem nihai onay süresi (yaklaşık 1 saniye), Ethereum ana ağındaki blok süresinden (ortalama 12 saniye) daha kısadır. Bu, ZKsync üzerinde gerçekleştirilen kurumsal ve RWA işlemlerinin esasen Ethereum ana ağında gerçekleştirilenlerle aynı olduğu ve yalnızca Ethereum ana ağından onay beklenmesi gerektiği anlamına gelir. Bu, ZKsync'in L2'de likidite merkezi kurmasına gerek olmadığı, doğrudan ana ağın likiditesini kullanabileceği anlamına gelir; çünkü ZK Rollup'ın ana ağ ile olan çapraz zincir etkileşimi, OP Rollup'ın gerektirdiği gibi 7 günlük bir meydan okuma süresi gerektirmezken, Altas yükseltmesi ise mevcut temelin üzerine daha da hızlı bir şekilde ilerlemektedir.

Bu, son zamanlarda Ethereum topluluğunda tartışılan L2 parçalanma sorununu iyileştirdi; L2 ve L1 artık kopuk iki zincir değil, hızlı onay ve doğrulama ile bir araya gelmiş durumda. L2, ilk kez gerçekten “ölçeklenebilir bir ağ” olarak adlandırılabilir.

ZKsync ve Scroll ilk kez ana ağda yayına girdiğinde, işlem onay hızı ve Gas ücretleri ana ağla aynıydı hatta daha yüksekti, bunun temel nedeni, yayına alındıkları dönemde ZKP algoritmalarında ve mühendislikte sistematik bir optimizasyonun henüz gerçekleşmemiş olmasıydı, bu da doğrulama hızının yavaş ve maliyetin yüksek olmasına neden oldu. O dönemde ZK Rollup'a duyulan güven krizi de bu durumla tetiklendi. Bugün ise, Optimism ve Arbitrum yavaş yavaş OP Rollup'tan ZK Rollup'a (ya da ikisinin birleşimi) geçiş yapıyor, ZKsync gibi ZK Rollup'ların maliyet ve hızdaki daha fazla iyileştirmeleri ve Scroll'un merkeziyetsiz ZKP'si, “saçmalık” olmaktan çıkıp beklenmeye değer sonuçlar haline geldi.

Herkesin hedefi haline gelmekten, popüler bir hale gelmeye ZK yeni bir umutla ulaştı. Sıralayıcı ve çapraz zincir köprülerin çoklu imza uygulamaları tamamen merkeziyetsiz hale geldikten sonra, belki de Dragonfly yönetici ortağı Hasseb Qureshi'nin söylediği “kötü olamaz” ifadesini gerçekten gerçekleştirebiliriz.