Opside’a Giriş 2: ZKP’nin İki Adımlı Gönderim Algoritması (Sponsorlu)

Neden merkeziyetsiz kanıtlayıcılara gereksinimimiz var?

Şu anda Ethereum ana ağı üzerinde çalışan birden fazla ZK-Rollup bulunmaktadır. Lakin, merkeziyetsiz ZK-Rollup’ların tasarımı hala ilk evrelerinde. Ş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 tıpkı cersorship problemlerini getirmez. Bununla birlikte, merkezi bir kanıtlayıcı da birçok probleme neden olabilir.

İlk olarak, sırf bir doğrulayıcı varsa, tek bir düğüm yanılgısı tüm ZK-Rollup’ın geçerlilik delilini sunamamasına neden olabilir ve böylelikle süreçlerin mutlaklığı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. Son olarak, ekonomik açıdan bakıldığında, merkezi bir doğrulayıcı tek 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 meseleleri tesirli bir biçimde çözebilir, lakin 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 ana ağı, ZKP’leri göndermek için muteber 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 ispat bilgilerine gereksinim duyar. Bu durum potansiyel olarak çeşitli zincir içi akın davranışlarını tetikleyebilir. Örneğin, belli bir kanıtlayıcı hesaplanan ZKP’yi zincir seviyesindeki mukaveleye sunduğunda, bir Katman-1 süreci göndermesi gerekir. Bu işlem işlem havuzuna yayınlandığında, saldırganlar yepyeni delil datalarını görebilir ve bir işlem göndermek için daha yüksek bir işlem fiyatı belirleyebilir, böylelikle bir blokta ilk 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 sistemi yoktur ve bir irtibat düzeneği kurmak da zordur. Farklı madenciler tekrarlanmış iş 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ı makul bir dizi 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 ispat, makul bir dizi 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 tüm hash’leri doğrulamak için kullanılabilir. Doğrulanan kanıtlayıcılar, madencilerin yatırdıkları ölçülerin oranına göre PoW mükafatları alır.

T+20. bloktan evvel hiçbir ZKP doğrulamayı geçemezse, hash gönderen tüm kanıtlayıcılar kesilir. Akabinde sıra 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 mevcut 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 dizi için hakikat ZKP’yi arka 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 makûs 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 birden fazla ZKP göndermesini önleyecek biçimde pay ölçüsünün oranına göre 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 dizi için, karşılık gelen hiçbir ZKP doğrulamayı geçemezse, hash gönderen tüm kanıtlayıcılar cezalandırılacaktır.

Kaybedilen token yakılacak.

ZKP’nin iki evreli gönderme sistemi hakkında daha fazla detay ve kıymetlendirme için okuyucuların Opside resmi dokümanlarına başvurmaları önerilir. Kanıtlayanın hissesinin ve cezasının makul sayıları gelecekte değiştirilebilir.

Birkaç konu:

Neden birden çok kanıtlayıcının hash göndermesine müsaade verilsin?

Yalnızca bir hash gönderen ilk kanıtlayıcı ödüllendirilirse, öbür kanıtlayıcıların, ilk kanıtlayıcı bir özet sunduktan sonra bir ispat sunma teşviği olmayabilir. Kötü niyetli bir saldırgan, hash gönderdikten sonra delil göndermeyi uzun müddet geciktirirse, tüm dizinin doğrulanmasını yavaşlatabilir. Bu nedenle, ZKP doğrulamasının tek bir saldırgan tarafından tekelleşmesini önlemek için birden fazla kanıtlayıcının bağımsız 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 ispat sunabilirse, delil tekrar de çalınabilir. Saldırganlar, adresleriyle bağlantılı bir hash’i çabucak gönderebilir ve akabinde ödül kazanmak için bir ispat gönderebilir. Bir vakit penceresi ayarlayarak, hash gönderen kanıtlayıcıların delilleri 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 göre dağıtılıyor? 

Birden çok kanıtlayıcı, bir vakit aralığı içinde birebir sıra için karmalar gönderebilir. Aslında madenciler, oluşturdukları delilleri kullanarak birden çok hash gönderebilir (yalnızca birden çok adrese ihtiyaç duyar). Bu, PoW ödüllerinin birçoklarının yahut hatta tamamının madenciler tarafından alınmasına yol açabilir. Bu ataktan kaçınmak için, bir dizinin mükafatı, madencinin pay ölçüsünün oranına göre 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 fazla madenciyi istikrarlı ve daima ZKP hesaplama gücü sağlamaya teşvik ederken, kanıtlayıcının merkezsizleştirilmesini gerçekleştirir. Algoritmanın ilk 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 ağ 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 göre şahsileştirilmiş fiyatlandırma sistemi.

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.