zkEVM nedir? Ethereum Ölçeklendirmesi 2022 için zkEVM'nin Önemi

zkEVM nedir? Ethereum Ölçeklendirmesi için zkEVM'nin Önemi

Dünyanın bilgisayarı. Makine durdurulamaz. Ethereum'un Kalbi. Ethereum Sanal Makinesi (EVM), Ethereum ağı için önemini vurgulayan birçok isimle anılmaktadır. Bu onu yalnızca Bitcoin gibi bir 'dağıtılmış defter' değil, aynı zamanda bir 'dağıtılmış durum makinesi' yapan temel özelliktir. EVM, geliştiricilerin Solidity adlı bir programlama dilini kullanarak akıllı sözleşmeler oluşturmasına olanak tanır. Akıllı sözleşmelerin yaygın bir uygulaması, token üretimini ve değişimini yönetmektir. Birçok uygulama ve protokol, kullanıcıları hedefleri açısından önemli olan eylemler için ödüllendirmek amacıyla jetonlar kullanır. EVM olmasaydı bu mümkün olmazdı, bu nedenle Ethereum'u meşhur eden bir teknoloji olan EVM sanal makinesi, Ethereum ağında akıllı sözleşmelerin yürütülmesine yardımcı olur. Peki ya zkEVM? EVM sanal makinesi kadar önemli mi?

zkEVM nedir?

zkEVM (sıfır bilgi Ethereum Sanal Makinesi), programdaki giriş ve çıkışların geçerliliği de dahil olmak üzere programların yürütülmesinin doğruluğunu doğrulamak için sıfır bilgi kanıtlarını veya ZKP'yi destekleyen bir sanal makinedir.

Basitçe söylemek gerekirse zkEVM, sıfır bilgi (zk) teknolojisini destekleyen akıllı sözleşmeleri yürütmek üzere tasarlanmıştır.

zkEVM'nin önemi

Öncelikle zk teknolojisinin önemini gözden geçirelim. ZKP (sıfır bilgi kanıtları), kullanıcıların kişisel bilgiler, ticari sırlar, özel veriler gibi mahremiyetlerini korumaları için daha fazla bilgi açıklamaya gerek kalmadan bir durumun doğru olduğunu kanıtlamanın bir yoludur… Özellikle Web3 alanında gizlilik vazgeçilmezdir. Örneğin, zk sayesinde kişisel bilgileriniz çalınmadan web'i kullanabilir veya akıllı sözleşmeleri etkinleştirmek için özel verileri girdi olarak kullanabilirsiniz.

zkEVM, zk-Rollup teknolojisinin ölçeklenebilirliği, geçerliliği, düşük maliyeti, sermaye verimliliği ve zk teknolojisinin gizlilik özelliklerinden yararlanarak Ethereum'un kaynaklarından yararlanır:

  • Katman 2 ile zk-Rollup başlangıçta akıllı sözleşmeleri yürütemiyordu, yalnızca basit takasları veya ödemeleri gerçekleştirebiliyordu. Ancak zkEVM'nin gelişiyle birlikte zk-Rollup akıllı sözleşmeleri destekliyor ve geliştiricilerin tanıdık Solidity diliyle dApp'ler geliştirmesini kolaylaştırıyor.
  • Mina gibi zk teknolojisini kullanan Layer 1 ile zkEVM, durum kanıtını doğrudan Ethereum üzerinde kanıtlanabilir hale getirir ve böylece Mina ile zk ve Ethereum teknolojisi arasında bir köprü açar.

zkEVM, zk teknolojisinin gelişiminde belirleyici bir faktör mü? cevap hayır. Örneğin, StarkNet gibi EVM olmayan bazı projeler, Solidity dilini Kahire'ye derlemek için Warp'ı kullanıyor veya Polygon Miden, MidenVM sanal makinesini kullanıyor.

Peki neden başka bir sanal makine değil de zkEVM? Yukarıda belirtildiği gibi, Ethereum'un aşağıdaki gibi kaynaklarından yararlanmaya yardımcı olan şey zkEVM'dir:

  • Truffle, Hardhat ve Foundry gibi geliştiricilerin tanıdık araçları
  • Yerleşik güvenlik en iyi uygulamaları
  • OpenZeppelin aracılığıyla mevcut modüler akıllı sözleşmeleri devreye alın
  • Birçok denetim firmasının EVM konusunda uzmanlığı bulunmaktadır.
  • En büyük Web3 geliştirici topluluğu
  • Kullanıcılar, Etherscan, metamask cüzdanı vb. gibi EVM tabanlı blockchain yardımcı programlarına aşinadır.

zkEVM, Ethereum ölçeklendirme çözümüne güç sağlar. Bildiğimiz gibi zk-Rollup'ın, 2000TPS'ye kadar ölçeklenebilirlik (4x Optimistic-Rollup), doğrulama kanıtı, düşük ücretler, verimli sermaye (yalnızca L10'e para çekmek için ~1 dakika, Optimist'te ise 1 hafta). zkEVM, zk-Rollup ölçeklendirme çözümünü EVM uyumluluğu yoluyla yükselterek geliştiricilerin Ethereum'daki kaynaklardan yararlanmasını kolaylaştırır.

zkEVM nasıl çalışır?

zkEVM'nin nasıl çalıştığını anlamak için öncelikle EVM'nin bugün nasıl çalıştığını gözden geçirelim.

EVM sanal makinesi nasıl çalışır?

Sanal makineler depolama, bellek ve CPU özellikleriyle fiziksel makineye benzer şekilde çalışır ancak tamamen kod olarak çalışırlar.

  • Sözleşme bayt kodu (kaynak kodundan derlenen), EVM'nin deposundan yüklenir ve EVM'deki eş düğümler tarafından yürütülür. Düğümler aynı girdileri kullanır, bu da her düğümün aynı sonuca ulaşmasını sağlar (aksi takdirde bir fikir birliğine varamazlar).
  • EVM Opcode'ları (bayt koduna dahil) okuma-yazma işlemlerini gerçekleştirir, yani durum deposundan değerleri okur ve EVM'nin belleğine yeni değerler yazar.
  • EVM işlem kodları, yeni değerleri döndürmeden önce durum deposundan elde edilen değerlerin hesaplamalarını gerçekleştirir. Bu güncelleme, EVM'nin yeni duruma geçmesiyle sonuçlanır (işlemlere bu nedenle "durum geçişleri" adı verilir). Bu yeni durum diğer düğümler tarafından kopyalanır ve başka bir işlem gerçekleştirilene kadar korunur.

zkEVM nasıl çalışır?

EVM gibi zkEVM de programın yürütülmesinden sonra durumlar arasında geçiş yapan bir sanal makinedir. Ancak zkEVM, her hesaplamadaki farklı faktörleri doğrulayan sıfır bilgi kanıtları (ZKP'ler) üreterek daha da ileri gider:

  1. Bayt Kodu Erişimi: Uygun program kodu doğru adresten düzgün şekilde yüklendi mi?

2. Okuma ve yazma işlemleri:

  • Program, hesaplamadan önce eşleşen değerleri yığın/bellek/depolamadan (yığın/bellek/depolama) alıyor mu?
  • Program, yürütmeyi tamamladıktan sonra yığına/belleğe/depolamaya (yığın/bellek/depolama) doğru çıktı değerlerini yazıyor mu?

3. Hesaplama: İşlem kodları doğru şekilde yürütülüyor mu?

Mimari zkEVM

ZkEVM üç bölüme ayrılmıştır: bir yürütme ortamı, bir kanıtlama devresi ve bir doğrulama sözleşmesi. Her bileşen zkEVM'nin program yürütmesine, kanıt oluşturmasına ve kanıt doğrulamasına katkıda bulunur.

Yürütme ortamı

Yürütme ortamı, programların (akıllı sözleşmeler) zkEVM'de çalıştırıldığı yerdir. zkEVM'nin yürütme ortamı bir EVM gibi çalışır: yeni (diğer bir deyişle son) durumu oluşturmak için başlangıç ​​durumunu ve mevcut işlemi alır.

Devre kanıtı

Kanıt devresi, yürütme ortamında hesaplanan işlemlerin geçerliliğini doğrulayan sıfır bilgi kanıtları (ZKP'ler) üretir.

Kanıt oluşturma, (1) durum öncesi, (2) işlem girdisi ve (3) durum sonrası bilgiden oluşan girdi verileri kullanılarak tamamlanır.

Doğrulayıcı daha sonra söz konusu durum geçişinin geçerliliğine ilişkin kısa bir kanıt elde eder.

Doğrulayıcı sözleşmesi

ZK toplamaları, doğrulama için L1 (Ethereum) zincirinde konuşlandırılan akıllı bir sözleşmeye geçerli kanıt sunar.

Doğrulayıcı sözleşmesine girdi (önceki durum ve işlem bilgileri) ve çıktı (son durum) da sunulur.

Doğrulayıcı daha sonra sağlanan kanıt üzerinde hesaplamalar yapar ve gönderilen çıktıların girdilerden doğru şekilde hesaplandığını doğrular.

zkEVM işlem kodları nelerdir?

zkEVM işlem kodları, EVM uyumlu bir zk-Rollup'taki programları yürütmek için kullanılan düşük seviyeli makine talimatlarıdır.

ZkEVM işlem kodlarına ihtiyacımız var çünkü geleneksel EVM işlem kodları sıfır bilgi korumalı devrelerde kullanım açısından verimli değildir. Genel olarak zkEVM işlem kodlarını oluşturmaya yönelik iki yaklaşım vardır:

Orijinal EVM işlem kodları için ZK Devreleri Oluşturma

Bu yaklaşım, zkEVM'yi EVM'ye eşdeğer bayt kodu düzeyinde uyumlu hale getirir. Bu, geliştiricilerin mevcut bir blockchain geliştirici aracını kullanarak akıllı sözleşmeler oluşturabileceği veya mevcut Ethereum sözleşmelerini çok fazla değişiklik yapmadan ZK toplamalarına taşıyabileceği anlamına gelir. Ancak oldukça karmaşık ve zaman alıcı bir teknik çalışmadır.

ZK kanıt hesaplaması için yeni bir dil oluşturun

Bu yaklaşım, doğrulayıcıları desteklemek için tasarlanmış yeni bir dil oluşturmayı ve özel işlem kodları geliştirmeyi gerektiriyordu. Geliştiricilerin ya sözleşmeleri doğrudan yeni dilde yazmaları ya da Solidity kaynak kodunu özel zkEVM işlem kodlarında derlemeleri gerekecek.

Bu yöntemin uygulanması genellikle ilk yaklaşıma göre daha basit olmasına rağmen sınırlamaları vardır. Örneğin geliştiriciler mevcut Ethereum altyapısına ve kaynaklarına erişemeyebilir.

Karar

zkEVM, geliştiricilerin tanıdık sağlamlık dilini kullanarak dApp'lerini zk teknoloji platformu üzerinde oluşturmalarına/entegre etmelerine yardımcı olan en önemli faktörlerden biridir.

Özellikle zk-Rollup ile zkEVM, zk-Rollup teknolojisinin ölçeklenebilirliği, geçerliliği, düşük maliyeti ve sermaye verimliliği ile zk teknolojisinin gizliliğine geri dönüş taşıma kapasitesi avantajlarından yararlanarak geliştiricilerin Ethereum'un kaynaklarından tam olarak yararlanmasına yardımcı olur. zkEVM oluşturma çabası başarılı olursa, Ethereum ekosistemi kesinlikle diğer alternatif L1'lere göre rekabet üstünlüğünü korumaya devam edecektir.

zkSync'in ana ağa, Scroll'a ve Polygon'a doğru yol almasıyla zkEVM alanı önümüzdeki aylarda ısınacak gibi görünüyor. zkEVM test ağını çalıştırıyor.

YASAL UYARI: Bu web sitesindeki bilgiler genel piyasa yorumu olarak verilmiştir ve yatırım tavsiyesi değildir. Yatırım yapmadan önce kendi araştırmanızı yapmanızı öneririz.

Haberleri takip etmek için CoinCu Telegram'a katılın: https://t.me/coincunews

CoinCu Youtube Kanalını Takip Edin | CoinCu Facebook sayfasını takip edin

Lucian

CoinCu Haberleri

zkEVM nedir? Ethereum Ölçeklendirmesi 2022 için zkEVM'nin Önemi

zkEVM nedir? Ethereum Ölçeklendirmesi için zkEVM'nin Önemi

Dünyanın bilgisayarı. Makine durdurulamaz. Ethereum'un Kalbi. Ethereum Sanal Makinesi (EVM), Ethereum ağı için önemini vurgulayan birçok isimle anılmaktadır. Bu onu yalnızca Bitcoin gibi bir 'dağıtılmış defter' değil, aynı zamanda bir 'dağıtılmış durum makinesi' yapan temel özelliktir. EVM, geliştiricilerin Solidity adlı bir programlama dilini kullanarak akıllı sözleşmeler oluşturmasına olanak tanır. Akıllı sözleşmelerin yaygın bir uygulaması, token üretimini ve değişimini yönetmektir. Birçok uygulama ve protokol, kullanıcıları hedefleri açısından önemli olan eylemler için ödüllendirmek amacıyla jetonlar kullanır. EVM olmasaydı bu mümkün olmazdı, bu nedenle Ethereum'u meşhur eden bir teknoloji olan EVM sanal makinesi, Ethereum ağında akıllı sözleşmelerin yürütülmesine yardımcı olur. Peki ya zkEVM? EVM sanal makinesi kadar önemli mi?

zkEVM nedir?

zkEVM (sıfır bilgi Ethereum Sanal Makinesi), programdaki giriş ve çıkışların geçerliliği de dahil olmak üzere programların yürütülmesinin doğruluğunu doğrulamak için sıfır bilgi kanıtlarını veya ZKP'yi destekleyen bir sanal makinedir.

Basitçe söylemek gerekirse zkEVM, sıfır bilgi (zk) teknolojisini destekleyen akıllı sözleşmeleri yürütmek üzere tasarlanmıştır.

zkEVM'nin önemi

Öncelikle zk teknolojisinin önemini gözden geçirelim. ZKP (sıfır bilgi kanıtları), kullanıcıların kişisel bilgiler, ticari sırlar, özel veriler gibi mahremiyetlerini korumaları için daha fazla bilgi açıklamaya gerek kalmadan bir durumun doğru olduğunu kanıtlamanın bir yoludur… Özellikle Web3 alanında gizlilik vazgeçilmezdir. Örneğin, zk sayesinde kişisel bilgileriniz çalınmadan web'i kullanabilir veya akıllı sözleşmeleri etkinleştirmek için özel verileri girdi olarak kullanabilirsiniz.

zkEVM, zk-Rollup teknolojisinin ölçeklenebilirliği, geçerliliği, düşük maliyeti, sermaye verimliliği ve zk teknolojisinin gizlilik özelliklerinden yararlanarak Ethereum'un kaynaklarından yararlanır:

  • Katman 2 ile zk-Rollup başlangıçta akıllı sözleşmeleri yürütemiyordu, yalnızca basit takasları veya ödemeleri gerçekleştirebiliyordu. Ancak zkEVM'nin gelişiyle birlikte zk-Rollup akıllı sözleşmeleri destekliyor ve geliştiricilerin tanıdık Solidity diliyle dApp'ler geliştirmesini kolaylaştırıyor.
  • Mina gibi zk teknolojisini kullanan Layer 1 ile zkEVM, durum kanıtını doğrudan Ethereum üzerinde kanıtlanabilir hale getirir ve böylece Mina ile zk ve Ethereum teknolojisi arasında bir köprü açar.

zkEVM, zk teknolojisinin gelişiminde belirleyici bir faktör mü? cevap hayır. Örneğin, StarkNet gibi EVM olmayan bazı projeler, Solidity dilini Kahire'ye derlemek için Warp'ı kullanıyor veya Polygon Miden, MidenVM sanal makinesini kullanıyor.

Peki neden başka bir sanal makine değil de zkEVM? Yukarıda belirtildiği gibi, Ethereum'un aşağıdaki gibi kaynaklarından yararlanmaya yardımcı olan şey zkEVM'dir:

  • Truffle, Hardhat ve Foundry gibi geliştiricilerin tanıdık araçları
  • Yerleşik güvenlik en iyi uygulamaları
  • OpenZeppelin aracılığıyla mevcut modüler akıllı sözleşmeleri devreye alın
  • Birçok denetim firmasının EVM konusunda uzmanlığı bulunmaktadır.
  • En büyük Web3 geliştirici topluluğu
  • Kullanıcılar, Etherscan, metamask cüzdanı vb. gibi EVM tabanlı blockchain yardımcı programlarına aşinadır.

zkEVM, Ethereum ölçeklendirme çözümüne güç sağlar. Bildiğimiz gibi zk-Rollup'ın, 2000TPS'ye kadar ölçeklenebilirlik (4x Optimistic-Rollup), doğrulama kanıtı, düşük ücretler, verimli sermaye (yalnızca L10'e para çekmek için ~1 dakika, Optimist'te ise 1 hafta). zkEVM, zk-Rollup ölçeklendirme çözümünü EVM uyumluluğu yoluyla yükselterek geliştiricilerin Ethereum'daki kaynaklardan yararlanmasını kolaylaştırır.

zkEVM nasıl çalışır?

zkEVM'nin nasıl çalıştığını anlamak için öncelikle EVM'nin bugün nasıl çalıştığını gözden geçirelim.

EVM sanal makinesi nasıl çalışır?

Sanal makineler depolama, bellek ve CPU özellikleriyle fiziksel makineye benzer şekilde çalışır ancak tamamen kod olarak çalışırlar.

  • Sözleşme bayt kodu (kaynak kodundan derlenen), EVM'nin deposundan yüklenir ve EVM'deki eş düğümler tarafından yürütülür. Düğümler aynı girdileri kullanır, bu da her düğümün aynı sonuca ulaşmasını sağlar (aksi takdirde bir fikir birliğine varamazlar).
  • EVM Opcode'ları (bayt koduna dahil) okuma-yazma işlemlerini gerçekleştirir, yani durum deposundan değerleri okur ve EVM'nin belleğine yeni değerler yazar.
  • EVM işlem kodları, yeni değerleri döndürmeden önce durum deposundan elde edilen değerlerin hesaplamalarını gerçekleştirir. Bu güncelleme, EVM'nin yeni duruma geçmesiyle sonuçlanır (işlemlere bu nedenle "durum geçişleri" adı verilir). Bu yeni durum diğer düğümler tarafından kopyalanır ve başka bir işlem gerçekleştirilene kadar korunur.

zkEVM nasıl çalışır?

EVM gibi zkEVM de programın yürütülmesinden sonra durumlar arasında geçiş yapan bir sanal makinedir. Ancak zkEVM, her hesaplamadaki farklı faktörleri doğrulayan sıfır bilgi kanıtları (ZKP'ler) üreterek daha da ileri gider:

  1. Bayt Kodu Erişimi: Uygun program kodu doğru adresten düzgün şekilde yüklendi mi?

2. Okuma ve yazma işlemleri:

  • Program, hesaplamadan önce eşleşen değerleri yığın/bellek/depolamadan (yığın/bellek/depolama) alıyor mu?
  • Program, yürütmeyi tamamladıktan sonra yığına/belleğe/depolamaya (yığın/bellek/depolama) doğru çıktı değerlerini yazıyor mu?

3. Hesaplama: İşlem kodları doğru şekilde yürütülüyor mu?

Mimari zkEVM

ZkEVM üç bölüme ayrılmıştır: bir yürütme ortamı, bir kanıtlama devresi ve bir doğrulama sözleşmesi. Her bileşen zkEVM'nin program yürütmesine, kanıt oluşturmasına ve kanıt doğrulamasına katkıda bulunur.

Yürütme ortamı

Yürütme ortamı, programların (akıllı sözleşmeler) zkEVM'de çalıştırıldığı yerdir. zkEVM'nin yürütme ortamı bir EVM gibi çalışır: yeni (diğer bir deyişle son) durumu oluşturmak için başlangıç ​​durumunu ve mevcut işlemi alır.

Devre kanıtı

Kanıt devresi, yürütme ortamında hesaplanan işlemlerin geçerliliğini doğrulayan sıfır bilgi kanıtları (ZKP'ler) üretir.

Kanıt oluşturma, (1) durum öncesi, (2) işlem girdisi ve (3) durum sonrası bilgiden oluşan girdi verileri kullanılarak tamamlanır.

Doğrulayıcı daha sonra söz konusu durum geçişinin geçerliliğine ilişkin kısa bir kanıt elde eder.

Doğrulayıcı sözleşmesi

ZK toplamaları, doğrulama için L1 (Ethereum) zincirinde konuşlandırılan akıllı bir sözleşmeye geçerli kanıt sunar.

Doğrulayıcı sözleşmesine girdi (önceki durum ve işlem bilgileri) ve çıktı (son durum) da sunulur.

Doğrulayıcı daha sonra sağlanan kanıt üzerinde hesaplamalar yapar ve gönderilen çıktıların girdilerden doğru şekilde hesaplandığını doğrular.

zkEVM işlem kodları nelerdir?

zkEVM işlem kodları, EVM uyumlu bir zk-Rollup'taki programları yürütmek için kullanılan düşük seviyeli makine talimatlarıdır.

ZkEVM işlem kodlarına ihtiyacımız var çünkü geleneksel EVM işlem kodları sıfır bilgi korumalı devrelerde kullanım açısından verimli değildir. Genel olarak zkEVM işlem kodlarını oluşturmaya yönelik iki yaklaşım vardır:

Orijinal EVM işlem kodları için ZK Devreleri Oluşturma

Bu yaklaşım, zkEVM'yi EVM'ye eşdeğer bayt kodu düzeyinde uyumlu hale getirir. Bu, geliştiricilerin mevcut bir blockchain geliştirici aracını kullanarak akıllı sözleşmeler oluşturabileceği veya mevcut Ethereum sözleşmelerini çok fazla değişiklik yapmadan ZK toplamalarına taşıyabileceği anlamına gelir. Ancak oldukça karmaşık ve zaman alıcı bir teknik çalışmadır.

ZK kanıt hesaplaması için yeni bir dil oluşturun

Bu yaklaşım, doğrulayıcıları desteklemek için tasarlanmış yeni bir dil oluşturmayı ve özel işlem kodları geliştirmeyi gerektiriyordu. Geliştiricilerin ya sözleşmeleri doğrudan yeni dilde yazmaları ya da Solidity kaynak kodunu özel zkEVM işlem kodlarında derlemeleri gerekecek.

Bu yöntemin uygulanması genellikle ilk yaklaşıma göre daha basit olmasına rağmen sınırlamaları vardır. Örneğin geliştiriciler mevcut Ethereum altyapısına ve kaynaklarına erişemeyebilir.

Karar

zkEVM, geliştiricilerin tanıdık sağlamlık dilini kullanarak dApp'lerini zk teknoloji platformu üzerinde oluşturmalarına/entegre etmelerine yardımcı olan en önemli faktörlerden biridir.

Özellikle zk-Rollup ile zkEVM, zk-Rollup teknolojisinin ölçeklenebilirliği, geçerliliği, düşük maliyeti ve sermaye verimliliği ile zk teknolojisinin gizliliğine geri dönüş taşıma kapasitesi avantajlarından yararlanarak geliştiricilerin Ethereum'un kaynaklarından tam olarak yararlanmasına yardımcı olur. zkEVM oluşturma çabası başarılı olursa, Ethereum ekosistemi kesinlikle diğer alternatif L1'lere göre rekabet üstünlüğünü korumaya devam edecektir.

zkSync'in ana ağa, Scroll'a ve Polygon'a doğru yol almasıyla zkEVM alanı önümüzdeki aylarda ısınacak gibi görünüyor. zkEVM test ağını çalıştırıyor.

YASAL UYARI: Bu web sitesindeki bilgiler genel piyasa yorumu olarak verilmiştir ve yatırım tavsiyesi değildir. Yatırım yapmadan önce kendi araştırmanızı yapmanızı öneririz.

Haberleri takip etmek için CoinCu Telegram'a katılın: https://t.me/coincunews

CoinCu Youtube Kanalını Takip Edin | CoinCu Facebook sayfasını takip edin

Lucian

CoinCu Haberleri

87 kez ziyaret edildi, bugün 2 ziyaret yapıldı