Mekanizma Gerçek, Seçim Yaptığı Nüfus Dört Kişilik

Aşağıdaki her şey, tek bir tarafça işletilen dört doğrulayıcılı bir ağa karşı ölçülmüştür, o taraf da biziz.

Mekanizma ne işe yarıyor

Her bloğu birinin önermesi gerekir. O biri öngörülebilirse hedef alınabilir, rüşvet verilebilir ya da ona önceden hazırlanılabilir. Dolayısıyla seçimin önceden öngörülemez, sonradan doğrulanabilir olması gerekir.

Doğrulanabilir rastgele fonksiyon tam olarak bunu yapar: her katılımcı yalnızca kendisinin hesaplayabileceği bir değer hesaplar, herkes bunun doğru hesaplandığını kontrol edebilir ve kimse önceden tahmin edemezdi. Önceden öngörülemez, sonradan kanıtlanabilir.

Gerçekten zarif bir makine parçasıdır ve ilginç kısım o değildir.

Bir anlam taşıyıp taşımadığını belirleyen ayrım

Seçim gerçek. Ölçek değil.

Ayrı bir sıralı mod yalnızca yerel geliştirme için vardır ve çalışan ağda devre dışıdır, dolayısıyla bu, bir yedeğin sessizce trafiği karşılaması durumu değildir.

Ama tek bir tarafça işletilen dört katılımcı arasından rastgele seçim yapmak, iyi uygulanmış bir törendir. Öngörülemezlik, bir hasmın hangi doğrulayıcıya saldıracağını seçmesine karşı korur. Dördünü de tek bir işletmeci çalıştırdığında, rastgele fonksiyon ne seçerse seçsin o hasmın tek bir hedefi vardır.

Yani mekanizmanın sağladığı özellik gerçektir ve karşı savunduğu tehdit şu anda mevcut değildir.

Gerçek olmasını, taklit olmamasını neden yine de önemsiyoruz

Çünkü bu sitede defalarca belgelediğimiz çökme biçimi, anlatılan ama çalışmayan bir mekanizmadır ve bu onun tersidir: çalışıyor, gerçek yapılandırmada, geliştirme kısayolu kapalı.

Bu belirli bir sebeple önemlidir. Hiç çalışmamış bir seçim mekanizmasının uç durumlarına hiç dokunulmamıştır: beraberlik, kaçırılan tur, ortaya çıkıp kaybolan katılımcı. Bizimki gerçek turlara karşı çalışıyor, ki bunların bulunma biçimi budur.

"Uygulanmış ve küçük ölçekte çalıştırılmış", "tanımlanmış"tan gerçekten farklı bir durumdur ve ölçek güvenlik argümanını anlamsız kılsa bile ayırt edilmeye değer.

Şartname ve ona olan açık

Tasarım 21-of-100 bir komite tanımlar. Bu bir spec'tir. Çalışan ağ, tek bir tarafça işletilen dört doğrulayıcıdır, o taraf da biziz.

Açık, bir şeyi açma meselesi değildir. Yüz aday yüz işletmeci demektir, ki bu bir mühendislik değil bir kaynak bulma ve teşvik sorunudur, ve bu sitedeki diğer her sayfanın sonunda vardığı aynı açıktır.

Zaten yapılmış olanlar, mekanizmadır, çalışıyor ve çalıştırılıyor. Yapılmamış olanlar, tasarlandığı nüfustur ve hiçbir miktarda doğru kriptografi onun yerine geçmez.

Herhangi bir "rastgele doğrulayıcı seçimi" iddiası nasıl okunur

İddia seçimle ilgilidir. Güvenlik nüfusla ilgilidir.

Mükemmel rastgeleliği ve küçük bir işletmeci kümesi olan bir ağ çok az şey satın almıştır. Vasat rastgeleliği ve yüzlerce bağımsız işletmecisi olan bir ağ epey şey satın almıştır. Satıcı birincisinden söz eder, çünkü inşa ettiği kısım odur.

Bu, alana karşı bir kinizm değildir. Zor kısmın bağımsız işletmeciler bulmak olmasıdır, ki bu kimsenin hakkında yazmayı en sevdiği şey değildir.

Seçimini anlatan herhangi bir ağa sorulacaklar

"Havuzda kaç aday var ve bunları kaç ayrı işletmeci çalıştırıyor?" İki sayı, ve önem taşıyan ikincisidir.

"Seçim mekanizması çalışıyor mu, yoksa canlı ağı daha basit bir mod mu karşılıyor?" Geliştirme yedeklerinin sessizce trafiği karşılaması gerçek bir örüntüdür. Bizimki devre dışıdır ve bu kontrol edilebilir.

"Tanımlanmış komite büyüklüğü ne, çalışan komite büyüklüğü ne?" Bunlar farklıysa, güvenlik argümanı tanımlanmış olana, sizin riskiniz çalışan olana aittir.

"Seçim öngörülebilir olursa ne bozulur?" Cevap veremeyen bir proje, mekanizmanın var olma sebebi olan tehdidi modellememiştir.

Bu karar için ne anlama geliyor

Gereksiniminiz, doğrulayıcı kümesi öngörülemez seçimi anlamlı kılacak kadar büyük bir ağsa, bizimki o değildir ve mesafe kodla değil işletmeciyle ölçülür.

Makinenin gerçek olup olmadığını değerlendiriyorsanız, çalışıyor, geliştirme kısayolu kapalı, ve dürüst çerçeve şudur: tek bir işletmeci altındaki dört süreç arasından seçim yapan doğru bir mekanizma, kendisini yük taşır kılacak koşulları bekleyen bir mekanizmadır.