Komite Seçimi: Rastgele Çekiliş Komiteyi Değil Bir Lider Seçiyor ve Komite Genesis'ten Geldi

Başlıktaki ön kabul yanlış ve bulgu da bu

Doğrulanabilir rastgele çekiliş komiteyi seçmiyor. Mevcut bir komitenin hangi üyesinin belirli bir turda teklif edeceğini seçiyor, ki bu kendi sayfası olan farklı bir sorudur.

Kümeyi seçen hiçbir kod yok. Mutabakat paketi boyunca komite seçim fonksiyonları için bir arama tam olarak bir eşleşme döndürüyor ve o da test modülünün içindeki tek kullanımlık bir yardımcı; testler için sahte bir komite kurmakta kullanılıyor.

aynı arama, lider seçim fonksiyonlarını kendi dosyalarında on kez buluyor. Yani rastgele çekiliş düzeneği var ve çalışıyor. Üyeliğe değil lidere doğrultulmuş.

Bu da "dağıtılmadı"nın anlamını keskinleştiriyor

Protokolün hedef tasarımı, kayıtlı yüze kadar doğrulayıcıdan oluşan bir havuzdan çekilmiş yirmi bir kişilik bir komitedir. O tasarım bir şartnamedir ve dağıtılmamıştır.

Ve iki yarısı aynı durumda değil. Bir kümeden lider seçen kısım uygulanmıştır ve çalışıyor. Yüzden yirmi bir çeken kısmın üretim kodunda hiçbir uygulaması yok.

Yani "dağıtılmadı" tek bir olgu değil. Bir yarısı inşa edilmiş ve daha küçük bir ölçekte çalışıyor. Diğer yarısı inşa edilmemiş. Bunun şartnamedeki tasarımdan ne kadar uzak olduğuna karar veren bir okur, ikisini birden kapsayan tek bir ifade yerine o ayrımı hak ediyor.

Üyelik kodda gerçekte nasıl işliyor

Hisseleme kabul yoludur. Bir hisseleme işlemi bir doğrulayıcı kaydı oluşturuyor ya da güncelliyor ve tutarı gönderenin sıradan bakiyesinden o kayda taşıyor.

Eşleşen bir çıkış yolu var, dolayısıyla üyelik kalıcı değil.

Bu tutarlı bir tasarımdır: giriş, idari bir işlem değil herkesin gönderebileceği bir işlemdir.

Ve bu komite öyle gelmedi

Sicil beş girdi döndürüyor. Dördü blok üretiyor.

O dördü sıfır hisse bildiriyor.

Yani bu ağı gerçekten çalıştıran doğrulayıcılar hisseleme yolundan girmediler. En baştan mevcuttular, ki bu bir geliştirme ağı için sıradandır ve belirtmeye değer, çünkü kod farklı bir hikâye ima ediyor.

Hisse rakamı taşıyan tek girdi, bu estate'in aldığı hiçbir örneklemde hiçbir şey teklif etmiyor.

Bunların hiçbirinin karşısında kontrol edilebileceği şey

Çekilişin ispatı okuma yüzeyinde değil ve bir sertifika ya da bir kilit de değil. Arka arkaya üç sayfa aynı duvara çarptı.

Yani bir dışarıdaki, herhangi bir liderin teklif etmeye hakkı olduğunu doğrulayamaz ve uç noktanın döndürmeyi seçtiği listenin ötesinde üyeliği denetleyemez.

DÜZELTME, 2026-08-02: çekiliş uygulanmıştır ve bu dağıtım onu kullanmıyor

Yani aşağıda tarif edilen düzenek gerçektir ve teklifleri burada sıralayan şey değildir.

Bu, sayfayı tersine çevirmiyor keskinleştiriyor: şartnamedeki tasarımın çekme yarısının hiçbir uygulaması yok ve lider yarısı uygulanmış ve bu kipte kapalı. Teklif eden sayfası aynı düzeltmeyi taşıyor.

Çekilişin kendisinde gerçekten doğru olan şey

Çekiliş kazanan tarafından yanlı hâle getirilemez. Girdileri paylaşılan bir tohum ve tur numarasıdır, dolayısıyla lider olmak isteyen birinin öğütecek bir şeyi yoktur.

Doğrulama alan tarafta. Kötü ispatlı bir teklif, geldiği için güvenilmek yerine onu alan tarafından reddedilir.

Ve giriş ile çıkış ikisi de işlem olarak var, dolayısıyla üyelik tasarımı birinin bir dosyayı düzenlemesine bağlı değil.

Kendiniz neyi kontrol edebilirsiniz

solidus_getValidators, sonra bir düzine yükseklikte solidus_getBlock ve proposer toplayın

İki listeyi karşılaştırın. Listelemede görünen küme ile teklif eden olarak görünen küme aynı değil ve hiçbiri bunu söyleyecek biçimde etiketlenmiş değil.