Bu makalede, sektörümüzdeki en önemli ancak en az anlaşılan teknolojik atılımlardan biri olan Sıfır Bilgi Kanıtlarına (ZKP’ler) odaklanıyoruz. ZKP’lerle ilgili hem uygulama hem de altyapı katmanlarındaki büyüme, benimseme, ağ sağlığı ve rekabet dinamiklerini inceleyeceğiz.
ZK Neden Önemlidir?
Kripto uygulamalarının küresel çapta benimsenmesi için dayandıkları blok zincirlerinin daha ölçeklenebilir ve verimli hale gelmesi gerekiyor. En büyük Katman 1 blok zinciri olan Ethereum ve topluluğu için bu durum, Katman 2 ölçeklendirme çözümlerinin stratejik olarak benimsenmesine yol açmıştır.
Optimism, Arbitrum ve Base gibi L2’ler bu alandaki ilk yenilik dalgasıydı ve o zamandan beri kripto kullanıcıları ve uygulamaları için birincil platformlar haline geldiler, milyarlarca dolarlık değeri kilitlediler ve milyonlarca aktif adresi çektiler.
Aynı zamanda, Sıfır Bilgi Kanıtları (ZKP’ler), teorik olarak mevcut altyapıyı çok aşabilecek ve çok çeşitli yeni uygulamaları mümkün kılabilecek performans sunan ölçeklendirme çözümlerinde bir başka kritik atılımı temsil etmektedir. Henüz ilk aşamalarında olmasına rağmen, bu alandaki hızlı ilerleme, ilgimizi hak etmesini sağlıyor.
Henüz erken olsa da, zincir üzerindeki veriler kripto para sektörünün Sıfır Bilgi İspatlarına (ZKP’ler) doğru önemli bir değişim geçirmekte olduğu savını desteklemektedir; bu değişim ZKP uygulamalarıyla başlayıp Rollup’lar gibi ZKP destekli altyapılarla devam etmektedir.
NEBRA ve OurNetwork ekiplerinin yanı sıra temel veri katılımcıları Jackie (Dune) ve Brandyn’e (OurNetwork) özel teşekkürler. Onların desteği olmadan bu analiz mümkün olmazdı. Şimdi bu dönüşümü gösteren verilere bakalım.
ZKP: Endüstri Sağlığı
Katman 2 çözümleri tarafından Sıfır Bilgi Kanıtları (ZKP’ler) için yapılan toplam harcama 60 milyon doları aştı.
ZKP projeleri tarafından Ethereum L1’e ödenen toplam uzlaştırma ücretleri (TSF) 60,4 milyon doları aşarak zaman içinde önemli ölçüde benimsendiğini göstermiştir. Aralık 2023’te TSF 15 milyon $ ile zirve yapmıştır. Geçtiğimiz 30 gün içinde, Ethereum L1’de ZKP doğrulaması için TSF sadece 150.000 $ idi ve bu da teknolojik optimizasyonlar yoluyla maliyetleri azaltma konusundaki ilerlemeyi yansıtıyordu.
ZKP kullanan aktif adresler 2023 ve 2024 yıllarında istikrarlı bir şekilde artarak bu yılın Mart ayında 7,6 milyona ulaşmıştır. Temmuz 2024’te 4,8 milyon aktif adrese düşerek yıllık bazda en düşük seviyeye gerilemesine rağmen, yaz aylarında pazarda yaşanan geniş çaplı yavaşlamaya rağmen, yılın ortalama aktif adresleri 2023’ün aylık ortalaması olan 3,2 milyona kıyasla iki katına çıkmıştır.
Geçen ay 1,5 milyondan fazla kanıt üretildi, ancak Aralık 2023’te 189.280 ile zirve yaptıktan sonra 2024’te L1 bloklarına yerleşen ZK kanıtlarının sayısı azaldı.
Bu eğilim öncelikle talepteki (aktif kullanıcılar) hafif bir düşüşten, ancak daha da önemlisi teknolojik gelişmelerden kaynaklanmaktadır. zkRollups, kanıt sayısını ve TSF’yi azaltmak için kanıt toplama gibi yeni teknolojileri benimsemiştir.
ZKP: Proje Trendleri
Linea, 5,5 milyon kullanıcıdan 23,2 milyon ZKP işlemi elde etti.
ZKP kullanıcılarının benimsemesi açısından Linea “başarılı” bir zincir olarak ortaya çıkıyor. Geçtiğimiz 30 gün içinde, bu L2 1,77 milyon benzersiz aktif adresle listenin başında yer alırken, onu 1,3 milyon ile zkSync ve 950.000 ile Scroll takip etti.
Aralık 2023’te Linea’nın L1 ZKP harcamaları 12,8 milyon dolara yükseldi ve o ay tüm projelerin ZKP harcamalarının yaklaşık %85’ini oluşturdu; bu rekor seviyedeki artışta Linea’nın Voyage XP programı etkili oldu. Son zamanlarda, 2024’te Scroll, L1’e yapılan TSF ödemelerini domine etmeye başladı ve 21 Ağustos’ta planlanan bir yükseltme ile maliyetlerin daha da düşmesi bekleniyor.
ZKP: Altyapı ve Uygulamalar
Altyapı tarafından tetiklenen ZKP işlemlerinin sayısı, uygulamalar tarafından tetiklenenleri 250 kattan fazla aşmaktadır.
Şu ana kadar 16,6 milyon adres, başta zkRollups olmak üzere altyapı aracılığıyla ZKP işlemlerini tetiklerken, yalnızca 62.780 adres uygulamalar aracılığıyla ZKP işlemlerini tetikledi.
Bu keskin zıtlığın birkaç temel nedeni vardır.
İlk olarak, gizlilik koruması için ZKP’leri kullanan önemli bir uygulama olan Tornado Cash’e yönelik Ağustos 2022 OFAC yaptırımları, ABD vatandaşlarının Tornado Cash’i kullanmasını yasadışı hale getirerek uygulamalarda ZKP kullanımının azalmasına neden oldu.
İkinci olarak, her bir ZKP işleminin altyapı düzeyindeki maliyeti uygulama düzeyindekinden önemli ölçüde daha düşüktür-Linea’nın işlem başına 30 günlük ortalama maliyeti 0,00034 $’dır.
En pahalı ZKP altyapısı olan Polygon zkEVM bile, işlem başına ortalama 0,03 $ maliyetle, en iyi ZKP uygulamalarından hala çok daha ucuzdur.
OFAC yaptırımlarının yarattığı toz bulutunun dağılmasıyla birlikte ZKP uygulamalarının kullanımı yeniden canlanmaya başladı. Tornado Cash, 30 günlük ortalama 1,0 $ ile işlem başına maliyet açısından nispeten ucuz bir ZK uygulaması olmaya devam ediyor.
Daha yüksek L1 ücretleri nedeniyle tam olarak karşılaştırılabilir bir karşılaştırma olmasa da, Tornado işlemlerinin maliyeti Polygon zkEVM’den yaklaşık 33 kat ve Linea’dan yaklaşık 3.300 kat daha yüksektir.
ZKP: Makro Trendler
İlk beş Optimistic Rollup, 4:1’lik bir oranla aktif adresler açısından zkRollup’ları hala domine etmektedir; ancak zkRollup’lar bu yıl aktif adreslerde Ethereum L1 ile eşitliğe yaklaşmaktadır.
İlk beş İyimser Toplama, Ocak 2024’te 3,8 milyon olan aktif adreslerinin (aslında zkRollups’ın 4,8 milyonundan daha düşük) 17,8 milyonun üzerine çıktığını gördü.
Birçok zkRollup zinciri henüz piyasaya sürülmemiş olsa da, bu çözümlerin her tam ayda Ethereum L1’in yarısından fazla adres çekmiş olması dikkat çekicidir – Temmuz ayı itibarıyla, zkRollup’ların aktif adresleri Ethereum L1’in ve ilk beş Optimistic Rollup’ın pazar payının %13’ünü oluşturmaktadır.
Geçtiğimiz ay Linea, 1,8 milyon aktif adresle L2’ler arasında üçüncü sırada yer aldı. Base 11,5 milyon aktif adres ile tüm L2’lere liderlik ederken, onu 5,8 milyon ile Arbitrum takip etti.
L2’ler ZKP ile ilgili daha verimli teknolojileri benimsedikçe, ZKP sözleşme çağrıları için harcanan gaz ücretlerinin oranı aslında 30 günlük ortalama %0,14’e düşmüştür. Bu, ZKP işlemlerinin Ethereum’un toplam gaz ücretlerinin %14’ünden fazlasını iki kez oluşturduğu Aralık 2023’teki rekor zirvelerden yaklaşık 100 kat daha düşük.
ZK Kanıtı: Kanıt Tekilliği ve NEBRA Tarafından Etkinleştirilen Gelecek
Sıfır Bilgi İspatı (ZKP) blok alanını ölçeklendirmek için anahtar teknoloji, farklı kaynaklardan gelen birden fazla ispatı, bu ispatların doğruluğunu onaylayan tek bir özyinelemeli ispatta (yani, birleştirilmiş bir ispat) birleştiren ispat toplamadır.
NEBRA UPA gibi kanıt toplama protokolleri bant genişliğini önemli ölçüde artırır ve zincir içi Sıfır Bilgi Kanıtlarının maliyetini azaltır.
Örneğin, NEBRA UPA’nın mevcut sürümünde, Groth16 kanıtlarını doğrulama maliyeti 300.000 gazdan 18.000 gaza düşürülmüştür – maliyet 15 kattan fazla azaltılmıştır. Bu, veri kullanılabilirliği protokollerinin (4844, Celestia, EigenDA ve Avail gibi) veri kullanılabilirliği maliyetlerini azaltmasına benzer.
Ayrıca, kanıt birleştirme, Vitalik Buterin’in “kanıt tekilliği” olarak adlandırdığı ve her bloğun yalnızca tek bir birleştirilmiş kanıt içerdiği durumu mümkün kılabilir. Kanıt birleştirme yalnızca zincir üzerinde ZKP doğrulama maliyetini azaltmak için kullanılmaz, aynı zamanda zkRollup’lar arasında yerel birlikte çalışabilirlik ve ortak yerleşim sağlar.
NEBRA’nın Ethereum ana ağında UPA’yı ve gelecekteki Rollup işletim sistemini piyasaya sürmesi, tüm ZK alanı için önemli bir atılıma işaret ediyor. İspat tekilliğinin gelişiyle birlikte, ZK ve blok zincirinin geleceği daha parlak görünüyor. İspatların bir araya getirilebilmesi halinde elde edilecek tasarrufu bir düşünün – Ethereum 39 milyon doların üzerinde tasarruf sağlayabilir!
Sıfır Bilgi Kanıtı nedir?
Sıfır Bilgi Kanıtları (ZKP’ler), gizlilik koruması sunarken küçük kriptografik kanıtlarla rastgele hesaplamaların doğrulanmasına olanak tanır. Uygulamalar ve altyapı ZKP’leri genellikle iki şekilde kullanır:
- Gizlilik Koruması
- Doğrulanabilir Hesaplama ve Ölçeklenebilirlik
- Nebra
Bu durumlarda Sıfır Bilgi İspatları, kullanıcıya özel veriler ile halka açık zincir içi veriler birleştirilerek oluşturulur. Bu kanıtlar daha sonra belirli müteakip iş mantığını yürütmek için zincir üzerinde doğrulanır.
Gizlilik Koruma Uygulamaları:
Veri akışı açısından, ZKP’ler gizlilik koruma uygulamalarında kullanıldığında, hassas kullanıcı bilgilerinin (özel anahtarlar gibi) sızdırılmasını önlemek için ispatların istemci tarafında oluşturulması gerekir. Bu uygulamalarda, kullanıcı tarafından kontrol edilen istemci (tarayıcı ya da telefonda çalışan bir uygulama) ispatı doğrudan blok zincirine gönderir.
Örnekler:
- Worldcoin gibi ZK tabanlı kimlik çözümleri
- Tornado Cash ve Railgun gibi gizliliği koruyan finansal uygulamalar
Ölçeklendirme Çözümleri:
ZKP’ler ölçeklendirme için kullanıldığında, kanıt üretimi genellikle hassas kullanıcı verileri gerektirmez. Böylece kanıt üretimi daha güçlü sunuculara veya genel bulutlara devredilebilir. Bazı ölçeklendirme çözümleri, kanıt oluşturma verimini ve gecikmesini iyileştirmek için GPU hızlandırmasını kullanır.
Örnekler:
- zkSync, Polygon zkEVM, Scroll, Starkware ve Linea gibi zkRollup’lar
- Succinct, RISC Zero, Axiom, Brevis ve Lagrange gibi zkCoprocessors
ZKP Metodolojisi
Bu gösterge tablosu aracılığıyla üç temel ölçütü ölçüyoruz:
- Toplam Yerleşim Ücretleri (TSF): Zincir üzerinde Sıfır Bilgi Kanıtlarını doğrulamak için kullanıcılar veya ölçeklendirme çözümleri tarafından ödenen toplam ETH miktarı. Bu ücretler tipik olarak EVM’yi çağıran kriptografiyle ilgili ön derlemelere ayrılabilir (aşağıda ayrıntılı olarak açıklanmıştır).
- Zincir İçi İşlem Hacmi: Sıfır Bilgi Kanıtlarını doğrulayan işlem sayısı.
- Aktif Kullanıcı Sayısı: ZK kanıtlarını kullanan kullanıcı sayısı.
Bunu Nasıl Ölçebiliriz?
ZKP doğrulaması için gaz harcamalarını yakalamak amacıyla Dune’un Ethereum için indekslenmiş verileri üzerinde sorgular uyguladık. Doğru sözleşmeleri ve işlem çağrı yöntemlerini belirleyerek, ilgili dahili çağrıları tespit ettik (bu bölümdeki açıklamalı veri metodolojisine bakın). Bu harcamalar temel olarak aşağıdaki ön derlemelerin çağrılmasından kaynaklanmaktadır:
-
-
-
-
-
-
-
-
