Ethereum'un (ETH) sanal makinesi 2015’te akıllı sözleşmeleri çalıştırmak için tasarlandı; kriptografik ispat üretmek için değil. Sıfır bilgi ispatları ise hesaplamayı ucuz ve mahrem biçimde doğrulamak için geliştirildi; opcode kavramı onlar için yoktu.
Yıllarca bu iki dünya temelden uyumsuz göründü.
Ardından mühendisler bu ikisini birleştirmenin yolunu buldu ve ortaya kripto ekosisteminin en karmaşık altyapı bileşenlerinden biri çıktı.
ZkEVM — “zero-knowledge Ethereum Virtual Machine”in kısaltması — Ethereum uyumlu akıllı sözleşmeleri çalıştırıp, geliştiriciden tek satır kod bile değiştirmesini istemeden, bu yürütmenin doğruluğunu ZK ispatlarıyla kanıtlamaya yönelik bir girişim.
Kulağa basit gelse de pratikte, sektörü beş yıl boyunca kilitleyen problemleri çözmeyi gerektirdi.
Özetle
- ZkEVM, Ethereum uyumlu akıllı sözleşmeleri çalıştırır ve yürütmenin doğru olduğunu gösteren bir sıfır bilgi ispatı üretir; böylece işlemler Ethereum ana ağa hızlı ve düşük maliyetle sonlandırılabilir.
- Bir ZkEVM’yi inşa etmek ne kadar zorsa, mevcut Ethereum araç ekosistemine uyumu o kadar yüksektir; bu ödünleşim, alandaki her tasarım kararının tam merkezinde durur.
- Kullanıcılar, ana ağ gaz ücretini ödemeden Ethereum’un güvenliğinden faydalanırken, geliştiriciler mevcut Solidity sözleşmelerini çok az değişiklikle devreye alabilir.
Sıfır Bilgi İspatları Gerçekte Ne Yapar?
EVM tarafına geçmeden önce, sıfır bilgi ispatının ne olduğunu ve ne olmadığını netleştirmek gerekir. Bir ZK ispatı, ispatlayıcının (prover), doğrulayıcıya (verifier) bir ifadenin doğru olduğunu, bu ifadeyi doğru kılan verileri açığa çıkarmadan kanıtladığı bir kriptografik yöntemdir.
Klasik örnek, şifreyi paylaşmadan şifreyi bildiğinizi kanıtlamaktır. Blokzincir bağlamında kanıtlanan ifade neredeyse her zaman hesaplamaya ilişkindir: “Bu programı şu girdiyle çalıştırdım, şu çıktıyı elde ettim ve bunu doğru yaptım.”
Bu senaryoda doğrulayıcı, Layer 1’de çalışan bir Ethereum akıllı sözleşmesidir ve her işlemi yeniden çalıştırmak yerine, kanıtı milisaniyeler içinde kontrol eder.
Sıfır bilgi ispatları, bir Layer 2 ağının binlerce işlemi tek bir pakette toplayıp, hepsinin geçerli olduğunu gösteren kompakt bir ispat üretmesine ve Ethereum’a yalnızca bu ispatı göndermesine olanak tanır. Böylece kullanıcı başına maliyet dramatik biçimde düşer.
Bugün ZkEVM alanında iki ispat sistemi öne çıkıyor. SNARK’lar (Succinct Non-interactive ARguments of Knowledge) çok küçük, hızlı doğrulanan ispatlar üretir ancak güvenilir bir başlangıç töreni gerektirir. STARK’lar (Scalable Transparent ARguments of Knowledge) güvenilir kurulum istemez, kuantuma dayanıklıdır fakat ispat boyutları daha büyüktür. Çoğu ZkEVM ekibi, şu aşamada Ethereum ana ağındaki doğrulama maliyeti katı bir kısıt olduğu için SNARK tabanlı sistemlerde yoğunlaşıyor.
Ayrıca Oku: Trump Media, Crypto.com ile 6,42 Milyar Dolarlık Cronos Hazine Anlaşmasını İptal Etti
EVM’yi İspatlamanın Bu Kadar Zor Olmasının Nedeni
Ethereum Sanal Makinesi; 140’tan fazla opcode’a sahip, yığın tabanlı bir yürütme ortamı, gaz muhasebesi, karmaşık bir bellek modeli ve on yıllık kullanımın biriktirdiği köşe durumlarıyla dolu. Basit bir ADD’den ECRECOVER gibi kriptografik ön derleyicilere kadar her opcode’un, bir ZK ispat sisteminin onun üzerinde akıl yürütebilmesi için aritmetik kısıtlara çevrilebilmesi gerekiyor.
Sorun şu ki, ZK ispat sistemleri çok dar bir matematiksel dille konuşuyor. Doğal olarak sonlu cisimler ve polinom denklemler üzerinde çalışıyorlar. EVM tasarlanırken bunların hiçbiri hesaba katılmadı. KECCAK256 gibi opcode’lar (Ethereum’un hash fonksiyonu), bit düzeyinde işlemler içerdiği için ZK devreleri açısından neredeyse en “düşmanca” fonksiyonlar; devasa, pahalı kısıt kümelerine yol açıyorlar.
Bu uyumsuzluk, araştırmacıların “EVM uyumsuzluğu problemi” dediği olguyu yarattı. Hızlı ve ucuz bir ZK rollup inşa edebilirdiniz ama yalnızca ZK dostu ortamlara özel yazılmış programları çalıştırabilirdi. Ya da tam EVM desteği sağlamaya çalışırdınız; bu kez ispat üretimi öyle pahalı ve yavaş hale gelirdi ki ölçeklenebilirliğin anlamı kalmazdı. ZkEVM mühendisliğinin odağında, işte bu ödünleşimi daraltmak var.
Tek bir KECCAK256 hash’i için ZK ispatı üretmek, milyonlarca aritmetik kısıt gerektirebiliyor. Tipik bir Ethereum bloğunda binlerce hash var; bu yüzden ilk ZkEVM denemelerinde ispat üretimi saatler alıyor, bugün bile genellikle özel donanım gerektiriyor.
Dört Tip ZkEVM ve Ne İfade Ediyorlar
Tüm ZkEVM’ler aynı değil. Ethereum araştırmacısı Vitalik Buterin, 2022’de bugün artık referans kabul edilen bir sınıflandırma yayımladı. Buna göre uygulamalar, mevcut Ethereum yığınıyla ne ölçüde uyumlu olduklarına bağlı olarak dört tipe ayrılıyor. Herhangi bir ZkEVM projesini değerlendirmenin en hızlı yolu, bu tipolojiyi anlamak.
Tip 1, tam Ethereum eşdeğeri. Ethereum’un durum geçişini, blok yapısını, hash fonksiyonlarını; kısacası her şeyi, hiçbir değişiklik yapmadan ispatlar. Bu, mevcut Ethereum istemcilerinin ağı doğal biçimde senkronize etmesi ve tüm araçların kutudan çıktığı gibi çalışması anlamına gelir. Bedeli ise ispat üretiminin aşırı yavaş ve pahalı olmasıdır. Bugün hiçbir üretim ZkEVM tam Tip 1 seviyesinde çalışmıyor, ancak bu hedefe yürünen projeler var.
Tip 2, EVM eşdeğeri. Durum ağacında KECCAK yerine ZK dostu bir hash fonksiyonuna geçmek gibi bazı dahili veri yapıları değiştirilebilir; ancak EVM bytecode uyumu korunur. Akıllı sözleşmeler birebir aynı davranır, geliştirici fark hissetmez. İspat üretimi Tip 1’e göre daha hızlıdır ama hâlâ ağırdır. Scroll ve Polygon zkEVM’nin erken sürümleri bu aralığı hedefledi.
Tip 3, bazı ek sadeleştirmelerle, az sayıdaki uç durum özelliğini — belirli precompile’lar gibi — kırar. Sözleşmelerin çok büyük çoğunluğu yine çalışır. Buna karşılık ispat üretim maliyeti anlamlı biçimde düşer. 2023–2024 döneminde piyasaya çıkan ZkEVM’lerin çoğu, ilk sürümlerinde Tip 2 ile Tip 3 arasında bir yerde konumlandı.
Tip 4 ise Solidity veya Vyper kaynak kodunu doğrudan EVM bytecode’unu ispatlamak yerine, ZK dostu özel bir sanal makineye derler. Bu en hızlı ve en ucuz seçenek; ancak davranışta ince farklar yaratabilir ve bazı düşük seviye EVM numaraları çalışmayabilir. zkSync Era, özelleştirilmiş LLVM tabanlı derleyicisiyle bu yaklaşımı benimsiyor.
Bu sınıflandırma, inşa eden ekipler için kritik. Ethereum ana ağından Battle-tested bir DeFi protokolünü taşımak isteyen bir proje, birebir davranış eşliği için Tip 2 veya Tip 3 isteyecektir. Sıfırdan geliştiren takımlar ise, daha düşük ispat maliyeti ve daha hızlı kesinleşme için gönüllü olarak Tip 4’ü tercih edebilir.
Ayrıca Oku: Anthropic, Bir Bitcoin Madencisinden Teksas’ta 191 Megawatt Güç Kapasitesini Uzun Vadeli Olarak Kiraladı
Bir ZkEVM İşlemi Adım Adım Nasıl İşler?
Mimarinin somutlaşması için tek bir işlemin uçtan uca akışını izleyelim. Bir kullanıcı ZkEVM ağına bir işlem gönderdiğinde süreç şöyle işliyor:
İlk adımda işlem, sıralayıcıya (sequencer) ulaşır. Bu düğüm, işlemleri sıralamak ve paketler halinde toplamakla sorumludur. Sıralayıcı, işlemleri çalıştırır, Layer 2 durumunu günceller ve kullanıcıya anında bir “yumuşak onay” verir. Bu esnada kullanıcının cüzdan bakiyesi güncellenmiş görünür, ancak işlem henüz Ethereum üzerinde kriptografik olarak kesinleşmemiştir.
İkinci adımda, işlem paketi ispatlayıcıya (prover) devredilir; bu, ZK ispat algoritmasını çalıştıran uzman bir yazılım (veya donanım) bileşenidir. İspatlayıcı, yürütme öncesi durumu, tüm işlemleri ve yürütme sonrası durumu alır; durum geçişinin doğru hesaplandığını teyit eden bir geçerlilik ispatı üretir. Bu aşama hesaplama açısından ağırdır ve sisteme bağlı olarak saniyeler ile dakikalar sürebilir.
Üçüncü adımda ispat ve sıkıştırılmış, minimal işlem verisi, doğrulayıcı sözleşme (verifier contract) denilen bir Ethereum akıllı sözleşmesine gönderilir.
Bu sözleşme, kanıtı tek bir zincir üstü çağrıda kontrol eder; maliyeti, pakette kaç işlem olduğundan bağımsız, sabit bir gaz ücretidir. Doğrulama tamamlandığında, Layer 2 durum kökü Ethereum üzerinde kesinleşir ve ana ağ işlemleri kadar güvenli kabul edilir.
Ayrıca Oku: XRP ETF, Kanada Ulusal Bankası’nın 111 Bin Dolarlık Kripto Fon Açıklamasında Yer Aldı
Modüler ZkEVM ve Zincirler Arası Birlikte Çalışabilirlik
İlk ZkEVM tasarımları tek bir mutabakat/yerleşim katmanını, yani Ethereum’u varsayıyordu. Her şey Ethereum’da ispatlanıyor ve orada sonlandırılıyordu. Daha yeni modüler mimari ise yürütme, ispat ve yerleşim katmanlarını birbirinden ayırarak, bu bileşenlerin bağımsız biçimde birleştirilebilmesini sağlıyor.
Tam bu noktada Prom gibi projeler devreye giriyor.
Prom, hem EVM hem de EVM dışı zincirler arasında birlikte çalışabilirlik sağlayan modüler bir ZkEVM Layer 2 olarak kendini konumlandırıyor. Yalnızca Ethereum’a ispat gönderip orada sonlandırmak yerine, aynı anda birden fazla zincire ispat ileterek, daha önce güvene dayalı köprüler dışında bağlantısı olmayan ekosistemler arasında matematiksel bir köprü kuruyor.
Modüler yaklaşım, Ethereum’un tek geçerli yerleşim yüzeyi olduğu varsayımını kırdığı için önemli.
Son tahlilde bir ZkEVM ispatı sadece matematiksel bir nesne. Zincir A ve Zincir B’nin her ikisi de bu matematiği kontrol edebilen bir doğrulayıcı sözleşmeye sahipse, tek bir ispat aynı anda iki zincirde birden durum geçişini kesinleştirebilir. Böylece ZK ispatları yalnızca ölçekleme aracı olmaktan çıkıp, evrensel bir birlikte çalışabilirlik primi haline gelir.
Modüler ZkEVM mimarileri, yürütme katmanını yerleşim katmanından ayırır; yani aynı geçerlilik ispatsı, Ethereum’da, bir EVM dışı zincirde veya her ikisinde birden doğrulanabilir. Bu da, normalde uyumlu olmayan ekosistemler arasında paylaşılan bir kriptografik “hakikat kaynağı” yaratır.
Ayrıca Oku: TRON, 2,1 Trilyon Dolarlık USDT Hacmi Yarattı, Ancak DeFi Likidite Havuzu Küçüldü 1,9%
ZkEVM ve Optimistic Rollup’lar: Yan Yana Karşılaştırma
ZkEVM ile optimistic rollup’ların kıyaslanması kripto gündeminden düşmüyor; haklı da, çünkü aynı sorunu taban tabana zıt yaklaşımlarla çözmeye çalışıyorlar.
Optimistic rollup’lar, işlemleri varsayılan olarak geçerli kabul ediyor ve yalnızca biri itiraz edip fraud proof (sahtecilik kanıtı) mekanizmasını tetiklerse, belirli bir itiraz süresi içinde (genellikle yedi gün) doğruluyor. Bu, işletme maliyetini düşürüyor ve geliştirmeyi kolaylaştırıyor; ancak Ethereum ana ağa doğal yolla çekim süresini bir haftaya uzatıyor. Likidite köprüleri kullanmazsanız bu bekleme süresi kaçınılmaz. Bugün Arbitrum ve Optimism, bu alandaki başat optimistic rollup ağları.
ZkEVM rollup’lar ise tam tersi bir varsayımla hareket ediyor: Başlangıçta hiçbir şeye güvenmiyorlar. Her işlem paketi, kriptografik kanıt üretilene kadar “geçersiz” kabul ediliyor. Bu, ispat tarafında daha yüksek hesaplama yükü anlamına geliyor; buna karşılık, çekimler günler değil saatler içinde Ethereum’da sonuçlanabiliyor ve sahteciliği yakalamak için “dürüst gözlemcilere” bel bağlama gereği ortadan kalkıyor.
Kullanıcı açısından farklar pratikte şöyle özetlenebilir:
- Çekim hızı: ZkEVM burada açık ara önde. Kanıta dayalı finalite ile işlemler birkaç saat içinde ana zincire taşınabilirken, native optimistic rollup çekimlerinde bu süre yedi güne kadar çıkıyor.
- İşlem maliyeti: Bugün itibarıyla birçok senaryoda optimistic rollup’lar daha ucuz; çünkü ZK ispat üretimi ek maliyet yaratıyor. Ancak donanım ve ispat algoritmalarındaki iyileşmelerle bu makas hızla daralıyor.
- Güvenlik modeli: ZkEVM, saf kriptografik geçerlilik garantisi sunuyor. Optimistic rollup’lar ise fraud proof’lar üzerinden ekonomik güvenlik modeliyle çalışıyor; güçlü ama matematiksel olarak ZK kadar “mutlak” değil.
- EVM uyumluluğu: Yeni nesil ZkEVM’ler (Type 2/3), EVM uyumluluğu konusunda aradaki farkı büyük ölçüde kapatmış durumda; neredeyse tüm Ethereum araç setini destekliyor. Bu da bir dönem optimistic rollup’ların elinde olan önemli avantajı neredeyse sıfırladı.
- Devamlılık (liveness) riski: Prover tarafında sorun çıkarsa ZkEVM ağları durma noktasına gelebilir. Optimistic rollup’larda ise sequencer çalıştığı sürece ağ işlem üretmeye devam eder.
Bu iki yaklaşım arasında mutlak anlamda “daha iyi” olan yok. İşlem hacminin çok yüksek, maliyet duyarlılığının ise ön planda olduğu ve bir haftalık çekim süresinin tolere edilebildiği kullanım alanlarında optimistic rollup’lar öne çıkıyor. Hızlı finalite, zincirler arası mutabakat veya matematiksel doğruluk kanıtı gerektiren senaryolarda ise ZkEVM daha cazip.
Ayrıca Oku: CoreWeave Hisseleri Q2’de Gelirin Yapay Zekâ Etkisiyle İki Katına Çıkması Sonrası %11 Sıçradı
ZkEVM’den Şu Anda Kim Gerçekten Faydalanıyor?
ZkEVM artık “geleceğin teknolojisi” değil; bugün itibarıyla birden fazla ZkEVM ağı canlı, milyarlarca dolarlık varlık kilitli ve kullanıcılar bu ağlarda gerçek ücretler ödüyor. Yine de yığının her katmanında kimlerin ne kazandığını netleştirmek önemli.
Ethereum ana ağından taşınan DeFi protokolleri, Type 2/3 mimariler sayesinde neredeyse birebir aynı yürütme ortamını korurken gas maliyetlerini dramatik biçimde aşağı çekiyor. Ana ağda bir swap işlemi için 30 dolar gas ödeyen bireysel kullanıcı, ZkEVM üzerinde akıllı sözleşmeler yeniden yazılmadan kuruş seviyesinde işlem yapabiliyor.
Köprüler ve zincirler arası uygulamalar, çoklu zincire ispat gönderebilen modüler ZkEVM mimarilerinden yararlanıyor. Kullanıcılar, tarihsel olarak kriptoda en fazla saldırıya uğrayan alanlardan biri olan multisig köprülere güvenmek yerine, zincir üzerinde doğrulanan matematiksel ispatlara dayanabiliyor.
Kurumsal oyuncular ve finansal kuruluşlar, izinli ya da yarı izinli uygulamalar kurarken kriptografik olarak denetlenebilir, kendini kanıtlamış bir yürütme ortamı elde ediyor. Her bir durum değişikliği, düzenleyici uyum ve muhasebe açısından kritik olabilen “ispatlanabilir doğruluk” garantisiyle geliyor.
Geliştiriciler ise bugün yeni bir proje başlatırken Type 4 ile Type 2 arasındaki ödünleşimi anlamak zorunda. Sıfırdan Solidity yazıyor ve maksimum ispat hızı ile en düşük işlem ücretini hedefliyorsanız Type 4 bir ağ daha uygun olabilir. Halihazırda çalışan bir protokolü taşıyor ve davranışsal farklılık riskini minimize etmek istiyorsanız Type 2 veya Type 3 daha güvenli seçenek.
Son kullanıcı tarafında ZkEVM deneyimi çoğu zaman şu şekilde hissediliyor: Cüzdanların aynen çalıştığı, mevcut token’ların köprülenebildiği, ucuz ve hızlı Ethereum uyumlu bir zincir. Alttaki kriptografik mekanizma neredeyse tamamen görünmez; iyi altyapının tam da böyle hissettirmesi beklenir.
Ayrıca Oku: Monad TVL’de 868 Milyon Dolar Rekora Koşarken MON Talebi Zayıf Kalıyor
Sonuç
ZkEVM, uygulamalı kriptografi dünyasının en zor “yakınsama problemlerinden” biri: Matematiksel hiçbir yapısal kaygıyla tasarlanmamış bir sanal makineyi, sıfır bilgi ispatlarının konuştuğu dile çevirmek.
Bu problemi çözen ekipler, yıllar boyunca hash fonksiyonlarının ZK sistemleriyle uyumsuzlukları, kısıtların patlaması (constraint explosion) ve literatürde tanımlandığı hâlde piyasada henüz var olmayan prover donanımlarıyla boğuştular.
Alan hız kesmeden evriliyor. İspat üretim süreleri gerilemeye devam ediyor. Dağıtık prover ağları devreye giriyor. Tam Ethereum eşdeğeri Type 1 hedefi ise birden fazla ekibin somut biçimde yaklaştığı bir çıta olmaya başladı.
Ethereum ekosisteminde inşa eden ya da sermaye tahsis eden herkes için, ZkEVM’in pazarlama sloganlarının ötesinde gerçekten nasıl çalıştığını anlamak, atılacak her sonraki adımın temelini oluşturuyor.
