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 yok hükmündeydi.
Yıllarca, bu iki dünya temelden bağdaşmaz göründü.
Ardından mühendisler bu ikisini kaynaştırmanın yolunu buldu ve ortaya, kripto ekosistemindeki en zorlu altyapılardan biri çıktı.
ZkEVM — “zero-knowledge Ethereum Virtual Machine” ifadesinin kısaltması — Ethereum uyumlu akıllı sözleşmeleri çalıştırıp, tek satır kod değiştirtmeden, bunların doğru icra edildiğini ZK ispatlarla kanıtlama girişimi.
Kulağa basit gelse de uygulamada, sektörü yarım on yıl oyalayan problemleri çözmek anlamına geldi.
Kısa Özet (TL;DR)
- Bir ZkEVM, Ethereum uyumlu akıllı sözleşmeleri çalıştırır ve bu icranın doğru olduğunu gösteren bir sıfır bilgi ispatı üretir; böylece işlemler Ethereum ana ağa hızlı ve ucuz biçimde taşınır.
- ZkEVM inşa etmek ne kadar zorsa, mevcut Ethereum araçlarıyla uyumu o kadar yüksektir. Bu ödünleşim, tasarımlardaki tüm kritik kararların merkezinde yer alır.
- Kullanıcılar, ana ağ gaz ücretlerini ödemeden Ethereum’un güvenliğinden yararlanır; geliştiriciler ise mevcut Solidity sözleşmelerini çoğu zaman dokunmadan taşıyabilir.
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 gerekiyor. ZK ispatı; “ispatlayıcı”nın, elindeki veriyi açıklamadan, bir ifadenin doğru olduğuna “doğrulayıcı”yı ikna etmesini sağlayan kriptografik bir yöntem.
Klasik örnek, parolayı göndermeden parolayı bildiğinizi kanıtlamak. Blokzincirde ise ispatlanan ifade neredeyse her zaman hesaplamaya ilişkin: “Şu girdide bu programı çalıştırdım, şu çıktıyı elde ettim ve bunu doğru yaptım.”
Doğrulayıcı, burada Layer 1’deki bir Ethereum akıllı sözleşmesi. Her işlemi yeniden yürütmek yerine, ispatı milisaniyeler içinde denetliyor.
ZK ispatları, Layer 2 ağlarının binlerce işlemi tek bir pakette toplayıp, hepsinin geçerli olduğunu kanıtlayan sıkıştırılmış bir ispat üretmesine ve Ethereum’a yalnızca bu ispatı göndermesine imkân veriyor. Böylece kullanıcı başına maliyet dramatik biçimde düşüyor.
Bugün ZkEVM sahnesinde iki ispat sistemi öne çıkıyor. SNARK’lar (Succinct Non-interactive ARguments of Knowledge) çok küçük, hızla doğrulanan ispatlar üretirken, “güvenilir kurulum” töreni gerektiriyor. STARK’lar (Scalable Transparent ARguments of Knowledge) güvenilir kuruluma ihtiyaç duymuyor, kuantum dirençli kabul ediliyor ancak ispat boyutları daha büyük. Çoğu ZkEVM ekibi, Ethereum ana ağındaki doğrulama maliyetinin sert sınır oluşturması nedeniyle şimdilik SNARK tabanlı çözümlerde konsolide olmuş durumda.
Ayrıca Oku: Trump Media, Crypto.com ile 6,42 Milyar Dolarlık Cronos Hazine Anlaşmasını İptal Etti
EVM’yi İspatlamanın Neden Bu Kadar Zor Olduğu
Ethereum Sanal Makinesi, 140’tan fazla opcode’a sahip yığıt tabanlı bir yürütme ortamı; gaz muhasebesi, karmaşık bellek düzeni ve on yıllık kullanımın biriktirdiği sayısız köşe durumuyla birlikte. Basit bir ADD’den ECRECOVER gibi kriptografik ön derlemelere kadar her opcode’un, ZK ispat sisteminin üzerinde çalışabileceği aritmetik kısıtlara dönüştürülebilir olması gerekiyor.
Ancak ZK ispat sistemleri çok dar bir matematik dili konuşuyor: Sonlu cisimler ve polinom denklemler. EVM ise bunlar hiç düşünülmeden tasarlandı. KECCAK256 gibi opcode’lar (Ethereum’un karma fonksiyonu) bit düzeyinde işlemler içerdiği için ZK devreleri açısından neredeyse en “düşmanca” fonksiyonlar; devasa ve pahalı kısıt kümelerine yol açıyorlar.
Bu uyumsuzluk, araştırmacıların “EVM uyumsuzluğu problemi” adını verdiği tabloyu yarattı. ZK dostu, özel bir ortam için yazılmış kodları çalıştıran, hızlı ve ucuz bir ZK rollup kurabilirdiniz. Ya da tam EVM desteği sağlamayı deneyip, ispat üretimini o kadar ağır ve yavaş hâle getirirdiniz ki ölçekleme amacını boşa çıkarırdı. ZkEVM mühendisliğinin temel zorluğu, bu ödünleşimi sıkıştırmak.
Tek bir KECCAK256 karması için ZK ispat üretmek, milyonlarca aritmetik kısıt gerektirebiliyor. Tipik bir Ethereum bloğu binlerce karma barındırdığı için, ZkEVM ispat üretimi ilk denemelerde saatler sürüyor ve bugün hâlâ özel donanım gerektiriyor.
Ayrıca Oku: Arthur Hayes, Fed Japonya’nın 1,373 Trilyon Dolarlık Hazine Havuzunu Açarsa Bitcoin Rallisi Bekliyor
Dört ZkEVM Türü ve Ne Anlama Geldikleri
Tüm ZkEVM’ler aynı değil. Ethereum araştırmacısı Vitalik Buterin, 2022’de artık sıkça atıf yapılan bir sınıflandırma paylaştı. Buna göre ZkEVM’ler, Ethereum yığınının hangi bileşenleriyle ne ölçüde uyumlu olduklarına göre dört tipe ayrılıyor. Bir ZkEVM projesini hızlıca değerlendirmek için bu tipleri anlamak kritik.
Tip 1, tamamen Ethereum’e denk (Ethereum-equivalent). Her şey — durum geçişi, blok yapısı, karma fonksiyonları — hiç değiştirilmeden ispatlanır. Mevcut Ethereum istemcileri bu sistemi yerel olarak senkronize edebilir; tüm araçlar kutudan çıktığı gibi çalışır. Bedeli, ispat üretiminin aşırı yavaş ve pahalı olmasıdır. Bugün üretimde Tip 1 seviyesinde çalışan bir ZkEVM yok; bazı ekipler bu hedefe doğru ilerliyor.
Tip 2, EVM’e denk (EVM-equivalent). Durum ağacında KECCAK yerine ZK dostu bir karma fonksiyonu kullanmak gibi bazı iç veri yapıları değiştirilebilir; ancak EVM bytecode uyumu tamdır. Akıllı sözleşmeler aynı davranışı sergiler, geliştirici tarafında fark hissedilmez. İspat üretimi Tip 1’e göre daha hızlı, ama hâlâ ağırdır. Scroll ve Polygon zkEVM’in ilk sürümleri bu aralığı hedefledi.
Tip 3, ek değişiklikler yaparak az sayıdaki uç özellikleri — bazı precompile’lar gibi — kırar. Mevcut sözleşmelerin neredeyse tamamı yine de çalışır. İspat üretimi kayda değer ölçüde ucuzlar. 2023–2024 döneminde ticari olarak devreye alınan ZkEVM’lerin çoğu, ilk sürümlerinde Tip 2 ile Tip 3 arasında konumlandı.
Tip 4 ise Solidity veya Vyper kaynak kodunu, EVM bytecode’unu doğrudan ispatlamak yerine, ZK dostu özel bir sanal makineye derler. En hızlı ve en ucuz model budur; fakat davranışta ince farklar yaratabilir ve bazı düşük seviye EVM numaraları çalışmayabilir. zkSync Era, özel LLVM tabanlı derleyicisiyle bu yaklaşımı kullanıyor.
Bu sınıflandırma, özellikle inşa edenler için önemli. Ethereum ana ağından, yoğun test edilmiş bir DeFi protokolünü taşımak isteyenler, davranış eşitliğini korumak için Tip 2 veya Tip 3’e ihtiyaç duyar. Sıfırdan başlayan projeler ise daha düşük ispat maliyeti ve daha hızlı kesinlik karşılığında Tip 4’ü gönül rahatlığıyla tercih edebilir.
Ayrıca Oku: Anthropic, Bir Bitcoin Madencisinden Teksas’ta 191 Megawatt Güç Kapasitesi Kiraladı
ZkEVM Bir İşlemi Gerçekte Nasıl İşler?
Tek bir işlemin uçtan uca yolculuğunu izlemek, mimariyi somutlaştırıyor. Bir kullanıcı ZkEVM ağına işlem gönderdiğinde süreç şöyle ilerliyor:
İlk olarak işlem, sequencer adı verilen ve işlemleri sıralayıp paketleyen node’a ulaşıyor. Sequencer, işlemleri yürütüyor, Layer 2 durumunu güncelliyor ve kullanıcıya anında bir “yumuşak onay” sağlıyor. Bu aşamada cüzdan bakiyesi değişmiş görünüyor ancak işlem henüz Ethereum üzerinde kriptografik olarak kesinleşmiş değil.
İkinci adımda, bu işlem paketi prover’a, yani ZK ispat algoritmasını çalıştıran özel yazılım (veya donanım) bileşenine geçiyor. Prover; yürütme öncesi durumu, tüm işlemleri ve yürütme sonrası durumu alarak, durum geçişinin doğru hesaplandığını teyit eden bir geçerlilik ispatı üretiyor. Bu adım yoğun hesaplama gerektiriyor; mimariye bağlı olarak saniyelerle dakikalar arasında sürebiliyor.
Üçüncü adımda ise ispat ve az miktarda sıkıştırılmış işlem verisi, doğrulayıcı sözleşme (verifier contract) denilen bir Ethereum akıllı sözleşmesine gönderiliyor.
Bu sözleşme, on-chain tek bir çağrıda ispatı doğruluyor; pakette kaç işlem olduğundan bağımsız olarak sabit miktarda gaz yakıyor. Doğrulama tamamlandığında, Layer 2 durum kökü Ethereum üzerinde kesinleşmiş sayılıyor ve güvenlik seviyesi ana ağ işlemleriyle aynı hâle geliyor.
Ayrıca Oku: XRP ETF’si Kanada Ulusal Bankası’nın 111 Bin Dolarlık Kripto Fonunda Ortaya Çıktı
Modüler ZkEVM ve Zincirler Arası Birlikte Çalışabilirlik
İlk ZkEVM tasarımları, tek bir mutabakat ve yerleşim katmanını — Ethereum’u — esas alıyordu. Her şey orada ispatlanıyor, her şey orada kesinleşiyordu. Yeni dalgada ise modüler ZkEVM mimarisi; yürütme, ispat ve yerleşim katmanlarını birbirinden ayırarak, bunların bağımsızca birleştirilebilmesine olanak tanıyor.
Tam bu noktada Prom gibi projeler devreye giriyor.
Prom, hem EVM hem de EVM dışı zincirler arasında birlikte çalışabilirliği mümkün kılan modüler bir ZkEVM Layer 2 olarak kendini konumlandırıyor. Yalnızca Ethereum’a ispat göndermek ve orada kesinleştirmek yerine, aynı ispatı eşzamanlı olarak birden fazla zincire iletiyor; daha önce güvene dayalı olmayan hiçbir köprüsü bulunmayan ekosistemler arasında matematiksel bir bağ kuruyor.
Modüler yaklaşımın önemi, Ethereum’un tek geçerli yerleşim zemini olduğu varsayımını ortadan kaldırmasından geliyor.
ZkEVM ispatı nihayetinde saf matematik. Zincir A ve Zincir B, bu matematiği doğrulayabilecek bir doğrulayıcı sözleşmeye sahipse, tek bir ispatla her iki zincirdeki durum geçişi aynı anda kesinleştirilebilir. Böylece ZK ispatları, yalnızca bir ölçekleme metodu değil, evrensel bir birlikte çalışabilirlik primi hâline geliyor.
Modüler ZkEVM mimarileri, yürütmeyi yerleşimden ayırarak aynı geçerlilik ispatının Ethereum’da, bir EVM dışı zincirde veya her ikisinde birden doğrulanabilmesini sağlıyor; aksi hâlde uyumsuz olacak ekosistemler üzerinde ortak bir kriptografik hakikat zemini inşa ediyor.
Ayrıca Oku: TRON, 2,1 Trilyon Dolarlık USDT İşlemini Taşıdı Ancak DeFi Havuzu Küçüldü 1.9%
ZkEVM ve Optimistic Rollup’lar Yan Yana
ZkEVM ile optimistic rollup’ların karşılaştırılması kripto piyasasında sürekli gündeme geliyor; haklı sebeplerle, çünkü aynı soruna taban tabana zıt yaklaşımlarla çözüm getirmeye çalışıyorlar.
Optimistic rollup’lar, işlemleri baştan “geçerli” kabul ediyor ve yalnızca biri itiraz edip fraud proof (dolandırıcılık kanıtı) ile itiraz süresi içinde (genellikle yedi gün) şikâyet ederse ayrıntılı doğrulama yapıyor. Bu yaklaşım, işletme maliyetlerini düşürüyor ve geliştirmeyi kolaylaştırıyor; ancak Ethereum ana ağa para çekmek için, bir likidite köprüsü kullanmıyorsanız, yaklaşık bir haftalık bekleme süresi anlamına geliyor. Arbitrum ve Optimism bugün ekosistemdeki en büyük optimistic rollup ağları konumunda.
ZkEVM rollup’lar ise tam tersine hiçbir varsayımda bulunmuyor. Her toplu işlem (batch), kriptografik kanıt aksini ispatlayana kadar “geçersiz” kabul ediliyor. Bu da ispat tarafında daha yüksek hesaplama yükü getiriyor; buna karşılık, fon çekimleri Ethereum üzerinde günler değil saatler içinde kesinleşebiliyor ve sahtekârlığı yakalaması gereken “dürüst izleyicilere” güvenme zorunluluğu ortadan kalkıyor.
Kullanıcı açısından pratik farklar şu başlıklarda toplanıyor:
- Para çekme süresi: ZkEVM bu alanda net şekilde önde. Kanıt temelli finalite ile para çekme saatler içinde tamamlanırken, yerel optimistic rollup para çekimleri için yedi günlük bekleme gerekiyor.
- İşlem maliyeti: Bugün itibarıyla birçok senaryoda optimistic rollup’lar daha ucuz; çünkü ZK kanıtlarının üretilmesi ek maliyet yaratıyor. Ancak, ispat donanımı ve algoritmalar geliştikçe bu fark hızla kapanıyor.
- Güvenlik modeli: ZkEVM, kriptografik geçerlilik garantileri sunuyor. Optimistic rollup’lar ise fraud proof’lar üzerinden ekonomik güvenlik sağlıyor; güçlü bir model, ancak matematiksel olarak eşdeğer değil.
- EVM uyumluluğu: Modern ZkEVM çözümleri (Tip 2/3), EVM uyumluluğundaki farkı büyük ölçüde kapattı ve artık Ethereum araç ekosisteminin neredeyse tamamını destekleyebiliyor. Bu da geçmişte optimistic rollup’ların en büyük avantajı sayılan alanı nötrleştirmiş durumda.
- Canlılık (liveness) riski: ZkEVM sistemleri, prover katmanı durursa bloke olabilir. Optimistic rollup’lar ise sequencer çalıştığı sürece blok üretmeye devam eder.
Bu yaklaşımlardan hiçbiri her senaryo için “mutlak en iyi” değil. İşlem hacmi yüksek, maliyete aşırı duyarlı ve bir haftalık çekim penceresine tahammül edebilen uygulamalar, ağırlıklı olarak optimistic rollup’lara yöneliyor. Hızlı finalite, zincirler arası yerleşim (settlement) veya matematiksel doğruluk garantisi isteyen uygulamalar ise ZkEVM tarafını tercih ediyor.
Ayrıca Oku: CoreWeave Hissesi, Yapay Zekâ Patlamasıyla Q2 Geliri İkiye Katlanınca %11 Fırladı
ZkEVM’den Bugün Kim Gerçekten Fayda Sağlıyor?
ZkEVM hâlâ laboratuvarlarda bekleyen bir gelecek teknolojisi değil. Birden fazla ZkEVM ağı canlı, anlamlı miktarda kilitli değere sahip ve kullanıcılar gerçek ücretler ödüyor. Yine de, yığının (stack) her katmanında kimlerin ne kazandığını anlamakta fayda var.
DeFi protokolleri, Ethereum ana ağından taşınırken neredeyse bire bir aynı yürütme kurallarına (Tip 2/3) ve dramatik biçimde düşen gas maliyetlerine kavuşuyor. Ana ağda tek bir takas için 30 dolarlık gas yüzünden perakende kullanıcıyı dışarıda bırakan bir protokol, ZkEVM üzerinde akıllı sözleşmelerini yeniden yazmadan kuruş altı maliyetlerle işlem sunabiliyor.
Köprüler ve zincirler arası uygulamalar, birden fazla zincire kanıt gönderebilen modüler ZkEVM mimarilerinden faydalanıyor. Kullanıcılar, kriptonun en çok saldırıya uğrayan kategorisi olan multisig köprülere güvenmek yerine, zincir üzerinde doğrulanan matematiksel kanıtlara dayanabiliyor.
Kurumsal şirketler ve finansal kurumlar, izinli veya yarı izinli uygulamalar geliştirirken, kriptografik olarak denetlenebilir bir yürütme ortamı elde ediyor. Her durum geçişinin (state transition) ispatlanabilir biçimde doğru olması, uyum (compliance) ve muhasebe açısından kritik önem taşıyor.
Geliştiriciler, bugün yeni bir proje başlatırken Tip 4 ile Tip 2 arasındaki ödünleşimi iyi anlamalı. Baştan Solidity yazıyor ve mümkün olan en hızlı ispat süresi ile en düşük ücretleri hedefliyorsanız, Tip 4 bir ağ size daha uygun olabilir. Hâlihazırda çalışan bir protokolü taşıyor ve davranışsal farklılık riskini minimize etmek istiyorsanız, Tip 2 veya Tip 3 bir ağ çok daha güvenli bir tercih.
Son kullanıcı cephesinde ZkEVM deneyimi, temelde ucuz ve hızlı, Ethereum uyumlu bir zincir hissi yaratıyor: Mevcut cüzdanlar çalışıyor, eldeki token’lar köprülenebiliyor. Alt taraftaki ağır kriptografik altyapı ise büyük ölçüde görünmez kalıyor; altyapının “iyi” olduğunun işareti tam da bu.
Ayrıca Oku: Monad TVL’de 868 Milyon Dolar Rekora Koştu, Ancak MON Talebi Zayıf
Sonuç
ZkEVM, uygulamalı kriptografinin en zor “yakınsama” problemlerinden biri: Matematiksel yapısı olmadan tasarlanmış bir sanal makineyi alıp, sıfır bilgi kanıtlarının dilini konuşmaya zorlamak.
Bu sorunu çözen ekipler, yıllar boyunca hash fonksiyonu uyumsuzluklarıyla, kısıt (constraint) patlamasıyla ve teorik olarak tasarlanmış ama pratikte henüz var olmayan prover donanımıyla boğuştular.
Alan hâlâ son derece hızlı evriliyor. Kanıt üretim süreleri sürekli kısalıyor. Merkeziyetsiz prover ağları devreye giriyor. Tam Ethereum eşdeğeri Tip 1 ZkEVM hedefi ise, birden fazla takımın adım adım yaklaştığı bir dönüm noktası olarak masada duruyor.
Ethereum ekosistemine inşa eden ya da bu alana sermaye ayıran herkes için, ZkEVM’in gerçekten nasıl çalıştığını — sadece pazarlama sloganlarının ötesinde — anlamak, bundan sonraki tüm stratejik kararların temelini oluşturuyor.
Sıradaki Haber: Nvidia’nın 500 Milyar Dolarlık Yapay Zekâ Finansman Hamlesi, Kripto Hesaplama Token’larını Radarına Alıyor
