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.