Sonraki Teklif Eden Nasıl Seçiliyor: Şartnamede Bir Piyango, Hatta Bir Rotasyon

Protokolün söyledikleri

Her tur, doğrulanabilir sonucu olan bir piyangodur.

Her doğrulayıcı iki girdiden rastgele görünen bir çıktı hesaplar: paylaşılan bir tur tohumu ve tur numarası. Çıktı, doğrulayıcının kendi anahtarıyla üretilir, dolayısıyla onu başkası onun için hesaplayamaz, ve herkesin kontrol edebileceği bir ispatla gelir.

En düşük çıktı kazanır. Bir sayı olarak yorumlandığında, hangi doğrulayıcının çıktısı en küçükse o tur için lider odur.

Ve bir teklif ispatını taşıyabilir. DÜZELTİLDİ 2026-08-02: burada daha önce, alan bir katılımcının iddia edilen liderin gerçekten kazandığını doğruladığı yazıyordu. Bu, kontrolün ortaya koyduğundan fazlasını söylüyordu. Ortaya koyduğu şey daha dardır ve tam olarak belirtmeye değer: teklif edenin doğrulayıcı kümesinde olduğu ve bloğa eşlik eden ispatın, o teklif edenin anahtarı altında o tur için geçerli bir ispat olduğu. Turun çıktılarını birbirine karşı sıralamak ayrı bir adımdır ve bu sayfa ikisini bir şey diye tarif etmemeliydi.

O tasarımın neden iyi olduğu

Lider kazanmayı seçemez. Çıktı, teklif edenin seçtiği bir şeye değil tohuma ve tura bağlıdır, dolayısıyla öğütülecek bir şey yoktur.

Ve sonuç güvenilen değil kontrol edilebilen bir şeydir. İspatı olan herkes liderin teklif etmeye hakkı olduğunu doğrulayabilir, ki kendine güvenmeyen bir kümede mekanizmayı yararlı kılan şey budur.

Ve zincirin gerçekte gösterdiği şey

On dört okunabilir blok çekildi. Dört teklif edeni A, B, C ve D diye etiketlersek, on ikisi şöyle gidiyor:

A B C D A B C D A B C D A

Bu bir piyango değil kesintisiz bir rotasyondur.

Dört doğrulayıcıyla, on iki çekiliş boyunca sürdürülen tam bir rotasyon şans eseri dört milyonda bir mertebesindedir. Rastgele bir seçim böyle davranmaz.

Bariz itiraz ve neden bunu açıklamadığı

Bu uç noktada yalnızca her üçüncü yükseklik çözümleniyor, dolayısıyla yukarıdaki dizi her blok değil bir alt dizidir. GÜNCELLENDİ 2026-08-02: sebebi artık biliniyor ve bir kusur değil. Ardışık üç blok bir yükseklik değerini paylaşıyor, dolayısıyla üç blokta ikisi yükseklikle basitçe adreslenebilir değil.

Ama rastgele bir diziyi her üçüncü öğede örneklemek bir rotasyon değil rastgele bir alt dizi verir. Dönemsellik, öngörülemez bir sürecin düzenli örneklenmesiyle imal edilmez, dolayısıyla örüntü gözlenebilen içinde gerçektir.

DÜZELTME, 2026-08-02: birincisi ve bunu söyleyen satır burada

Yani piyango bu dağıtımda etkin değil. Rotasyon, rastgele bir süreçteki şüpheli bir örüntü değil; tam olarak göründüğü gibi, yapılandırma gereği sıralı geçiştir.

Özgün akıl yürütme aşağıda bırakılmıştır, çünkü onu üreten ölçüm doğruydu ve yalnızca sonuç tutulmuştu. Onu çözen şey, dağıtımın kendi yapılandırmasını okumaktı, ki bu sayfanın aradığından farklı bir kaynaktır.

Size dışarıdan söyleyemediklerimiz

Piyangonun bu dağıtımda etkin olmadığı mı, yoksa etkin olup teklifleri başka bir şeyin mi sıraladığı.

Bunu çözecek ispat okuma yüzeyinde değil. Hiçbir blok bir lider ispatı, bir sertifika ya da bir kilit taşımıyor, dolayısıyla ikisini ayırt edecek tek eser çekilemiyor.

Bu, okuma yüzeyi için hâlâ geçerli ve cevabın kaynaktan gelmek zorunda olmasının sebebi budur.

Ve bir blok örüntüden ayrılıyor

Örneklemdeki en yeni blok onu kırıyor: turu üç yerine bir artıyor ve teklif edeni sırası dışında.

Yani rotasyon mutlak değil ve bu ölçümü sonradan tekrarlayan bir okur farklı bir şey görebilir. On dörtte bir ayrılma, geçiştirilmek yerine bildiriliyor, çünkü istisnası olan bir örüntü, olmayandan farklı bir iddiadır.

Neden önemli, dürüstçe ölçülmüş

Öngörülemez liderlik, bir lideri hedeflemeyi zorlaştıran şeydir. Sonraki teklif eden önceden bilinebiliyorsa, belirli bir turu bozmak isteyen herkes hangi katılımcıya ulaşacağını tam olarak bilir.

Bu ağda maliyet neredeyse sıfır: dört teklif eden, hepsi aynı ekip tarafından işletiliyor, ortada değer yok ve saldırılacak dış katılımcı yok. Bu, küme açıkken önem taşıyan bir özelliktir, tek bir yerde dört makineyken değil.

Kendiniz neyi kontrol edebilirsiniz

solidus_canonHead, sonra aşağı doğru solidus_getBlockBySeq, proposer alanını sıra düzeninde listeleyerek

GÜNCELLENDİ 2026-08-02: yüksekliği değil sırayı kullanın. Yükseklikleri dolaşmak üç blokta birini gösterir, çünkü ardışık üç blok bir yükseklik değerini paylaşır ve arayüzün kendi belgelendirmesi tam bunun için sırayı öneriyor. Yanında round değerini de karşılaştırın, çünkü ikisi her zaman birlikte hareket etmiyor.