Neden merkeziyetsiz kanıtlayıcılara gereksinimimiz var?
Şu anda Ethereum anne ağı üzerinde çalışan apansızın Çok ZK-Rollup bulunmaktadır. Fakat, merkeziyetsiz ZK-Rollup’ların tasarımı hala birinci kademelerinde. Şu anda merkeziyetsiz sıralayıcı konusuna odaklanıyoruz, lakin birçok 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 problemlerini getirmez. Bununla birlikte, merkezi bir kanıtlayıcı da birçok sıkıntıya neden olabilir.
İlk olarak, sadece bir doğrulayıcı varsa, Biricik bir düğüm yanılgısı bütün ZK-Rollup’ın geçerlilik ispatını sunamamasına neden olabilir ve böylelikle süreçlerin nihailiğini 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 sıkıntıları tesirli bir halde çözebilir, fakat birtakım 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ı mukavelesi ZKP’yi doğruladığında, Özgün Delil bilgilerine muhtaçlık duyar. Bu durum potansiyel olarak Türlü zincir içi atak davranışlarını tetikleyebilir. Örneğin, muhakkak 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, emniyetli bir kimlik tanıma düzeneği yoktur ve bir irtibat düzeneği kurmak da zordur. Farklı madenciler tekrarlanmış Amel yapabilir ve bu da hesaplama gücünün boşa harcanmasına neden olur.
ZKP’nin İki Evreli Gönderimi
Adım 1: Karma gönder
Bir kanıtlayıcı makul 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ı kontrata gönderir. Burada delil, muhakkak 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 yine 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 Üzücü niyetli davranışlarını önlemek için, kanıtlayıcının Özel bir sistem kontratına 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 biçimde Ü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 etaplı gönderme sistemi hakkında daha Çok detay ve kıymetlendirme için okuyucuların Opside resmi evraklarına başvurmaları önerilir. Kanıtlayanın hissesinin ve cezasının makul sayıları gelecekte değiştirilebilir.
Birkaç konu:
Neden birden Fazla kanıtlayıcının hash göndermesine müsaade verilsin?
Yalnızca bir hash gönderen birinci kanıtlayıcı ödüllendirilirse, öteki 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 İspat 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 birden Çok kanıtlayıcının Müstakil olarak ve tıpkı 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 Yeniden de çalınabilir. Saldırganlar, adresleriyle bağlantılı bir hash’i Çabucak gönderebilir ve akabinde Ödül kazanmak için bir Delil 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 tıpkı Dizi için karmalar gönderebilir. Aslında madenciler, oluşturdukları ispatları kullanarak aniden 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ış ataklarından tesirli bir halde 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 sistemi.
Uygulama geliştiricilerine, madencileri hesaplama gücü sağlamaya teşvik etmek için bağlantılı Toplamaları için ZKP’ler üretmeleri için sübvansiyonlar.
Yorum Yok