ZK kanıtı: Ethereum'un "Manhattan Projesi"

Orijinal yazar: @0xJaehaerys

Derleme: LlamaC

“Tavsiye Notu: Bu makale, sıfır bilgi kanıtlarının (ZK-Proofs) nasıl yeni, on milyarlarca dolarlık bir doğrulanabilir hesaplama pazarı yarattığını ve Succinct şirketinin ve onun yerel tokeni $PROVE 'in bu alandaki teknik avantajlarını, pazar konumunu ve ekosistem verileriyle ilgili son gelişmeleri tanıtmaktadır. Öncelikli bir trend olarak, FDV'si önemli ölçüde değer kazanmıştır, lütfen kendi araştırmanızı yapın.”

Giriş

Bu, Succinct'in kurucu ortağı Uma Roy'dan gelen makale bir paradigma değişimini işaret ediyor. Bu, bir başka token'in doğuşunu değil, veri odaklı, gerçek zamanlı olarak yükselen yeni bir ekonomik varlığı: doğrulanabilir hesaplama ekonomisini ilan ediyor. Yıllardır, sıfır bilgi (ZK) teknolojisi, blockchain genişlemesi için teorik bir nihai hedef olarak görülüyordu. Bugün, mühendislik gerçeği haline geldi ve önümüzdeki on yılın en önemli altyapı yarışmalarından birini başlattı.

Bu dönüşümün motivasyonu, David Hoffman'ın Ethereum “Manhattan Projesi” olarak adlandırdığı şeye dayanmaktadır: Protokolü, merkeziyetsizliği feda etmeden, katlanarak artırmak için köklü bir yeniden yapılandırma. Yakın zamana kadar bu uzak bir hayaldi. Ancak bir dizi stratejik protokol yükseltmesi ve kritik teknik atılımlar, bunu uygulanabilir bir yol haritasına dönüştürdü.

ZK ile yaptığımız şeylerin, özellikle de nihayetinde Ethereum'a uygulanacak olan ZK-EVM'nin, Ethereum'un Manhattan Projesi'ne biraz benzediğini düşünüyorum… Ethereum, o sırada ZK'yı araştırırken, günümüzde Wall Street'i zincire getiren tüm o şeyleri korumak için, bu oldukça geleceğe yönelik teknolojiyi de geliştiriyordu.

Bu rapor, bu yeni ortaya çıkan milyar dolarlık pazarı temel analiz ile incelemektedir. Rapor, ZK kanıtına olan talebin spekülatif olmadığını, yapısal olarak kaçınılmaz olduğunu açıklayacak; bu ekonomik fırsatın ölçeğini nicelleştirecek; ve Succinct gibi platform odaklı şirketlerin, yerel token'ı $PROVE ile, bu doğrulanabilir hesaplama çağının altyapısı olma umutlarını detaylandıracaktır.

Yeni Pazarın Zorunluluğu

1.1 Gigagas ve Teragas'ın zorunlu gereksinimleri

Ethereum, bir tahminde bulunmayan, önceden belirlenmiş ve kaçınılmaz bir evrimsel süreç olan temel bir geliştirme yol haritası tarafından yönlendirilen sismik bir değişim geçiriyor. Protokolün bu yeniden mimarisi, sıfır bilgi (ZK) kanıtları için yapısal, öngörülebilir ve katlanarak artan bir talep yaratır. Küresel ölçekli verim arayışında olan Ethereum, yeni, multi-milyar dolarlık doğrulanabilir bir bilgi işlem ekonomisinde ilk ve en büyük tüketici olmaya adaydır.

Bu talep, net ve büyük bir uzun vadeli vizyondan kaynaklanmaktadır. Gigagas yol haritası, L1 yürütme katmanının throughput'unu 1 Ggas/s, yani yaklaşık 10.000 TPS'ye genişletmeyi amaçlamaktadır. Ancak, Ethereum Vakfı araştırmacısı Justin Drake'in de belirttiği gibi, bu sadece “buzdağının görünen kısmı”. Nihai hedef, yaklaşık 1.000 L2'nin işbirliği ile toplam throughput'u 1 Tgas/s (yaklaşık 10 milyon TPS) olan bir “Teragas” ekosistemini gerçekleştirmektir. Bu modelde, işlemlerin %99,9'u L2'de gerçekleşirken, L1, paylaşılan güvenlik ve hesaplama için nihai merkez haline gelir. Drake'in dediği gibi:

“10.000 TPS aslında hiçbir şey değil. Tüm dünyaya hizmet vermek için, saniyede 10 milyon işlem ve saniyede 1 teragas seviyesine ulaşmalıyız. Bu hedefe nasıl ulaşacağız? Cevap L2.”

EIP-7938 gibi öneriler bu tür bir üstel genişlemeyi resmi olarak tesis etti, bu öneri L1 Gas üst sınırının her yıl otomatik olarak 3 katına çıkmasını savunuyor. Bu mekanizma, ağ güvenliğini sağlamak için gerekli olan hesaplama kaynakları için güvenilir bir talep eğrisi oluşturmayı amaçlayarak istikrarlı ve tahmin edilebilir bir büyüme sağlamayı hedefliyor.

Bu dönüşüm, süreç risklerini sistematik olarak azaltan çok yıllık bir “aşamalı entegrasyon” programı aracılığıyla yönetilecektir. Program farklı aşamalarda ilerleyecek ve nihayetinde 2027 yılına kadar blokların geçerliliğini doğrulamak için ZK kanıtlarının kullanılmasını zorunlu hale getirecektir; bu da kanıt üretimini protokolün merkezi, ekonomik olarak vazgeçilmez bir işlevi haline getirecektir. Bu talebi protokolün evrimine doğrudan kodlayarak, Ethereum aslında ZK alanında bir sanayi politikası oluşturmakta ve kanıtların gelecekteki altyapıya önemli sermaye yatırımları için gerekli ekonomik sinyalleri sağlamaktadır.

1.2 Nihai Sorular: Vitalik Buterin ZK'nın L2 için Neden Hayati Önem Taşıdığını Tartışıyor

Bu dönüşümün aciliyeti sadece L1 ile sınırlı değil. Mevcut L2 ekosistemindeki en büyük darboğazlardan birini, çekim nihayetinin yavaş olmasından kaynaklanan sürtünme ve riskleri çözüyor. Ethereum'un kurucu ortaklarından Vitalik Buterin'in yakın zamanda söylediği gibi, hızlı çekim sürelerine ulaşmak, L2 için “hatta ikinci aşamadan daha önemli” olan bir temel hedeftir.

ZK 1.0 döneminde, bahsettiğiniz şirketler ZK teknolojisini ticari kullanım durumlarıyla bir araya getiriyordu… ZKSync hem bir L2 şirketi hem de bir ZK şirketidir… Ve yaptığımız şey, ZK'den tamamen habersiz olan şirketlerin, örneğin Optimism veya Arbitrum'un, ZK'nin artık bu kadar basit hale gelmesi sayesinde ZK'nin avantajlarından yararlanabilmeleridir. Gerçekten önemli olan şeylere, yani iş geliştirme veya kullanıcı benimseme gibi konulara odaklanabilirler.

Detaylı bir açıklamada Buterin, mevcut ana akım Optimistic Rollup tasarımının temel sorununu vurguladı:

“Bir haftayı bekleyerek para çekmek gerçekten de insanlara çok uzun geliyor, hatta niyet temelli çapraz zincir köprüler için bile… Eğer likidite sağlayıcıları bir hafta beklemek zorundaysa, fon maliyetleri çok yüksek hale gelecektir. Bu, insanları güven varsayımları kabul edilemez olan çözümlere (örneğin çoklu imza/MPC) yönelmeye büyük ölçüde teşvik ediyor ki bu da L2'nin var olma amacına tamamen aykırıdır.”

Önerdiği çözüm, ZK teknolojisiyle desteklenen bir doğrulama sistemine kararlı bir şekilde geçiş yapmaktır. Tarihsel olarak denge olduğunu kabul etmesine rağmen, son zamanlarda teknolojik manzaradaki değişiklikleri vurguladı:

“Tarihsel olarak, ZK kanıtlama teknolojisi her zaman olgunlaşmamış ve maliyetli olmuştur, bu da Optimistik kanıtı mantıklı ve güvenli bir seçim haline getirmiştir. Ancak son zamanlarda, bu durum hızla değişiyor.”

Ona göre, yerel para çekme süresinin kısa vadede bir saatten daha kısa bir süreye indirilmesi ve orta vadede nihayetinde 12 saniyelik bir para çekme süresine ulaşılması sayesinde, ZK kanıtları “Ethereum L1'in varsayılan varlık ihraç yeri ve Ethereum ekosisteminin ekonomik merkezi olarak konumunu daha da pekiştirebilir.” Bu yüksek düzeydeki tanıma, ZK'ya geçişi yalnızca bir teknik tercih olarak değil, tüm Ethereum ekosisteminin güvenliği ve ekonomik bütünlüğü için stratejik bir gereklilik olarak görmektedir.

Bu esneklik yalnızca yazılım geliştiricilerini değil, aynı zamanda profesyonel donanım üreticilerini de çekmektedir. Sektörün önde gelen ZK donanım hızlandırıcı şirketlerinden Cysic, yakında piyasaya sürülecek “zkVM uyumlu ASIC'in” piyasaya sürüleceğini ve SP1'i yerel olarak destekleyeceğini duyurdu. Bu profesyonel donanım şirketi, yerel destek sağlamayı planlayarak, SP1'in doğrulanabilir hesaplama için potansiyel bir standart olarak sektördeki güçlü güveni pekiştirmekte ve açık kaynak yazılım ile özel çipler arasındaki boşluğu kapatmaktadır.

İkincisi, on milyar dolarlık fırsatları nicelleştirmek

2.1 Kanıtın Birim Ekonomisi

Bir ölçeklenebilir ZK ekosistemi, belirli bir hesaplama miktarının birim maliyetinin kanıtlanmasına bağlı olarak ekonomik olarak uygulanabilir. Erken dönem ZK sistemleri korkunç pahalı olmakla ünlüydü, ancak “Moore Yasası” benzeri gelişim eğrileri maliyetlerin keskin bir şekilde düşmesine neden oldu. Paradigm tarafından düzenlenen “Frontiers” etkinliğinde, Succinct'ten John, şu anda her işlem için ortalama kanıt maliyetinin 0.01 sent ile 0.1 sent arasında olduğunu belirtti ve bu maliyeti “DA gibi diğer maliyetlerle karşılaştırıldığında neredeyse göz ardı edilebilir” olarak tanımladı.

Bence teşvik mekanizması çok basit. Bugün olduğu gibi, işlem ücretleri ve MEV yeterli… Maliyet yaklaşık 0.01 cent. Bireysel kullanıcılar bu ücreti ödemeye istekliyse, kanıt maliyetini karşılamak için yeterlidir.

Bu maliyetin daha da düşmesi bekleniyor. Ethereum Vakfı araştırmacısı Justin Drake, donanım ve yazılımın sürekli olarak gösterdiği keskin iyileşmelerle birlikte, L1 kanıtlarının uzun vadede ölçeklenebilir maliyetinin her Mgas/s (milyon gas/saniye) için 0.0001 ile 0.001 dolar arasında istikrara kavuşacağını öngörüyor. Bu maliyetin hızlı düşüşü, ZK'yı niş, pahalı bir teknolojiden, büyük bir pazar için temel oluşturan ticarileşmiş bir pratik araca dönüştürüyor.

2.2 Pazar Büyüklüğü - Aşağıdan Yukarıya Tahmin (İhtiyatlı Görüş)

Aşırı temkinli bir aşağıdan yukarıya finansal modeli, beklenen işlem hacmi artışını maliyet tahminleri ile birleştirerek ZK kanıtı pazarının yıllık gelirini tahmin etmektedir. Bu modele göre, L1 kanıtlarının özgecil olmayan önemli gelirinin 2027'den itibaren ortaya çıkması beklenmektedir; bu tarihte protokol, blokların geçerliliğini doğrulamak için ZK kanıtlarının kullanılmasını zorunlu kılacaktır.

Eğer her bir işlemin maliyetinin sadece 0.1 cent olduğunu varsayıyorsanız ve Solana seviyesinde TPS ile işlem yapıyorsanız, yani saniyede 4000-5000 işlem, o zaman tüm bu rakamları çarptığınızda, nihai olarak yılda yaklaşık 100 milyon dolar kadar bir kanıt talebi çıkıyor.

Tablo 1: L2 Ekosistemi ZKP Talep ve Gelir Tahminleri (2025-2030)

Metodoloji — L2 Ekosistemi ZKP İhtiyaç ve Gelir Tahmini (2025–2030)

• L2 Miktarı ve ZK Kapsama Oranı
• 2025 yılındaki 25 L2'den başlayarak, 2030 yılında 1000 L2'ye genişleyecek.
• Kapsama oranı, her yıl ZK tabanlı L2'nin aldığı payı, %50'den %85'e yükseldi.
• Her ZK L2'nin ortalama işlem hacmi
• Aynı yıl L1 throughput'u ile eşit olacak şekilde ayarlayın, “teragas agregasyonu” varsayımını karşılamak için (yani, her L2'nin kapasitesi temel katmanın genişlemesiyle artar).
• Bu, basitlik açısından iyimser bir varsayımdır ve ağır kuyruk akış dağılımını tek bir ortalama değere sıkıştırır.
• Toplam throughput hesaplama:

ToplamVerim(Mgas/s)=(L2Sayısı×KapsamaOranı)×ZKL2BaşınaOrtalamaVerim

• Fiyatlandırma Varsayımı
• Her Mgas için başlangıç fiyatı 0.0104 Dolar (Katana'ya göre, 2025 yılı).
• Donanım verimliliği, doğrulayıcı pazar rekabeti ve protokol düzeyindeki optimizasyonların etkisiyle, maliyetler 2030 yılına kadar önemli ölçüde 0.0004 dolara düşecektir.
• Başlangıç yılı ile bitiş yılı arasında lineer fiyat interpolasyonu yöntemi kullanılır.
• Yıllık gelir:

YıllıkGelir=ToplamVerimlilik×MgasBaşınaFiyat×31,536,000(saniye/yıl)

Tablo 2: ZK kanıtlarının potansiyel pazar büyüklüğü (TAM) (2025-2030 yılı, aşağıdan yukarıya yaklaşım )

• L2 Miktar Artışı — 2025 yılında 25 L2'den başlayarak, 2030'da lineer bir şekilde 1,000'e kadar genişleyecek.
• ZK kapsama oranı — Sadece bir kısmı L2 ZK kanıtı kullanıyor: 2025'te %50, 2030'da %85'e çıkacak.
• Her ZK L2'nin ortalama verimliliği - aynı yıl L1 verimliliği ile eşit olarak belirlenmiştir (bu iyimser bir varsayımdır). Bu, “teragas” yol haritasının mantığıyla uyumludur; yani olgun L2'ler L1'in kapasitesine ulaşacaktır.
• Toplam L2 işlem hacmi — Hesaplama formülü: ZK L2 sayısı × Her bir ZK L2'nin ortalama işlem hacmi
• Burada, ZK L2 sayısı = L2 toplamı × kapsama oranı.
• Her milyon Gas fiyatı — 2025'in başında 0.0104 dolar olarak belirlenmiştir (Katana L2'nin kanıt maliyetine dayanmaktadır) ve 2030'a kadar zkVM, donanım ve piyasa rekabetinin getirdiği verimlilik artışını yansıtmak için lineer olarak 0.0004 dolara düşecektir.
• Yıllık L2 Potansiyel Pazar Büyüklüğü:

Toplam L2 Verimliliği ( Mgas/s ) × Mgas Başına Fiyat × Yıldaki Saniye Sayısı Toplam L2 Verimliliği ( Mgas/s ) × Mgas Başına Fiyat × Yıldaki Saniye Sayısı

• Yıllık L1 potansiyel piyasa hacmi - 2027'den itibaren (o zaman L1 blok zorunlu kanıtı başlayacak), fiyatlandırma o yıl L2'nin $/Mgas ile aynı olacak, L1 throughput Ethereum ölçeklendirme yol haritasına dayanmaktadır.
• Diğer Gereksinimler — L2 potansiyel pazar değerinin %10'u olarak muhafazakar bir tahmin, ZK köprüleri, işleme yardımcıları ve doğrulanabilir uygulamaları (ZKML, zincir üzeri gizlilik) kapsamaktadır.
• Potansiyel piyasa hacmi: L1 potansiyel piyasa hacmi + L2 potansiyel piyasa hacmi + diğer talepler

2.3 Pazar Büyüklüğü Tahmini - Yukarıdan Aşağıya Vizyon (Teragas Sonuç)

Ethereum'a dayanan “Gigagas” ve “Teragas” yol haritasının tamamen uygulanmasına dayanan bir başka üstten alta model, potansiyel pazar büyüklüğünün bir sıfır kadar büyük olabileceğini göstermektedir.

Tablo 3: Ethereum L1 Gaz Verimliliği Tahmini (2027-2030)

Tablo 4: ZK Kanıtı Pazar Büyüklüğü ve Gelir Tahmini (Yukarıdan Aşağıya, 2027-2030)

• Metodoloji (bu yukarıdan aşağıya tablo için)
• L1 İşlem Hacmi — Ethereum tabanlı genişleme yol haritasının hedefi: 37.5 → 1,000 Mgas/s (2027–2030).
• L2 Miktarı — 2027-2030 döneminde 300'den 1.000'e çıkacak.
• ZK kapsama oranı — yalnızca bir kısım L2 ZK kanıtı kullanıyor, bu oran %60'tan %85'e yükseldi.
• Her ZK L2'nin ortalama verimliliği - aynı yıl L1 verimliliği ile eşit olacak şekilde belirlenmiştir (örneğin, 2027'de 37.5 Mgas/s, 2030'da 1,000 Mgas/s) ve teragas seviyesindeki toplam verimlilik varsayımına uymaktadır.
• Her Mgas için fiyat — Kanıtlayıcı donanımındaki iyilemeler ve piyasa rekabeti ile birlikte düşmektedir: 0,00075 dolar (2027) → 0,00040 dolar (2030).
• L2 Toplam İşlem Hacmi:

AggreGateL2Throughput=(L2Count×ZKCoverage)×L1Throughput

• Gelir Formülü: L1
• Gelir = L1_İşlem Hacmi × Fiyat × Yıldaki Saniye Sayısı
• L2 Geliri = AggreGate_L2_throughput × Fiyat × Yıldaki Saniye Sayısı
• Toplam pazar = L1 geliri + L2 geliri

2.4 Kanıt için kim ödeme yapacak?

Bu milyarlarca dolarlık talep, protokol enflasyonu ile finanse edilmeyecek, bunun yerine L2 ve uygulama zincirlerinin sağlam ve çeşitlendirilmiş gelir modelleriyle desteklenecektir. Conduit'in bir analiz makalesinde detaylandırıldığı gibi, kendi zincirine sahip projelerin en az yedi farklı gelir kaldıraçları vardır ve bu, ZK kanıtlarının işletim maliyetlerini karşılayabilmelerini sağlar.

Tablo 5: L2 Gelir Akışları Karşılaştırma Analizi

Zincirleri Kıranlar Dünyayı Kazanır: Rollup'ın 7 Büyük Gelir Kaldıraçı

Üç, Succinct'in teknik avantajları

3.1 Gerçek Zamanlı Kanıt Gerçekleşti

Son zamanlarda ZK kanıtı performansında yaşanan bir dizi önemli突破 olmasaydı, "Gigagas"ın tüm vizyonu teorik aşamada kalmaya devam edecekti. Succinct ekibinden John'un da söylediği gibi, “gerçek zamanlı kanıt” - yani herhangi bir Ethereum bloğu için 12 saniye içinde ZK kanıtı üretme yeteneği - "ZK alanında ay'a iniş anı"dır.

Bu değişim sadece performans artışını değil, aynı zamanda geliştiricilerin erişilebilirliğinde bir devrimi de ifade ediyor. Succinct'in kurucu ortağı Uma Roy'un açıkladığı gibi, geçmişte ZK geliştirmek için “40 kişilik bir kriptoloji doktoru ekibine” ve yüz milyonlarca dolarlık bir sermayeye ihtiyaç vardı, tek bir uygulamaya özel kanıt sistemi oluşturmak için. Genel zkVM'nin ortaya çıkmasıyla, bu model tamamen bozuldu. Roy, “Temelde, 40 kriptoloji doktoruna, on milyonlarca veya yüz milyonlarca dolarlık Ar-Ge maliyetine ihtiyaç duymaktan, bir hafta sonu içinde tamamlanabilen bir projeye dönüşüyorsunuz” diyor.

Bu podcastteki iki güçlü analoji sayesinde bu atılımı daha iyi anlayabiliriz:

• ASIC'ten CPU'ya: Tüm sektör, yalnızca bir problemi çözebilen özel entegre devrelerden (ASIC) genel CPU modellerine geçiş yapıyor; yani SP1 gibi bir motor, herhangi bir programı kanıtlanabilir bir şekilde çalıştırabiliyor.
• Kriptografinin temel modeli: SP1'in işlevi, yapay zeka alanındaki temel modellere benzer. ChatGPT'nin yalnızca İngilizce ile AI'yi erişilebilir hale getirdiği gibi, SP1 de standart kodla ZK'yı kullanımı kolay hale getiriyor. “Yapay zeka ve temel modellerde olduğu gibi, İngilizce girdiğinizde AI'yi kullanabilirsiniz,” diyor Roy, “burada ise sadece normal bir kod girdiğinizde ZK'yı kullanabilirsiniz, bu kadar basit.”

Succinct'in SP1 HyperCube'u bu başarının belirleyici kanıtıdır. Bir dönüm noktasında yapılan sunumda, sistem tüm gerçek zamanlı Ethereum ana ağı bloklarının %93'ünü 12 saniye içinde başarılı bir şekilde kanıtladı. Geriye kalan %7'lik bloklar daha uzun sürdü ve bu teknik sınırlamalardan değil, EVM Gas fiyatlandırma tablosundaki bazı işlemlerin (örneğin Blake2 önceden derlenmiş) yanlış fiyatlandırılmasından kaynaklanmaktadır. Bu dönüm noktası, gerçek zamanlı kanıtların mühendislik olarak uygulanabilir olduğunu açıkça doğrulamaktadır.

3.2 Gelişen Motor: SP1 zkVM

Succinct teknolojisinin çekirdeği SP1, yüksek performanslı, açık kaynaklı bir sıfır bilgi sanal makinesi (zkVM). SP1, en geniş doğrulanabilir hesaplama görevlerine hizmet etmek için tasarlanmış stratejik bir varlıktır ve sektörü “ZK 2.0” çağına taşımaktadır.

Bence, $PROVE tokeninin başarılı bir şekilde çıkarılması, neredeyse zKVM'nin yatırım yapılabilir bir varlık sınıfı haline geldiğini doğruladı… Bu oldukça şaşırtıcı, biliyorsun, ilk gününde tam seyreltilmiş değerlemesi aslında ZKSync, Scroll ve Starknet gibi ZK Rollup projelerini aştı.

“Amacımız, kriptografinin tüm karmaşıklığını ortadan kaldırmak, geliştiricilerin Rust gibi standart dillerle 'normal kod' yazabilmelerini sağlamak ve ZK kanıtı elde etmektir.”

• Kullanımı kolay: Bir RISC-V zkVM olarak, SP1 geliştiricilerin mevcut, pratikte test edilmiş kod kütüphanelerini ve aşina oldukları dilleri kullanmalarına olanak tanırken karmaşık şifrelemeyi öğrenmelerini gerektirmiyor.
• Genel Kullanım: Hedef talimat seti olarak RISC-V'yi seçmek, yalnızca tüm ZK ekosisteminin geniş eğilimlerine uyum sağlamakla kalmaz, aynı zamanda Ethereum L1'in uzun vadeli yol haritasıyla da tutarlılık gösterir.
• Performans izleme: SP1'in sürekli iyileştirmeleri, “Moore Yasası” tarzında bir eğilim sergilemektedir. Kanıt süresi 2023'teki birkaç dakikadan 2025'te birkaç saniyeye düşmüştür ve bu iyileştirme hızı, Ethereum yol haritasında belirtilen her yıl %300'lük hesaplama talebi artış oranını çok aşmaktadır.

SP1'in çok işlevliliği sadece tam ZK-rollup gerçekleştirmekle sınırlı değildir. Genel bir zkVM olarak güçlü yetenekleri, belirli piyasa ihtiyaçlarını karşılamak için yenilikçi bir hibrit tasarımın doğmasına neden olmuştur. Tipik bir örnek, sıfır bilgi hata kanıtlarındaki uygulamasıdır. Facet gibi projeler, durum dönüşüm fonksiyonlarını Rust'a (Kona ve REVM aracılığıyla) taşımak için OP Succinct Lite tabanlı sistemler kullanmakta ve bunları SP1 ELF ikili dosyasına derlemektedir. Bu, onlara hem Optimistik sistemlerin düşük maliyetli “ideal durumunu” sunma hem de zorluklar ortaya çıktığında ZK kanıtlarının “tek işlem çözümü” özelliğini koruma olanağı sağlamaktadır. Bu, SP1'in daha geniş bir kriptografik güvenlik modeline hizmet etme yeteneğini göstermekte ve potansiyel pazar ölçeğini genişletmektedir.

Pazar modelinin etkinliği, giderek daha olgun ve profesyonel kanıtlayıcıların katılmasıyla gerçek zamanlı olarak doğrulanıyor. Önemli bir gelişme, @cysic_xyz'in (lider bir ZK donanım hızlandırma şirketi) çoklu düğüm kanıtlayıcı olarak Succinct kanıtlayıcı ağında devreye girmesi. Cysic, genel amaçlı bir hesaplama sağlayıcısı değildir; “tüm teknolojik yığınları tamamen kendi başlarına geliştirmişlerdir” ve ZK iş yükleri için özel olarak tasarlanmış özelleştirilmiş donanım ve yüksek verimlilikte GPU kümeleri içermektedir.

3.3 Gerçek Zamanlı Kanıtın Ekonomisi

Bu seviyedeki performans yalnızca teknik olarak mümkün değil, aynı zamanda ekonomik olarak da erişilebilir. Gerçek zamanlı kanıt sunabilen yerel bir kanıt kümesi oluşturmanın sermaye harcamaları yaklaşık olarak

10 bin ile 30 bin dolar. Bu, bulut hizmet sağlayıcılarını kullanmaktan çok daha uygun, çünkü John'a göre, “NVIDIA aslında ekran kartlarının performansını zayıflatıyor… bunu daha yüksek kar elde etmek için kasıtlı olarak yapıyor.”

Bu yapılabilirlik, Ethereum Vakfı'nın “Aile İspatı Zorunlu” girişimi ile uyumludur; bu girişim ≤10 kilowatt hedef güç tüketim sınırı belirlemiştir. Justin Drake, bu girişimin uygulanabilirliğini kanıtlamaya yönelik kişisel hedefini belirlemiştir:

“Bu, bu yıl yapmak istediğim şeyin temeli: her bir Ethereum bloğunu gerçek zamanlı olarak kanıtlamak… ve bunu evde tamamlamak.”

Dört, her şey ZK'ya dönüştürülebilir

4.1 Uygulamanın Yeni Tasarım Alanı

Ethereum'un genişlemesi şu anda on milyarlarca dolarlık bir pazar olsa da, gerçek uzun vadeli fırsat "her şeyin ZK'laşması"ndadır.

Succinct ekibinden John'un belirttiği gibi, genel zkVM, “Ethereum için gerçek zamanlı kanıtlar üzerinde yaptığımız iyileştirmelerin diğer hesaplamalar için de geçerli olacağı” anlamına geliyor.

4.2 Kısa Uygulama Durum Çalışmaları

Succinct'in SP1'i çeşitli farklı uygulamaları desteklemeye başladı:

• Doğrulanabilir Borsa (Hibachi) – ZK kullanarak gizlilik odaklı bir sürekli sözleşme borsası inşa edin, burada çevrimdışı emir defterinin bütünlüğü kriptografik olarak doğrulanabilir.
• Çapraz zincir etkileşimi (Celestia) – Succinct teknolojisini kullanarak “tembel köprü” uygulaması, yani diğer zincirlerin durumunu güvenli ve verimli bir şekilde doğrulamak için ZK kanıtları kullanmak.

Sürekli olarak “tembel köprü” adı verilen bir konsepti araştırıyoruz… Eğer zincir üzerinde bir yürütme ortamı yoksa, zinciriniz diğer zincirlerin durumunu doğrulamakta zorlanır. Bu nedenle, bunu ZK kanıtları aracılığıyla başarmak için sürekli çaba sarf ediyoruz.

• DeFi L2'ler (@katana) – DeFi'ye odaklanan L2 Katana, Polygon üzerinde Conduit aracılığıyla piyasaya sürülmüştür. Temel olarak Succinct'in ZK kanıt teknoloji kullanarak hızlı ve güvenli bir şekilde ödeme yapar ve Polygon'un Agglayer'ına bağlanır.
• Temel DeFi Altyapısı (Lido): Lido, likit staking alanındaki lider olarak, test ağında “güvenilir olmayan bir muhasebe oracle'ı” desteklemek için SP1'i kullanıyor. Bu sistem, güvenilir bir yöneticiyi gerektirmeden, stake edilen ETH'nin bakiyesini doğrulanabilir bir şekilde takip ederek güvenliği artırıyor.
• Gelişmiş Çapraz Zincir Köprüsü (Across): Across protokolü, Succinct ile işbirliği yaparak Ethereum konsensüs katmanının ZK kanıtlarını üretmektedir. Bu, Ethereum'un durumunu birçok diğer zincire güvenli ve verimli bir şekilde köprülemelerini sağlar; bu da birlikte çalışabilirliğin sağlanmasında anahtar bir işlevdir.
• Durdurulamaz Rollups (Facet): Facet, Succinct teknolojisinin benimsenmesi için güçlü bir vaka çalışması sunan ilk genel ikinci aşama rollup'tır. Yönetici anahtarına sahip olmayan bir “durdurulamaz Rollup” olma hedefini gerçekleştirmek için, Facet resmi köprü ve onunla ilgili güvenlik risklerini kaldırmıştır. Köprüleme gaz token'ı kullanmamakta, bunun yerine kullanıcıların işlem yaparken imha ettikleri L1 ETH ile orantılı olarak madencilik miktarına sahip bir yerel token (FCT) kullanmaktadır. Bu yapı, Succinct teknolojisine dayanan karma bir ZK-sahtekarlık kanıtı sistemi ile güvence altına alınmaktadır. Bir durum kökü önerisi sorgulandığında, SP1 zkVM kullanılarak bir ZK kanıtı üretilir ve anlaşmazlık net bir şekilde çözülür. Bu, Facet'in “hafif bir platform” olarak kalmasını sağlar, saf, durdurulamaz hesaplamalar sunarken, varlık yönetimi ve köprüleme işlevlerini kullanıcıların seçtiği uygulamalardan oluşan rekabetçi bir ekosisteme bırakır.

4.3 Sürekli Genişleyen Sınır: ZK Çapraz Zincir Köprüsü, Eş İşlemci ve Doğrulanabilir Uygulamaların Geliri

Aşağıdan yukarıya piyasa modeli, ZK köprüleri, ZK yardımcı işlemciler ve diğer doğrulanabilir uygulamaları kapsayan hızlı büyüyen “diğer talep” kategorisini de içermektedir.

Muhafazakâr tahminlere göre, bu alandaki yıllık gelir 2030 yılına kadar 126 milyon doları aşacak.

ZKML ve zincir üzerindeki gizlilik çözümlerinin olgunlaşmasıyla, bu alanın daha da genişleme potansiyeli var.

Beş: Succinct ve $PROVE

5.1 Kanıtlayıcı Ağı: Genel, İzin Gerektirmeyen Bir Pazar

Succinct'in temel stratejisi yalnızca daha iyi bir kanıtlayıcı (prover) inşa etmek değil, aynı zamanda kanıtlar (proving) için otoriter bir piyasa oluşturmaktır. Bu küresel arz bir varsayım değildir, deneyimli operatörlerden oluşmaktadır. Ağ, genellikle “eski madenciler” olarak bilinen ve çoğunluğu Asya'da bulunan, hazır altyapıya, düşük maliyetli elektriğe ve kullanılabilir tüketici düzeyinde GPU'lara sahip birçok kanıtlayıcıyı kendine çekmiştir.

İkili piyasası, gerçek zamanlı açık artırma sistemi aracılığıyla, dünya genelindeki hesaplama gücü arzını ZK kanıtlarına olan artan talep ile birleştiriyor.

Biz bir iki taraflı pazar inşa ediyoruz: Succinct kanıtlayıcı ağı. ZK kanıtlarının oluşturulma sürecini ticarileştirmeyi amaçlıyor.

Bu rekabet durumu, piyasa verimliliğinin motorudur ve fiyatlar ile gecikmeler üzerinde sürekli aşağı yönlü baskı oluşturarak doğrudan tüketicilere fayda sağlar.

5.2 $PROVE Token: Ağı'nın Ekonomik Motoru

Succinct ekosisteminin tüm ekonomik modeli, yerel tokeni $PROVE içinde yoğunlaşmaktadır.

Bu tokenin iki ana simbiyotik işlevi vardır:

• Ödeme – $PROVE, bu ağ pazarındaki tek para birimidir. Tüm üretilen kanıtların ücretleri $PROVE ile ödenmelidir, bu da bu token için doğrudan bir ticaret talebi oluşturur.
• Güvenliği sağlamak için teminat - Kanıt müzayedesine katılmak ve gelir elde etmek için kanıtlayıcıların ekonomik teminat olarak $PROVE miktarını teminat olarak yatırmaları gerekmektedir. Bu, ağın güvenilirliği için hayati öneme sahiptir çünkü “kötü niyetli saldırıları” (griefing) önlemeyi amaçlamaktadır - yani kanıtlayıcıların kanıt üretmeyi taahhüt etmeleri ancak sonuçta teslim etmemeleri, bu da L2 gibi uygulamalarda ciddi gecikmelere neden olabilir. Roy'un dediği gibi, “kanıtlayıcıların kötü niyetli saldırılarda bulunabilmesi olmamalıdır… bu çok kötü bir kullanıcı deneyimi olurdu”. Eğer kanıtlayıcı taahhütlerini yerine getiremezse, yatırdıkları teminatın bir kısmı cezalandırılacak ve böylece “sorumluluk taşıdıkları” sağlanacaktır.

5.3 Değer Birikim Uçurumu

Tablo 6: $PROVE token fayda ve değer birikim modeli

5.4 İlk Gün Verileri: Uygulamada Kanıtlama

Bu ekonomik modelin etkinliği, ağın ilk gününde kanıtlandı.

Kurucu Ortak Uma Roy, bir kamu gönderisinde şunları bildirdi:

Roy, Succinct özel kümelerinde 35'ten fazla mevcut müşterinin kamu ağına geçişe hazırlanmasıyla birlikte, talebin mutlaka “parabolik bir artış” göstereceğini belirtti.

Sonuç

Ethereum'un büyük ölçeklenme yol haritasının ve sıfır bilgi teknolojisinin olgunlaşmasının birleşimi, önümüzdeki on yılın en önemli yeni altyapı pazarlarından birini yaratıyor. Ethereum Vakfı'nın stratejik odak noktası değişimi ve bununla birlikte yaptığı finansal yatırımlar, teorik bir ideali mühendislik yarışmasına dönüştürdü. Succinct gibi ekiplerin öncülük ettiği teknolojik atılımlar ise bu yarışmanın hedefi olan - gerçek zamanlı kanıt ve büyük ölçeklenme için L1 - gerçekleştirilebilir bir gerçeklik haline gelmesini sağladı.

Tekrar eden uygulama çağı sona eriyor. Kriptografik doğrulama çağı başlıyor.

Bu yeni paradigmada, Succinct Prover Network gibi merkeziyetsiz altyapı sağlayıcıları, bu yeni ekonomik sistemde vazgeçilmez “kazma ve kürek” tedarikçileri haline gelecektir.

$PROVE token'in ekonomik modeli, ödeme ve staking işlevlerini entegre ederek, ağ büyümesini token değerinin birikimi ile doğrudan ilişkilendiren güçlü bir flywheel oluşturmuştur. Bu nedenle, yatırım

$PROVE sadece tek bir uygulamaya bahis değil, aynı zamanda bir sonraki nesil internetin temel, doğrulanabilir hesaplama katmanına doğrudan bir yatırımdır.

Dünyadaki tüm yazılımları kanıtlayın.