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, Linea, Scroll (Polygon zkEVM Mainnet Beta 1 Temmuz 2026’da kapatıldı).
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 Era’nın Boojum kanıtlayıcısı STARK tabanlıdır ve nihai kanıt zincir üstü doğrulama için PLONK türü bir SNARK ile sarılır; StarkNet STARK’lar 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.