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 birinci 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, sadece bir doğrulayıcı varsa, tek bir düğüm kusuru 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 halde çö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 ana ağı, ZKP’leri göndermek için sağlam bir toplayıcıya dayanır ve zkSync devri de bu açıdan benzeridir.

Teknik açıdan bakıldığında, bir ZK-Rollup’ın akıllı kontratı ZKP’yi doğruladığında, orjinal ispat datalarına muhtaçlık duyar. Bu durum potansiyel olarak çeşitli zincir içi hücum davranışlarını tetikleyebilir. Örneğin, muhakkak bir kanıtlayıcı hesaplanan ZKP’yi zincir seviyesindeki mukaveleye sunduğunda, bir Katman-1 süreci göndermesi gerekir. Bu süreç işlem havuzuna yayınlandığında, saldırganlar orjinal delil 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, muteber bir kimlik tanıma düzeneği yoktur ve bir bağlantı sistemi kurmak da zordur. Farklı madenciler yinelenmiş iş yapabilir ve bu da hesaplama gücünün boşa harcanmasına neden olur.

ZKP’nin İki Etaplı Gönderimi

Adım 1: Karma gönder

Bir kanıtlayıcı belli bir dizi 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, makul bir dizi için sıfır bilgi delilidir 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 nazaran 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 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 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 yanlışsız 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 formda pay ölçüsünün oranına nazaran dağıtılacaktır.

Kanıtlayıcı aşağıdaki aksiyonları 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 jeton yakılacak.

ZKP’nin iki kademeli gönderme düzeneği 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 birinci kanıtlayıcı ödüllendirilirse, öteki kanıtlayıcıların, birinci kanıtlayıcı bir özet sunduktan sonra bir delil sunma teşviği olmayabilir. Kötü niyetli bir saldırgan, hash gönderdikten sonra ispat 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 delil sunabilirse, ispat yeniden de çalınabilir. Saldırganlar, adresleriyle bağ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 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 nazaran 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 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 ataktan kaçınmak için, bir dizinin mükafatı, madencinin pay ö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ış taarruzlarından tesirli bir halde 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 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 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 nazaran şahsileştirilmiş fiyatlandırma sistemi.

Uygulama geliştiricilerine, madencileri hesaplama gücü sağlamaya teşvik etmek için alakalı Toplamaları için ZKP’ler üretmeleri için sübvansiyonlar.