Neden merkeziyetsiz kanıtlayıcılara muhtaçlığımız var?
Şu anda Ethereum anne ağı üzerinde çalışan aniden Çok ZK-Rollup bulunmaktadır. Lakin, merkeziyetsiz ZK-Rollup’ların tasarımı hala birinci kademelerinde. Şu anda merkeziyetsiz sıralayıcı konusuna odaklanıyoruz, lakin birden fazla insan ZK-Rollup projesinin merkeziyetsiz kanıtlayıcıları uygulamadığı gerçeğini gözden kaçırıyor.
ZK-Rollup’lar için merkezi bir kanıtlayıcı hala daha inançlıdır ve merkezi bir sıralayıcı ile birebir cersorship meselelerini getirmez. Bununla birlikte, merkezi bir kanıtlayıcı da birçok sıkıntıya neden olabilir.
İlk olarak, sırf bir doğrulayıcı varsa, Biricik bir düğüm yanılgısı bütün ZK-Rollup’ın geçerlilik delilini sunamamasına neden olabilir ve böylelikle süreçlerin katılığını etkileyebilir.
İkinci olarak, merkezi bir doğrulayıcının maliyeti yüksektir ve gelecekte devasa ZK-Rollup’lar için hesaplama talebini karşılayamaz. nihayet olarak, ekonomik açıdan bakıldığında, merkezi bir doğrulayıcı Biricik başına kârın bir kısmına sahiptir ve bu da token iktisadı perspektifinden bakıldığında aslında adil değildir.
Merkeziyetsiz Kanıtlayıcıların Zorlukları
Merkeziyetsiz kanıtlayıcılar üstteki problemleri tesirli bir biçimde çözebilir, lakin kimi zorlukları da beraberinde getirir. Bu, yakın vakitte başlatılan birkaç zkEVM planının merkezi bir kanıtlayıcı şemasını benimsemesinin nedenlerinden biridir. Örneğin, Polygon zkEVM’nin beta anne ağı, ZKP’leri göndermek için emniyetli bir toplayıcıya dayanır ve zkSync periyodu de bu açıdan benzeridir.
Teknik açıdan bakıldığında, bir ZK-Rollup’ın akıllı kontratı ZKP’yi doğruladığında, Özgün Delil datalarına gereksinim duyar. Bu durum potansiyel olarak Türlü zincir içi hamle davranışlarını tetikleyebilir. Örneğin, belli bir kanıtlayıcı hesaplanan ZKP’yi zincir seviyesindeki kontrata sunduğunda, bir Katman-1 süreci göndermesi gerekir. Bu süreç işlem havuzuna yayınlandığında, saldırganlar Özgün İspat bilgilerini görebilir ve bir süreç göndermek için daha yüksek bir süreç fiyatı belirleyebilir, böylelikle bir blokta birinci olarak paketlenebilir ve PoW mükafatları kazanabilirler.
Buna ek olarak, kanıtlayıcılar hesaplama gücüne dayalı olarak birbirleriyle rekabet ettiğinden, sağlam bir kimlik tanıma düzeneği yoktur ve bir irtibat sistemi kurmak da zordur. Farklı madenciler yinelenmiş Amel yapabilir ve bu da hesaplama gücünün boşa harcanmasına neden olur.
ZKP’nin İki Basamaklı Gönderimi
Adım 1: Karma gönder
Bir kanıtlayıcı belli bir sıra için bir ZKP hesapladıktan sonra, Evvel (kanıt / adres) hash’ini hesaplar ve hash ve adresi zincir seviyesinde akıllı mukaveleye gönderir. Burada ispat, belli bir sıra için sıfır bilgi ispatıdır ve adres, kanıtlayıcının adresidir.
İlk kanıtlayıcının T. blokta ZKP’nin özetini gönderdiğini varsayarsak, rastgele bir sınırlama olmaksızın T+10. bloğa kadar kabul edilir. T+11. bloktan itibaren yeni kanıtlayıcılar artık hash gönderemez.
Adım 2: ZKP’yi gönderin
T+11. bloktan sonra, rastgele bir kanıtlayıcı bir ZKP gönderebilir. Bir ZKP doğrulamayı geçtiği sürece, gönderilen bütün hash’leri doğrulamak için kullanılabilir. Doğrulanan kanıtlayıcılar, madencilerin yatırdıkları ölçülerin oranına nazaran PoW mükafatları alır.
T+20. bloktan Evvel hiçbir ZKP doğrulamayı geçemezse, hash gönderen bütün kanıtlayıcılar kesilir. Akabinde Dizi tekrar açılır ve yeni hash’ler gönderilerek Adım 1’e dönülebilir.
İşte bir örnek: Opside ağında her bloğun 128 IDE’lik bir PoW mükafatına sahip olduğunu ve şu anda 64 rollup slotunun var olduğunu varsayalım. Bu nedenle, her bir rollup dizisine 2 IDE’lik bir PoW mükafatı atanır. A, B ve C olmak üzere üç madenci bir sıra için hakikat ZKP’yi art arda muvaffakiyetle gönderirse ve üç madencinin madenci payları (IDE) sırasıyla 200K, 500K ve 300K ise. Bu durumda A, B ve C’nin her biri sırasıyla 0,4 IDE, 1 IDE ve 0,6 IDE’lik bir PoW mükafatı kazanabilir.
Prover’ın Token Payı ve Cezası
Kanıtlayıcının Kötü niyetli davranışlarını önlemek için, kanıtlayıcının Özel bir sistem mukavelesine kaydolması ve belli bir ölçüde token stake etmesi gerekir. Mevcut stake ölçüsü eşiğin altındaysa, kanıtlayıcı hash ve ZKP’yi gönderemez. Kanıtlayıcının ZKP’yi göndermesinin mükafatı, kanıtlayıcının aniden Çok ZKP göndermesini önleyecek formda Üleş ölçüsünün oranına nazaran dağıtılacaktır.
Kanıtlayıcı aşağıdaki hareketleri gerçekleştirirse, farklı ceza düzeyleri uygulanacaktır:
- Kanıtlayıcı yanlış bir hash gönderir.
- Belirli bir sıra için, karşılık gelen hiçbir ZKP doğrulamayı geçemezse, hash gönderen bütün kanıtlayıcılar cezalandırılacaktır.
Kaybedilen jeton yakılacak.
ZKP’nin iki basamaklı gönderme sistemi hakkında daha Çok detay ve kıymetlendirme için okuyucuların Opside resmi dokümanlarına başvurmaları önerilir. Kanıtlayanın hissesinin ve cezasının belli sayıları gelecekte değiştirilebilir.
Birkaç konu:
Neden apansızın Fazla kanıtlayıcının hash göndermesine müsaade verilsin?
Yalnızca bir hash gönderen birinci kanıtlayıcı ödüllendirilirse, öbür kanıtlayıcıların, birinci kanıtlayıcı bir özet sunduktan sonra bir İspat sunma teşviği olmayabilir. Kötü niyetli bir saldırgan, hash gönderdikten sonra Delil göndermeyi uzun müddet geciktirirse, bütün dizinin doğrulanmasını yavaşlatabilir. Bu nedenle, ZKP doğrulamasının Biricik bir saldırgan tarafından tekelleşmesini önlemek için apansız Çok kanıtlayıcının Müstakil olarak ve birebir anda hash göndermesine müsaade vermek gerekir.
Neden bir Vakit penceresi var?
Herhangi biri bir hash gönderdikten Çabucak sonra bir İspat sunabilirse, İspat Tekrar de çalınabilir. Saldırganlar, adresleriyle bağlı bir hash’i Çabucak gönderebilir ve akabinde Ödül kazanmak için bir İspat gönderebilir. Bir Vakit penceresi ayarlayarak, hash gönderen kanıtlayıcıların ispatları pencere içinde sunmaya yönelik hiçbir teşviki kalmaz, böylelikle yarışılma mümkünlüğünü ortadan kaldırır.
Ödül neden paya nazaran dağıtılıyor?
Birden Fazla kanıtlayıcı, bir Vakit aralığı içinde birebir Dizi için karmalar gönderebilir. Aslında madenciler, oluşturdukları delilleri kullanarak birden Fazla hash gönderebilir (yalnızca apansız Fazla adrese muhtaçlık duyar). Bu, PoW ödüllerinin birçoklarının yahut hatta tamamının madenciler tarafından alınmasına yol açabilir. Bu hücumdan kaçınmak için, bir dizinin mükafatı, madencinin Üleş ölçüsünün oranına nazaran tahsis edilecektir.
Özet ve Planlama
Bu gönderide önerilen ZKP’ler için iki adımlı gönderim algoritması, yarış akınlarından tesirli bir biçimde kaçınırken ve daha Çok madenciyi istikrarlı ve Daimi ZKP hesaplama gücü sağlamaya teşvik ederken, kanıtlayıcının merkezsizleştirilmesini gerçekleştirir. Algoritmanın birinci sürümü, Opside pre-alpha test ağında başlatılacaktır. Gelecekte Opside , ZKP madenciliği alanında aşağıdakiler üzere daha yenilikçi fikirler de sunacak:
Tüm File boyunca ZKP hesaplama gücünün arz ve talebine dayalı olarak PoS ve PoW ortasındaki Ödül tahsis oranının dinamik olarak ayarlanması.
Toplama kümeleri için ZK-Toplama tipine, Toplama süreçlerinin sayısına ve Toplamanın gas kullanımına nazaran şahsileştirilmiş fiyatlandırma düzeneği.
Uygulama geliştiricilerine, madencileri hesaplama gücü sağlamaya teşvik etmek için bağlı Toplamaları için ZKP’ler üretmeleri için sübvansiyonlar.
Yorum Yok