a16z crypto, sıfır bilgi Sanal Makineleri (zkVM'ler) ve SNARK'lar için bir yol haritası yayınladı ve teknolojinin acil dağıtım beklentilerini azaltan önemli güvenlik ve performans engellerini vurguladı.

Yönetici Özeti

a16z crypto, sıfır bilgi Sanal Makineleri (zkVM'ler) için çok yıllık bir yol haritası açıkladı ve mevcut pazar abartısına karşı önemli güvenlik ve performans engellerini vurgulayarak uyarıda bulundu, yaygın dağıtımlarına yönelik beklentileri yeniden ayarladı. a16z crypto, güvenli ve verimli sıfır bilgi Sanal Makineleri (zkVM'ler) ve SNARK'lar geliştirmeye yönelik çok yıllık, aşamalı bir yol haritasını özetleyen ayrıntılı bir analiz yayınladı. Rapor, mevcut önemli güvenlik ve performans sorunlarını vurgulayarak, bunların anında dağıtımı etrafındaki yaygın sektör abartısını doğrudan ele almakta ve çürütmektedir. Bu analizin, zkVM olgunluğu ve dağıtım zaman çizelgelerine yönelik sektör beklentilerini sıfırlaması, hızlı üretim kullanımından ziyade temel araştırma ve mühendisliğe odaklanmayı sağlaması beklenmektedir. Bu, Sıfır Bilgi (ZK) teknoloji sektöründeki gelecekteki geliştirme yol haritalarını ve yatırım stratejilerini etkileyebilecek resmi doğrulama ve içsel verimlilik iyileştirmelerinin kritik ihtiyacını vurgulamaktadır. Nihayetinde, özetlenen bu aşamalara ulaşmak, Web3 ekosistemi genelinde önemli ölçeklenebilirlik ve gizlilik avantajlarının kilidini açmak için çok önemlidir.

Etkinlik Detayı

zkVM'ler şu anda genellikle "hatalarla dolu" olarak tanımlanan devasa güvenlik karmaşıklıkları ve yerel yürütmeden yüz binlerce kat daha yavaş kanıt üretimiyle ciddi performans sorunlarıyla mücadele etmektedir. a16z crypto'nun raporu, çoğu uygulama için acil gerçek dünya dağıtımının hala savunulamaz olduğunu ileri sürmektedir. zkVM'lerin gerçek durumu, temel güvenlik ve performans hedeflerine ulaşılana kadar yıllar geçeceğini göstermektedir.

zkVM'ler için geliştirme yolu iki ana bileşeni içerir: Polinom Etkileşimli Oracle Kanıtı (PIOP) ve Polinom Taahhüt Şeması (PCS). Bu karmaşık sistemlerin hatasız olduğunu sağlamanın tek güvenilir yöntemi resmi doğrulamadır. Önerilen güvenlik aşamaları şunlardır:

  • Aşama 1: Doğru Protokoller – PIOP için resmi olarak doğrulanmış sağlamlık kanıtları, PCS için bağlama, özlü argüman için güvenlik (Fiat-Shamir kullanılıyorsa), kısıtlama sisteminin VM'in semantiğine eşdeğerliği ve VM'in bayt kodu tarafından belirtilen herhangi bir programı çalıştırmak için güvenli bir SNARK'ın kapsamlı, resmi olarak doğrulanmış bir kanıtını gerektirir. Sıfır bilgi özellikleri de resmi olarak doğrulanmalıdır.
  • Aşama 2: Doğru Doğrulayıcı Uygulaması – zkVM doğrulayıcısının gerçek bir uygulamasının Aşama 1'de doğrulanmış protokolle eşleştiğine dair resmi olarak doğrulanmış bir kanıta odaklanarak sağlamlığı sağlar.
  • Aşama 3: Doğru Kanıtlayıcı Uygulaması – zkVM kanıtlayıcısının Aşama 1 ve 2'de doğrulanmış sistem için kanıtları doğru bir şekilde ürettiğine dair resmi olarak doğrulanmış bir kanıt gerektirerek eksiksizliği sağlar.

Zaman çizelgeleri açısından, Aşama 1 için artımlı başarıların önümüzdeki yıl içinde beklenmesi, ancak hiçbir zkVM'in en az iki yıl boyunca Aşama 1'i tam olarak karşılamasının olası olmaması beklenmektedir. Aşama 2 ve 3 paralel olarak ilerleyebilir, ancak a16z crypto, hiçbir zkVM'in dört yıldan daha kısa sürede Aşama 3'e ulaşmasını beklemiyor ve potansiyel olarak daha uzun sürebilir.

Performans optimizasyonu da kritiktir. Mevcut ek yükler geniş çaplı benimseme için çok yüksektir ve yavaşlamaları yerel yürütmeden 10.000x veya daha aza indirme hedeflenmektedir. Ön derlemeler, resmi doğrulama ve otomatik sentez olmadan verimlilik için yetersiz bir çözüm olarak tanımlanmaktadır. Mobil cihazlarda istemci tarafı kanıtlamayı kolaylaştırmak için büyük ifadeler için 200 MB'ı hedefleyen önemli bellek kullanımı iyileştirmeleri de gereklidir.

Piyasa Etkileri

a16z crypto raporu, zkVM'ler için pazar beklentilerinin yeniden ayarlanmasını önermekte, yakın dağıtım algısından daha gerçekçi, uzun vadeli bir geliştirme ufkuna geçişi savunmaktadır. Bu değişim, yatırım ve araştırma çabalarını erken uygulamalardan ziyade güvenlik ve performans alanındaki temel iyileştirmelere yönlendirebilir. zkVM'ler özellikle Katman-2'ler ve Ethereum gibi sistemler için blok zinciri ölçeklenebilirliği ve gizlilik konularında önemli ilerlemeler vaat etse de, mevcut sınırlamaları, bu faydaların yaygın olarak gerçekleştirilmesinin yıllar alacağı anlamına gelmektedir. Resmi doğrulamaya verilen önem, bu tür kritik altyapıya duyulan güvenin yüksek çıtasını vurgulamakta ve kanıt üretmek için zaten önemli hesaplama maliyetlerine katlanmış projeleri etkilemektedir. Daha geniş Web3 ekosistemi için bu, sağlam mühendislik ve güvenlik uygulamalarına sürekli odaklanmanın büyük önem taşıyacağı anlamına gelmekte ve yüksek performanslı ve güvenli zkVM'lere dayanan belirli uygulamaların hızlı yayılmasını potansiyel olarak yavaşlatabilir. Uzun vadeli vizyon güçlü kalmaktadır; zkVM'ler, zincir üstü yerel ölçeklenebilirlik elde etmek ve karmaşık akıllı sözleşme uygulamalarını desteklemek için anahtar olarak tanımlanmıştır, ancak yakın gelecek sabır ve sürekli araştırma gerektirmektedir.

Daha Geniş Bağlam

zkVM'lere yönelik itici güç, Bitcoin'in saniyede 10'dan az işlem (TPS) yapması ve Ethereum'un onlu TPS'yi aşma mücadelesiyle örneklendirilen, blok zinciri sistemlerinin karşılaştığı kalıcı ölçeklenebilirlik zorluklarına dayanmaktadır; bu, Web2'nin binlerce TPS'sine kıyasla büyük ölçüde düşük performanstır. Bu sınırlama, merkeziyetsizlik, güvenlik ve ölçeklenebilirliğin doğasında var olan blok zinciri imkansız üçgeninden kaynaklanmaktadır. Rolluplardan modüler blok zincirlerine kadar çeşitli çözümler ortaya çıkmıştır ve Rolluplar, yürütmeyi boşaltarak Ethereum için TPS'yi önemli ölçüde artırmıştır.

Ancak, Rolluplar bile, özellikle zincir üstü işlemenin büyük ölçüde sıralı kaldığı yürütme düzeyinde, temel "tek zincir performansı" darboğazını tam olarak ele almamıştır. Bu durum, zincir üstü paralel hesaplamayı odak noktasına getirmiştir; bu, blok zincirini seri bir yürütme modelinden yüksek eşzamanlı bir sisteme dönüştürmeyi amaçlamakta, tek zincir atomikliği ve güven modellerini korurken yüzlerce kat işlem hacmi iyileştirmesi sağlayabilir.

Equilibrium Research gibi tahminler, Ethereum ölçeklendirme çözümlerinin (L2/L3) 2025 yılına kadar 2.000'i aşarak önemli ölçüde artacağını ve ZK tabanlı ölçeklendirme çözümlerinin Optimistik çözümleri geçeceğini öngörmektedir. Ayrıca 2025 yılına kadar her Ethereum bloğunun ZK kanıtlı olacağı ve genel amaçlı zkVM'lerin kanıt sürelerini 30 saniyeye indirmeyi hedefleyeceği tahmin edilmektedir. a16z crypto raporu, zkVM'lerin olgunluğu için daha muhafazakar bir zaman çizelgesi sunsa da, Web3 ölçeklendirmesi ve gizliliğinin geleceğindeki kritik rollerini pekiştirmekte, teknik yolun zorlu olmasına rağmen güvenli ve performanslı merkezi olmayan bir internet için uzun vadeli potansiyelin önemli olduğunu vurgulamaktadır.