Doğrulanabilir Rastgelelik, Manipüle Edilemez Rastgelelik Değildir ve Saldırının Yaşadığı Yer O Farktır

Buradaki mekanizma uygulanmıştır ve üzerinde çalıştığı ağ onu sınamak için fazla küçüktür.

Mekanizmanın kanıtladığı

Rastgele görünen bir çıktı üreten ve o çıktının verilen bir girdiden ve verilen bir anahtardan doğru türetildiğine dair bir ispat da üreten bir fonksiyon. Açık anahtarı tutan herkes ispatı kontrol edebilir. Hiç kimse aynı girdi için farklı bir geçerli çıktı üretemez.

Yani mekanizma size doğrulanabilirlik verir. Girdi verildiğinde sonuç dürüstçe hesaplanmıştır ve herkes bunu, hesaplayan tarafa güvenmeden bağımsız olarak teyit edebilir.

Bir doğrulayıcı kümesinden komite seçmek için istediğiniz özellik tam olarak budur. Koordinatör yok, güvenilen bir dağıtıcı yok ve her katılımcı seçimin adil olduğunu teyit edebilir.

Kanıtlamadığı

Girdiyi kimsenin etkilemediğini.

Çıktıyı girdi belirler. Doğrulanabilirlik, türetmenin dürüst olduğunu söyler. Girdinin nereden geldiği hakkında hiçbir şey söylemez ve bir katılımcı o değeri etkileyebiliyorsa, her adımda kusursuz geçerli bir ispat üretirken kimin seçileceğini etkileyebilir.

Saldırı fonksiyona değildir. Ondan öncedir. Tohumu kıpırdatabilen ya da tohumu değiştiren bir bloğu yayımlayıp yayımlamamayı seçebilen bir taraf, hiçbir zaman dürüst olmayan bir hesap yapmadan sonuçlar arasından seçim yapıyordur.

Bu kurgudaki standart tuzaktır ve seçimini, tohumun nereden geldiğini söylemeden "kanıtlanabilir biçimde adil" diye anlatan bir sistem, sorunun kolay yarısını cevaplamıştır.

Doğru soru asla "rastgeleliğiniz doğrulanabilir mi" değil, "girdiyi kim etkileyebilir ve hareket etmemeyi seçerek ne yapabilir?"dir.

Komite seçimi konusunda bir zincire sorulacaklar

"Tohum nereden geliyor ve onu kim etkileyebilir?" Doğrulanabilirlik iddiasının cevaplamadığı soru. Bunu ikinci olarak, ispatı anlattıktan sonra sorun.

"Bir katılımcı bir bloğu tutarak ne kazanabilir?" Çoğu tasarımda bir sonraki seçim üzerinde etki. Bunu düşünmemiş bir ekip hasmı modellememiştir.

"Bugün seçim yapılan küme ne kadar büyük?" Bizde: 4. Tanımlanmış 21-of-100 bir tasarımdır ve dağıtılmamıştır.

"O düğümleri kim işletiyor?" Cevap tek bir tarafsa, matematikten bağımsız olarak seçim bir formalitedir.

Bu karar için ne anlama geliyor

Gösterilmiş merkeziyetsiz komite seçimine ihtiyacınız varsa, bizimki adı anılmaya değer bir nüfustan hiç seçim yapmadı ve mekanizmanın doğruluğu, katılımcıların yokluğunun yerine geçmez.

Tasarımın sağlam olup olmadığını ve ekibin ona neyin saldıracağını bilip bilmediğini değerlendiriyorsanız, mekanizma standarttır ve uygulanmıştır, tohum sorusu asıl sorudur ve onu kendimize karşı adlandırdık, ve şartname ile kurulum arasındaki açık bir dipnotta değil, ilgili olduğu her sayfada belirtilmiştir.