Bu makale bir topluluk sunumudur. Yazar, sıfır bilgi kanıtı teknolojisiyle desteklenen programlanabilir gizlilik Katman 1 protokolü olan Manta Network'ün kurucu ortağı Kenny Li'dir.
Bu makaledeki görüşler katkıda bulunan kişiye/yazara aittir ve Binance Akademi'nin görüşlerini yansıtmayabilir.
TL;DR
Sıfır bilgili Ethereum Sanal Makinesi (zkEVM), akıllı sözleşmeleri sıfır bilgi kanıtı (ZKP) teknolojisiyle uyumlu bir şekilde yürütebilen bir Ethereum durum makinesidir.
zkEVM'ler, merkezi olmayan uygulamaları (DApp'ler) desteklemek için Ethereum'daki sıfır bilgi toplamalarının (zk-rollups) yeteneklerini genişletir.
zkEVM'ler, Ethereum ekosistemini geliştirmek için ZKP'leri kullanarak hem mevcut hem de yeni Ethereum projelerinin dağıtılmasını kolaylaştırır.
giriiş
Orijinal Ethereum geliştiricileri, 2014 yılında ağı ilk önerdiklerinde ZKP teknolojisini dikkate almamışlardı. Ancak son yıllarda ZKP dikkat çekti ve blockchain alanında çok daha belirgin bir rol oynaması bekleniyor. Hal böyle olunca ZKP teknolojisi ile Ethereum'un sanal makinesini birleştirme çabaları yoğunlaştı.
Bir zkEVM'nin ne olduğunu anlamak için önce onun altında yatan iki kavramı kısaca gözden geçirelim: zk-rollups ve EVM.
Zk-Toplamaları Nedir?
Toplama, ana zincirin dışındaki çok sayıda işlem yürütmesini derleyen ve verileri tek bir işlem olarak ana ağa geri gönderen bir ölçeklendirme çözümüdür. Bu süreç, bu işlemleri yürütme maliyetini azaltırken verimi artırır.
Ethereum'da, bir toplama içindeki işlemler sıkıştırılır ve tek bir işlemin doğrulanması maliyeti karşılığında Ethereum ana ağına gönderilir. Ethereum ana ağı uzlaşmayı sağlar ve toplamada yer alan işlem verilerini doğrular.
Zk-rollup, bir bilgi parçasının geçerliliğinin, bilginin kendisini ifşa etmeden doğrulanmasına olanak tanıyan bir şifreleme teknolojisi olan ZKP teknolojisini kullanan bir toplama türüdür. zk-rollup'ların tüm işlem verilerini Ethereum ana ağında yayınlamasına gerek yoktur; yalnızca durum farklılıklarına (kullanıcı hesabı durumundaki değişiklikler gibi) ve geçerlilik kanıtına ihtiyaç duyarlar, bu da süreçteki gaz ücretlerini düşürür.
Zk-rollup'ların güvenliği, kanıtı doğrulamak ve güvenilmezliğe ulaşmak için kriptografik araçların kullanıldığı ZKP şifrelemesinden gelir. Bu, güvenliği ekonomik oyun teorisinden gelen, kötü aktörlerin potansiyel kayıplar nedeniyle caydırıldığı ve meydan okuyanların teşviklerle motive edildiği iyimser toplamalar gibi diğer toplamalardan farklıdır.
EVM Nedir?
EVM, Ethereum hesap sisteminin ve akıllı sözleşmelerin çalıştığı bir durum makinesidir. Her akıllı sözleşme uygulaması, EVM'nin eski bir durumdan yeni bir duruma geçişini tetikler. EVM, bir bloktan diğerine yeni ve geçerli durumların hesaplanmasına yönelik kuralı tanımlar.
Devlet, Ethereum'da önemli bir kavramdır. Bu, Ethereum'un mevcut durumunu temsil eden ve herkesin mevcut bloktan başlangıç bloğuna kadar işlem bilgilerini izlemesine olanak tanıyan bir Merkle Patricia Trie veri yapısıdır.
Ethereum'un bakımında yer alan tüm düğümler, sürekliliği ve fikir birliğini sağlamak için mevcuttur, bu da her düğümün tam mevcut durumu görmesine olanak tanır. EVM bu tutarlılığın korunmasında kritik bir rol oynamaktadır.
ZkEVM Nasıl Çalışır?
EVM, varsayılan olarak ZKP'leri desteklemez. zkEVM, tüm bilgilerin doğru olduğuna dair kanıt sunarken Ethereum durumunun sürekliliğini sağlamayı amaçlamaktadır. Bu şekilde, güvenlik ve gizlilik korunurken, bu süreçlerin hesaplanmasında yer alan çeşitli faktörler doğrulanır.
zkEVM bunu Ethereum ortamını zk-rollup'lar olarak kopyalayarak yapar. Başlangıç durumunu alır, tüm işlemleri hesaplar, ardından ZKP ile birlikte yeni, güncellenmiş bir durumun çıktısını verir. Bu kanıt, tüm işlemleri tek tek doğrulamak zorunda kalmadan hem başlangıç hem de yeni durumun çıktısının doğruluğunu kontrol eden bir doğrulayıcı akıllı sözleşmesine gönderilir.
ZkEVM'ler EVM'yi temel aldığından geliştiriciler, ZKP geliştirme çalışması yapmak zorunda kalmadan Ethereum DApp'lerini ve akıllı sözleşmeleri zkEVM'lere kolayca taşıyabilir. Başka bir deyişle zkEVM'ler, daha önce zkEVM'ler olmadan desteklenen token takaslarına ve ödemelere ek olarak zk-rollup'ların akıllı sözleşmeler yürütmesine olanak tanır.
EVM'nin uyumluluk özelliği nedeniyle geliştiriciler, zkEVM ile gelen gelişmiş güvenliğin keyfini çıkarırken mevcut EVM araçlarını ve programlama dili Solidity'yi kullanarak yeni ürünler geliştirebilirler. Aynı avantajlar kullanıcılar için de geçerlidir; aynı DApp'leri ve tanıdık araçları daha fazla güvenlik ve gizlilikle kullanmaya devam edebilirler.
EVM Uyumluluğu ve EVM Eşdeğerliği
Bir blockchain EVM uyumlu olarak adlandırıldığında, bu onun Solidity programlama dilinde yazılmış DApp'leri dağıtabilecek bir ortam sunduğu anlamına gelir. Solidity, Ethereum ağında çalışan akıllı sözleşmeler geliştirmek için tasarlanmıştır.
Aslında, Ethereum geliştiricileri mevcut DApp'lerin kodunu Ethereum'dan kopyalayıp yapıştırabilir ve minimum değişiklikle diğer EVM uyumlu zincirlere dağıtabilir. Kullanıcılar için EVM uyumlu herhangi bir zincir adresi, Ethereum adresleriyle aynıdır.
Bu, adreslerin Metamask ve Trust Wallet gibi ana akım cüzdanlarla uyumlu olduğu anlamına gelir. Şu anda başlıca EVM uyumlu zincirler arasında BNB Chain, Avalanche C-Chain ve Polygon yer alıyor.
EVM uyumluluğu EVM eşdeğerliği ile karıştırılmamalıdır; bu, DApp geliştiricisi açısından bakıldığında Katman 2 toplamalarının Katman 1 Ethereum ile neredeyse aynı olduğu anlamına gelir.
Bir işletim sistemi benzetmesi kullanmak gerekirse, EVM eşdeğerliği, kullanıcının önceki bilgisayarı ve yeni bilgisayarının her ikisi de Apple'ın işletim sisteminde çalışıyorsa, dosyaları ve ayarları Apple Cloud aracılığıyla geri yüklemeye benzer.
Buna karşılık, EVM uyumluluğu, yeni bir bilgisayarın Windows sistemine geçmesi durumunda, orijinal dosyaların bulut depolama yoluyla indirilmesi ve tercih edilen ayarların ve eski dosyaların kurtarılması için dönüştürülmesi gerektiği anlamına gelir.
Farklı ZkEVM Türleri
ZKP'leri doğrudan EVM kullanarak oluşturmak ve doğrulamak son derece yavaştır çünkü Ethereum başlangıçta ZKP teknolojisini destekleyecek şekilde tasarlanmamıştır. Bazı durumlarda birkaç saate kadar sürebilir. Ancak EVM uyumluluğu ile ZKP verimliliği arasında bir denge kurmak zorunludur.
Ethereum kurucusu Vitalik Buterin zkEVM'leri aşağıdaki dört türe ayırdı. Blockchain üçlemine benzer şekilde, her birinin ZKP performans verimliliği ile EVM uyumluluğu arasında farklı değiş-tokuşları var.
Tip 1: Mutabakat düzeyinde denklik — Ethereum'a tamamen eşdeğer olan zkEVM
Konsensüs düzeyinde, aynı zamanda kutsal toplama olarak da bilinen Tip 1 zkEVM, Ethereum'a eşdeğerdir ve zkEVM zincir durumu ve işlemleri, Ethereum'unkilerle aynıdır. Blokları karşılıklı olarak doğrulayabilirler ve doğrudan Ethereum yürütme istemcileriyle kullanılabilirler.
Tip 1 zkEVM'ler Ethereum'un kendisini daha ölçeklenebilir hale getirir ve doğrudan Ethereum ana ağına dahil edilebilir. Dezavantajı ise ZKP verimliliğinin son derece zayıf olması ve doğrulamak için büyük miktarda hesaplama gerektirmesidir. Çözüm, gelecekte zk-SNARK'lar için büyük ölçekli paralel doğrulayıcılar veya özel entegre devreler kullanmaktır.
Yüksek ZK verimliliğine sahip Tip 1 zkEVM'ler, zkEVM'nin en ideal şekli olacaktır. Şu anda bu tür zkEVM'yi inşa eden veya araştıran birçok proje var.
Tip 2: Bayt kodu düzeyinde eşdeğerlik — tamamen EVM'ye eşdeğer
Tip 2, EVM'ye tamamen eşdeğerdir ancak Ethereum'a eşdeğer değildir. Veri yapıları (blok yapısı ve durum ağacı gibi) açısından Ethereum'dan farklılık gösterir ve ZK dostu olmayan bazı yığın işlemlerini siler.
Ethereum'un mevcut DApp'leri, hata ayıklama araçları ve geliştirici altyapısıyla tamamen uyumludur. Bayt kodu düzeyindeki eşdeğerlik, önemli ölçüde olmasa da kanıtlayıcı sürelerini hızlandırabilir. Tip 2'nin açık bir dezavantajı pahalı olması, ZK ile sinerji oluşturmaması, düşük ve pahalı verimliliğe sahip olmasıdır.
Tip 2.5: Tip 2'ye benzer ancak gaz ücretlerinde değişiklikler vardır
Tip 2.5, Tip 2'nin avantajlarını ve dezavantajlarını paylaşır ancak gaz ücretleri biraz daha düşüktür.
Tip 3: Bayt kodu düzeyinde eşdeğerlik — neredeyse EVM'ye eşdeğer
Tip 2'yi temel alan Tip 3, gelişmiş ZK verimliliği için uyumluluktan daha fazla ödün verir. Ön derlemeler gibi zkEVM'de uygulanması zor olan işlevleri siler, dolayısıyla DApp'lerde kullanılan ve bu işlevi gerektiren bazı kodlamaların yeniden yazılması gerekir.
Tip 4: Geliştirme dili düzeyinde denklik — EVM'ye yüksek düzeyli dil eşdeğeri
Tip 4 EVM'ler en yüksek ZK performansına sahiptir ancak nispeten düşük düzeyde uyumluluğa sahiptir.
Kapanış Düşünceleri
zkEVM uygulamasının temel amacı, ZKP hesaplama desteğini akıllı sözleşme yürütmeye kadar genişletmek ve bunu yaparken DApp'leri tüm EVM uyumlu protokollere genişletmektir. Ancak ZKP'lerin uygulamaları burada bitmiyor.
ZKP teknolojisi potansiyel olarak Web2 kullanım durumlarıyla uyumlu olabilir. Çeşitli Web2 kullanım durumlarını ZKP ile birleştirmek, Web3 uygulamalarını daha sorunsuz ve daha kullanıcı dostu hale getirebilir. Ayrıca, geleneksel İnternet tarayıcılarına zaten alışkın olan kullanıcılara Web3'e erişim olanağı tanıyacak ve dolayısıyla Web3'ün benimsenmesini teşvik edecektir.
Daha fazla okuma
Sorumluluk Reddi ve Risk Uyarısı: Bu içerik size herhangi bir beyan veya garanti olmaksızın yalnızca genel bilgi ve eğitim amaçlı "olduğu gibi" sunulmaktadır. Mali, hukuki veya diğer mesleki tavsiyeler olarak yorumlanmamalı veya herhangi bir belirli ürün veya hizmetin satın alınmasını tavsiye etme amacı taşımamalıdır. Uygun profesyonel danışmanlardan kendi tavsiyelerinizi almalısınız. Makaleye üçüncü taraf katkıda bulunan bir kişi tarafından katkıda bulunulduğu durumlarda, ifade edilen görüşlerin üçüncü taraf katkıda bulunan kişiye ait olduğunu ve mutlaka Binance Akademi'nin görüşlerini yansıtmadığını lütfen unutmayın. Daha fazla ayrıntı için lütfen sorumluluk reddi beyanımızın tamamını buradan okuyun. Dijital varlık fiyatları değişken olabilir. Yatırımınızın değeri düşebilir veya artabilir ve yatırdığınız tutarı geri alamayabilirsiniz. Yatırım kararlarınızdan yalnızca siz sorumlusunuz ve Binance Akademi, maruz kalabileceğiniz hiçbir kayıptan sorumlu değildir. Bu materyal mali, hukuki veya diğer profesyonel tavsiyeler olarak yorumlanmamalıdır. Daha fazla bilgi için Kullanım Koşullarımıza ve Risk Uyarımıza bakın.
