Okuma zamanı: 9 dakika
Polygon, ZKrollup'ı getirerek tacını koruyor.
Ethereum Ana Ağı ile ilgili sorun
Ethereum, web3 ekosisteminin bel kemiğidir. Taşıdığı potansiyel ile dünyanın en parlak beyinlerini şaşırtmaya devam ediyor. Çeşitlendirilmiş uygulamaların potansiyeli, Einstein'ın bile bir an için kafasını kaşımasına neden olabilir.
Ama evet, bu bir peri masalı değil. Her harika şeyin bir sınırlaması veya kısıtlaması vardır. Ethereum'un karşı karşıya kaldığı sürekli sınırlama "Gaz Ücretleri" veya başka bir deyişle Ölçeklenebilirliktir, Ethereum Classic'in saniyede 15 işlem gerçekleştirme sınırı vardır. Ancak ETH 2.0 bundan çok daha hızlı olacak ancak daha kat etmemiz gereken çok yol var.
Çözümler denendi
Yıllar süren araştırma, uzun süreli çalışmalar ve özverili çalışmalardan sonra web3 topluluğu, daha iyi ölçeklendirmeye yardımcı olan bazı çözümler bulmayı başardı.
- Katman 1 Ölçeklendirme: - Bu, mimaride bazı değişiklikler yaparak blok zincirini daha iyi hale getirmeye çalıştığımız metodolojidir. Örneğin, ETH Classic'te PoW için PoS kurmaya çalışan ETH 2.0, Katman 1 ölçeklendirme çözümüdür. Bu tür bir Çözüm pahalıdır ve zaman alır.
- Toplama: - Bu, en umut verici yarışmacı olan bir katman 2 çözümüdür. Kullanıcılar, yüksek verimliliğe sahip Ethereum blok zinciri tarafından desteklenen güvenlik elde eder.
- Yan zincirler: - Bunlar EVM uyumludur ve genel amaçlı uygulamaları ölçeklendirebilir, ancak dezavantajları vardır. Ethereum güvenliğini desteklemediğinden, Web3 Topluluğu sürekli olarak farkında olmalıdır. Bu, katman 2 ölçeklendirme altında gelir.
https://twitter.com/MessariCrypto/status/1377655515099062273/photo/1
Poligonun alması
Eskiden Matic Network olarak bilinen Polygon, bir ethereum ölçeklendirme projesi olarak başlayarak, web3 alanında parlayan bir yıldız olarak ortaya çıktı. Bir poligon ağında bir işlemi onaylamak sent alırken, aynı işlem Ethereum Mainnet'te dolar alacaktır. Tüm bunlar, Ethereum ana ağının üzerine inşa edilen yan zincir sayesinde mümkün oldu.
Daha sonra Matic Network, Ethereum blok zincirini ölçeklendirmenin daha farklı yollarını keşfetti ve Ethereum blok zincirini daha iyi ölçeklendirmek için farklı çözümler sağlamak üzere "Polygon" olarak yeniden adlandırıldı.
Bu blogu yazarken birkaç proje var: -
- Poligon PoS
- Çokgen Süpernetler
- Çokgen Sıfır
- Çokgen Miden
- çokgen zkEVM
Bu blogda, Ethereum'u ölçeklendirmek için sıcak projelerden biri olan Polygon'un yeni sürümü zkEVM'yi keşfedeceğiz.
çokgen zkEVM
Polygon zkEVM, gas ücretlerini azaltmak ve verimi artırmak için Ethereum'u ölçeklendirmek için polygon tarafından üretilen bir üründür. “ZK”, bir tür Toplama olan “sıfır bilgi” anlamına gelir. İlerlemeden önce, Toplama İşlemlerini anlamamız gerekiyor.
Roll-up nedir?
Şöyle düşünün, A şehrinden B şehrine posta servisi var ama günde 1 zarf alabilen sadece 100 araç var. Sınırlayıcı buluyorsunuz ve bir yol bulmaya çalışıyorsunuz. Yapabileceğiniz şey, 10 mektup alıp özetini tek bir mektupta yazmak ve postalamak için bir zarfa koymak. böylece 99 + (10) harf gönderebiliriz. Roll-up'lar temelde budur.
Toplama işlemleri esasen Ethereum ana ağında bu şekilde çalışır. Bir yığın işlem alıyoruz, bunları bir "toplama" halinde topluyoruz, özetliyoruz ve ardından ana ağa gönderiyoruz. Bu, verimi artırır. İşlem ücreti, özetlenen gruptaki işlemlerle ilişkili farklı taraflar arasında paylaştırılır. Bu sayede benzin ücretlerini önemli ölçüde düşürüyoruz.
Sarma Mekanizmaları
Her toplama, Katman 1'de şunlarla ilişkili bazı akıllı sözleşmeler dağıtır: -
- Mevduatın işlenmesi
- Para çekme
- Kanıtları doğrulama
Buradaki asıl endişe noktası, doğrulama mekanizmasıdır. 1. katmana gönderilen özetin sahte olmadığını nasıl kontrol ederiz? Bunu kontrol etmek için iki doğrulama mekanizmamız var: -
- sıfır bilgi:- Bu mekanizma geçerlilik kanıtları kullanır ve kriptografi ile güçlendirilmiştir. Toplanan işlem grubu, "zk-snark" olarak bilinen bir kriptografik kanıt içerir. Kanıt, işlem grubu gönderildiğinde Katman 1 akıllı sözleşmeler tarafından hızlı bir şekilde doğrulanır ve geçersiz olanlar reddedilir.
- İyimserlik: - Bu mekanizma dolandırıcılığa karşı korumalı olarak çalışır. Bu, 1. katmana gönderilen partinin sahte olmadığını kanıtlamamız gerektiği anlamına gelir. İlgili 2 taraf vardır; biri, grubun doğru olduğunu söyleyerek grubu Katman 1 protokolüne gönderir ve yanlış olduğu kanıtlanabilirse bir miktar parayı riske atar ve diğer taraf, bu grubun kötü niyetli olduğunu belirterek sahtekarlığı kanıtlamaya çalışır. ve bu iddia ile bazı riskler koyar. Birisi dolandırıcılık kanıtı ortaya koyarsa, parti Katman 1 protokolünde kontrol edilir ve hatalı olduğu kanıtlanan taraf cezalandırılır.
Çokgenin zkEVM mimarisi: -
Şimdiye kadar, toplamaların, özellikle de zk-toplamanın nasıl çalıştığına dair iyi bir anlayışa sahip olmalısınız. Çokgenin zkEVM'sinde bulduğumuz ana bileşenler şunlardır: -
- Mutabakat Sözleşmesi (PolygonZkEVM.sol)
- zkNode
- zkProver
Mutabakat Sözleşmesi
Bu sözleşme, L1'de dağıtılır ve durum geçişlerinin sağlamlığını sağlamak için geçerlilik kanıtı kullanarak çok önemli bir rol oynar. Bunu yapmak için, durum geçişlerine izin vermek için izlenen önceden belirlenmiş kurallara sahiptir.
Durum geçişinin başarıyla tamamlandığını doğrulamak için bu sözleşme zk-SNARK devrelerini kullanır. Bu sistem, daha önce açıklandığı gibi gruplama ve işlem doğrulama olmak üzere iki işleme dayanır.
İşlem gruplaması ve işlem doğrulaması gerçekleştirmek için zkEVM iki katılımcı kullanır:-
- Sıralayıcılar: - ağa işlem grupları önerir.
- Toplayıcılar: - İşlem gruplarının geçerliliğini kontrol edin ve geçerli kanıt sağlayın.
Sıralayıcılar ve toplayıcılar hakkında daha fazla bilgi için, önce bu sözleşmeye odaklanalım. Sözleşme iki arama yapar-
- Sıralayıcılardan partileri almak için
- partilerin doğrulanmasını talep eden Toplayıcılara
Tüm bu süreç aşağıdaki diyagramda özetlenebilir (Burada, Yetki Belgesi Mutabakat Sözleşmemizdir):-
zkNode
Sıralayıcı ve Toplayıcı ile Mutabakat Sözleşmesi'nde tanıştık, bu ikisi zkEVM mimarisinin çok önemli parçalarıdır ve zkNode, onları güçlendiren yazılımdır. zkNode, senkronizasyonu uygulamak ve Sıralayıcıları ve Toplayıcıları yönetmek için gereken bir istemcidir. Dolayısıyla, zkNode yazılımı 4 yönü kolaylaştırır: -
- Sıralayıcılar: - Bir sıralayıcı, kullanıcılardan L2 işlemlerini alan ve bunları yeni bir L2 partisine ön işleyen ve daha sonra Mutabakat Sözleşmesine önerilen kişidir. Sıralayıcı, kullanıcılar tarafından L2'deki işlemleri için gönderilen ücreti alır. Bu grubu L1'de yayınlamak için, Sıralayıcının L1 ücretlerini ödemesi ve ayrıca Toplayıcıları bu grubu doğrulamaya teşvik eden bazı MATIC belirteçlerini ödemesi gerekir. Bu nedenle, aşağıdaki durumlarda sıralayıcı karlıdır: - txn ücretleri (işlemleri için L2'deki kullanıcılar tarafından alınır) > L1 araması (L1'de yayınlamak için gaz ücreti) + MATIC ücreti (Toplayıcıları doğrulamaya teşvik etmek için)
- Toplayıcılar: - Toplayıcılar, grubun bütünlüğünü doğrulamak için çok önemlidir. Toplayıcılar, tüm işlem bilgilerini alır ve daha sonra karmaşık polinom hesaplamalarının bir sonucu olan bir "zk-Proof" sağlayan "zkProver"a (daha fazlası için sonra) gönderir. Ardından, kanıtın doğru olduğunu doğrulamak için “zk-Proof” Akıllı Sözleşmeye gönderilir. Bu parti daha sonra doğru olarak işaretlenir ve eklenmeye hazırdır. Toplayıcı şu durumlarda kârlıdır:- MATIC ücreti (Sequencer tarafından) > L1 araması (gas ücreti) + Sunucu Maliyeti (kanıt oluşturmak için)
- Eşitleyici: - Eşitleyicinin ana yönü, Ethereum blok zincirinden olayları okumak ve durumu senkronize tutmak için yeni partileri dahil etmektir. Bu olaylardan elde edilen bilgiler veritabanında saklanır. Eşitleyici, verileri Akıllı Sözleşmelerden alır. Tüm bu veriler daha sonra JSON-RPC hizmeti aracılığıyla üçüncü taraflara sunulur.
- RPC:- JSON-RPC, Ethereum ile uyumlu çok önemli bir arayüzdür. Ethereum blok zincirine bağlanmak için bir yazılım uygulamasına ihtiyacımız olduğunda, bu uygulama bir Ethereum düğümüne bağlanır. RPC işte böyle devreye giriyor. zkEVM'nin Metamask ve Etherscan'i entegre etmesini sağlar ve Havuz ve Durum işlemleriyle etkileşime girer.
zkProver
zkEVM mimarisinin bu kısmı teknolojik olarak en odaklı ve karmaşık olanıdır. Bunu gerçekleştirmek için bilmek sizi şaşırtacak. Geliştiriciler, gerekli öğeleri uygulamak için iki yeni programlama dili geliştirmek zorunda kaldı: -
- Sıfır — Bilgi Birleştirme:- Basit bir ifadeyle, bu dil, zkProver'ın Ana Durum Makinesinden gelen talimatları diğer Durum Makinelerine eşler. Bu dil hakkında daha fazla bilgi edinmek için kontrol edin Re-Tweet.
- Polinom Kimlik Dili (PIL): - Blockchain Gizlilik, Güvenlik ve Ölçeklenebilirlik Üçlemesini çözmek için birçok araştırma yapılmıştır. Bugüne kadar birçok girişim ve farklı teori denemeleri olmuştur, ancak bugüne kadar en çok kabul gören “Polinom Bağlılık Şeması” dır. Bu nedenle, hesaplamaları yalnızca bir polinom dilinde yapmak uygundur. Böylece PIL kodları, zkProver'ın doğrulama kodunun temelini oluşturur. Bu konuda daha fazla bilgi edinmek için takip edin okuyun.
zkProver, karmaşıklığını haklı çıkaran farklı departmanlarda uzun yıllara dayanan araştırmalarla desteklenmektedir. Büyük ölçüde zkProver'ın bazı ana bileşenleri vardır: -
- Yürütücü:- Bu bölüm, zkEVM'nin Ana Durum Makinesinden yürütülmesiyle ilgilidir. Burası, EVM Bayt Kodlarının daha önce açıklanan yeni "sıfır bilgili Derleme Dili" (zkASM) kullanılarak yorumlandığı yerdir. Bu bölümde, her geçerli işlem grubunun yerine getirmesi gereken ve işlemler, eski/yeni Durum, Zincir Kimliği vb. gibi girdileri beslemesi gereken polinom kısıtlamalarının kurulumunu ele alıyoruz. polinom kısıtlamaları. Bu Adımın çıktısı, tüm talimatların PIL donanımı üzerinde yürütülmesinin bir sonucu olan “Taahhüt Polinomları”dır.
- Stark Özyineleme Bileşeni: - Bu adım, üç ana girdinin Taahhüt Edilmiş Polinomlar, Sabit Polinomlar ve bir talimat Listesinin etkileşimini içerir. Bu üç girdi, zk-STARK kanıtları oluşturmak için harmanlanır. Bu birkaç zk-STARK kanıtı, birkaç zk-STARK kanıtı demetleri halinde bir araya getirilir ve her bir paket için bir zk-STARK kanıtı üretilir. Daha sonra bu kanıtlar bir pakete konur ve tek bir zk-STARK kanıtı oluşturmak için harmanlanır. Yüzlerce zk-STARK ispatı bu şekilde tek bir zk-STARK ispatı ile temsil edilir ve ispatlanır.
- CIRCOM Kitaplığı:- Bu adım, bir "tanık" oluşturmak için Stark Recursion Componenet aracılığıyla oluşturulan Doğrulayıcı verileri ve tek zk-STARK kanıtı ile etkileşimi içerir; bu adım, zk-STARK kanıtını zk-'ye dönüştürmek için sonraki adım için gereklidir. SNARK kanıtı.
- Rapid Snark: - Bu, zkProver'ın son bileşenidir. Bu, zk-SNARK kanıtını oluşturmak için CIRCOM Kitaplığının çıktısının "tanık" STARK doğrulayıcı verileriyle birlikte beslendiği aşamadır.
zk-STARK ispatları hızları nedeniyle kullanılır, ancak zk-SNARK ispatlarından çok daha büyüktürler. Bu nedenle zkProver, zk-STARK kanıtlarından elde edilen verileri kullanarak son adımda oluşturulan zk-SNARK'ı kullanır. Bu dört bileşenin etkileşimi şu şekilde görülebilir: -
Güvenlik yönüne bakıldığında
Güvenlik açısından, zkEVM projesi orta çağ aşamasındadır ve poligon ekibi sürekli olarak iç ve dış denetimlere katılmıştır. İç denetimlerin sonuçlarıyla ilgili bilgiler çoğunlukla sınıflandırılmıştır, ancak Polygon iki dış denetçiden (Hexens ve Spearbit) yardım almıştır. sergileniyor akıllı sözleşme denetimleri almanız gerekiyor büyük devler tarafından bile. "Hacklerin beklenmedik şekilde geldiği" doğrudur. Gerçekten de, asla bu kadar emin ve emniyette olamazsınız. web3 ekosistemindeki devlerin çoğu bunu anlıyor ve kendilerini güvenceye almak için çok çalışıyorlar.
Web3'ün güvenliğini şimdi her zamankinden daha fazla sağlamamız gerekiyor. Bu aşamada, akıllı sözleşmeler için profesyonel bir kod incelemesi almak çok önemlidir ve geliştiricilere sayısız çalışma saati kazandırır. Sözleşmelerinizin güvenli olduğundan emin olmak her zamankinden daha önemlidir. Birlikte Web3'ü daha güvenli bir alan haline getirebiliriz. ziyaret et QuillDenetimleri farklı hizmetler ve çözümler keşfetmek için.
11 Görünümler
- SEO Destekli İçerik ve Halkla İlişkiler Dağıtımı. Bugün Gücünüzü Artırın.
- Plato blok zinciri. Web3 Metaverse Zekası. Bilgi Güçlendirildi. Buradan Erişin.
- Kaynak: https://blog.quillhash.com/2023/02/03/polygon-zk-rollup-an-incredibly-simple-explanation/
- 1
- 10
- 100
- a
- Hakkımızda
- hakkında
- katma
- Toplayıcı
- toplayıcılar
- Türkiye
- arasında
- ve
- Uygulama
- uygulamaları
- mimari
- boy
- yönleri
- Montaj
- ilişkili
- Denemeler
- denetçiler
- denetimler
- Arka
- Omurga
- arka çıkılmış
- temel
- Çünkü
- önce
- olmak
- Daha iyi
- Büyük
- Karışım
- blockchain
- Blog
- parlak
- Bringing
- inşa etmek
- yapılı
- demet
- hesaplamalar
- çağrı
- taşımak
- zincir
- zincir kimliği
- değişiklikler
- Kontrol
- Şehir
- iddia
- klasik
- sınıflandırılmış
- müşteri
- kod
- Kod incelemesi
- toplamak
- nasıl
- taahhüt
- taahhüt
- topluluk
- uyumlu
- tamamlama
- karmaşık
- karmaşıklık
- bileşen
- bileşenler
- hesaplamalar
- İlgilendirmek
- Onaylamak
- Sosyal medya
- bağlanır
- Fikir birliği
- sabit
- sürekli
- kısıtlamaları
- devam ediyor
- devamlı olarak
- sözleşme
- sözleşmeleri
- Uygun
- dönüştürmek
- yaratmak
- çevrimiçi kurslar düzenliyorlar.
- taç
- çok önemli
- kriptografik
- kriptografi
- veri
- veritabanı
- Tarih
- gün
- anlaşma
- Fırsatlar
- ithaf
- bölümler
- konuşlandırılmış
- dağıtır
- geliştirmek
- geliştiriciler
- farklı
- tartışılan
- çeşitli
- bölünmüş
- yapıyor
- dolar
- sakıncaları
- her
- ekosistem
- elemanları
- ortaya
- istihdam
- yetkisi
- olarak güçlendiriyor
- sağlar
- sağlamak
- esasen
- kurmak
- vb
- ETH
- 2.0
- klasik
- Ethereum
- Etereum blok zincir
- Ethereum Classic
- ETHEREUM ANA AĞ
- ethereum ölçeklendirme
- etherscan
- Hatta
- olaylar
- hİÇ
- Her
- EVM
- örnek
- infaz
- pahalı
- açıkladı
- açıklama
- keşfetmek
- keşfedilmeyi
- dış
- kolaylaştırır
- karşı
- Daha hızlı
- Fed
- ücret
- Fiyatlandırma(Yakında)
- az
- son
- bulmak
- Ad
- odak
- takip et
- takip
- takip etme
- Airdrop Formu
- eskiden
- ileri
- dolandırıcılık
- dolandırıcılık kanıtı
- sahte
- itibaren
- GAZ
- gaz ücretleri
- genel amaçlı
- oluşturmak
- almak
- alma
- Go
- Tercih Etmenizin
- Zor
- donanım
- baş
- yardım et
- okuyun
- altıgenler
- Yüksek
- SICAK
- SAAT
- Ne kadar
- Ancak
- HTTPS
- Yüzlerce
- ID
- Kimlik
- uygulamak
- in
- Diğer
- özendirici
- dahil
- içerir
- Artırmak
- Artışlar
- inanılmaz
- bilgi
- giriş
- talimatlar
- entegre
- bütünlük
- etkileşim
- etkileşime
- arayüzey
- iç
- tanıttı
- ilgili
- IT
- tutmak
- Bilmek
- bilgi
- bilinen
- L1
- l2
- dil
- Diller
- büyük
- Soyad
- tabaka
- 1 katmanı
- 2 Katmanı
- katman 2 ölçeklendirme
- ÖĞRENİN
- mektup
- Kütüphane
- LİMİT
- sınırlama
- Liste
- Uzun
- Çok
- makine
- Makineler
- Ana
- mainnet
- tutar
- büyük
- yapmak
- YAPAR
- Yapımı
- yönetilen
- çok
- Haritalar
- işaretlenmiş
- Matic
- Matic Network
- anlamına geliyor
- mekanizma
- ortaçağ
- MetaMask
- metodoloji
- zihinleri
- an
- para
- Daha
- çoğu
- hareket
- gerekli
- gerek
- ağ
- yeni
- sonraki
- düğüm
- ONE
- Diğer
- Bölüm
- Katılımcılar
- belirli
- partiler
- parçalar
- Parti
- Yapmak
- icra
- faz
- resim
- Platon
- Plato Veri Zekası
- PlatoVeri
- Nokta
- Çokgen
- Poligon Ağı
- poligon en
- havuz
- POS
- mümkün
- Çivi
- potansiyel
- PoW
- Önceden
- gizlilik
- süreç
- Süreçler
- üretmek
- PLATFORM
- profesyonel
- kârlı
- Programlama
- Programlama dilleri
- proje
- Projeler
- umut verici
- kanıt
- ispatları
- önermek
- önerilen
- protokol
- Kanıtlamak
- kanıtladı
- sağlamak
- sağlar
- yayınlamak
- Itmek
- itme
- koymak
- koyar
- hızla
- tüyo
- yükseltmeler
- Okumak
- hazır
- neden
- teslim almak
- Alınan
- alır
- azaltmak
- serbest
- temsil
- gereklidir
- araştırma
- kısıtlama
- sonuç
- Sonuçlar
- yorum
- sağlamlık
- Rol
- Rulo
- Toplayıcı
- Roll-up'lar
- Hadde
- Toplamaları
- kurallar
- daha güvenli
- aynı
- tasarruf
- ölçeklenebilirlik
- ölçek
- ölçekleme
- Ölçeklendirme Çözümü
- İkinci
- güvenli
- güvenlik
- hizmet
- Hizmetler
- set
- birkaç
- vitrine
- Yan zincir
- Basit
- tek
- akıllı
- akıllı sözleşme
- Akıllı Sözleşmeler
- snark
- So
- Yazılım
- SOL
- çözüm
- Çözümler
- ÇÖZMEK
- biraz
- Birisi
- uzay
- hız
- Aşama
- kazık
- standları
- Star
- sade
- Eyalet
- adım
- Yine
- saklı
- çalışmalar
- sunmak
- gönderilen
- başarılı
- böyle
- ÖZET
- toplanmış
- sürpriz
- senkronizasyon
- sistem
- Bizi daha iyi tanımak için
- alır
- alma
- takım
- şartlar
- The
- Bilgi
- Devlet
- Dünya
- ve bazı Asya
- kendilerini
- şey
- Üçüncü
- üçüncü şahıslar
- üç
- İçinden
- verim
- zaman
- için
- bugün
- birlikte
- Jeton
- üst
- işlem
- işlemsel
- işlemler
- geçiş
- geçişler
- gerçek
- DÖNÜŞ
- altında
- anlamak
- anlayış
- GÜÇ KAYNAĞI
- kullanıcılar
- Kullanılması
- DOĞRULA
- onaylama
- araç
- Doğrulama
- Doğrulanmış
- doğrulamak
- hayati
- yolları
- Web3
- Web3 topluluğu
- Web3 Ekosistemi
- Web3 alanı
- Ne
- hangi
- DSÖ
- bütün
- irade
- İş
- çalışır
- Dünya
- olur
- yazmak
- yazı yazıyor
- Yanlış
- yıl
- Sen
- zefirnet
- zk-toplaması
- zkevm