ZK rollup nedir?
Bir ZK rollup (Sıfır-Bilgi rollup): Ethereum işlemlerini toplu işleyen ve sonuçtaki durumun doğru olduğunu gösteren kriptografik bir kanıtı (validity proof) L1’e gönderen bir Layer 2 ölçekleme çözümüdür. Optimistik rollup’ların aksine, ZK rollup’lar itiraz pencerelerine güvenmez: kanıt doğrulandığında sonlandırma hemen sağlanır. Büyük ZK rollup’lar: zkSync Era, StarkNet, Polygon zkEVM, Linea, Scroll.
ZK rollup’lar nasıl çalışır?
Dört-adımlı yaşam döngüsü. (1) Zincir-dışı yürütme: sıralayıcı işlemleri yürütür ve sonuçtaki durumu hesaplar. (2) Kanıt üretimi: kanıtlayıcı durum geçişinin doğru olduğuna dair kriptografik bir kanıt (tipik olarak PLONK veya STARK varyantları) üretir. (3) L1 doğrulaması: Ethereum, bir doğrulayıcı akıllı sözleşme kullanarak kanıtı doğrular. (4) Anlık sonlandırma: L1 doğrulaması geçtiğinde durum sonlandırılır.
ZK rollup avantajları
Üç yapısal yarar. (1) Hızlı çekmeler: 7-günlük itiraz penceresi yok, çekmeler dakikalar-saatler içinde tamamlanabilir. (2) Daha güçlü güvenlik: ekonomik varsayımlardan ziyade matematiksel kanıtlar. (3) Gizlilik potansiyeli: ZK kanıtları geçerliliği kanıtlarken işlem ayrıntılarını gizleyebilir. Ödünleşim: daha yüksek hesaplama karmaşıklığı ve bazı uygulamalar için şu anda sınırlı EVM uyumluluğu.
Kanıt sistemi varyantları
İki baskın kanıt sistemi. (1) SNARK’lar (Groth16, PLONK): daha küçük kanıt boyutları ancak güvenilir kurulum gerektirir. (2) STARK’lar: daha büyük kanıtlar ancak güvenilir kuruluma gerek yok, kuantum-dirençli. zkSync PLONK kullanır; StarkNet STARK’lar kullanır; Polygon zkEVM PLONK-tabanlı sistem kullanır.
EVM uyumluluk spektrumu
Dört seviye zkEVM uyumluluğu (Vitalik Buterin’in sınıflandırması). (1) Tip 1: tamamen Ethereum-eşdeğer. (2) Tip 2: EVM-eşdeğer. (3) Tip 3: neredeyse EVM-eşdeğer. (4) Tip 4: yüksek-seviye dil eşdeğer. Düşük tipler daha iyi uyumluluk sağlar; yüksek tipler daha iyi performans sağlar.
Türkiye bağlamı
Türk DeFi geliştiricileri ve tüccarları için, ZK rollup’lar optimistik rollup’larla karşılaştırıldığında daha hızlı çekme deneyimi sunar: hızlı L1 erişimi gerektiren ticaret iş akışları için anlamlı. Matematiksel güvenlik modeli ayrıca yüksek-değerli uygulamalar için daha güçlü garantiler sağlar. Türk düzenlenen kuruluşlar matematiksel (vs. ekonomik) güvenlik modeli için ZK rollup’ları tercih edebilir.
İlgili: Optimistic Rollup, Validity Proof, Sıralayıcı, PLONK.
Bu konuda mı çalışıyorsunuz? Vircon Legal Blockchain ve Kripto ve KVHS ve Kripto Uyum alanlarında danışmanlık veriyor. Bize ulaşın →
Bu konu masanızdaysa
Kurucu Akademisi'nde şablonlar ve kontrol listeleri ücretsiz; spesifik bir durum için 30 dakikalık ön görüşme planlayabilirsiniz.
Kurucu AkademisiGörüşme planlayın