Bizans Hata Toleransı ve Tek Bir Süreçteki Dört Doğrulayıcının Neden Hiç Toleransı Yok

Fikir ve beraberinde gelen sayı

Bir çökme, duran bir katılımcıdır. Bir Bizans hatası ise çalışmaya devam edip yalan söyleyen bir katılımcıdır: size bir cevap, bir başkasına farklı bir cevap gönderir, çelişkili iki şeyi imzalar ya da seçici olarak duraklar.

Bunu tolere etmek, bir çökmeyi tolere etmekten pahalıdır. Klasik sınır şudur: n katılımcılı bir ağ, ancak n en az 3f + 1 olduğu sürece f tanesinin Bizans olmasını tolere edebilir ve anlaşma onların üçte ikisinden fazlasının hemfikir olmasını gerektirir.

Bu kodun gerçekte gerektirdiği şey

Yeter sayı elle yapılandırılmaz, hesaplanır. Kaynaktaki formül komitenin üçte ikisi, aşağı yuvarlanmış, artı birdir.

Dört doğrulayıcı için bu üçtür. Yani bu ağ tam olarak bir hatalı katılımcıyı tolere eder, ki bu o boyutta sınırın izin verdiği şeydir ve Bizans toleransının herhangi bir anlam taşıdığı en küçük komitedir.

Ve sonra o dört doğrulayıcının nerede yaşadığı meselesi var

Zincirden akıl yürütmek yerine makineye baktık.

bir işletim sistemi süreci dört doğrulayıcı anahtar dizini, bir veri dizininin içinde bir dinleyen soket, localhost'a bağlı

soket tablosu, tahmin ettiğimiz bir porta göre filtrelenmek yerine bütün süreç için okundu ve tek bir satır döndürdü. Hiçbir eşten eşe dinleyici yok.

Yani dört doğrulayıcı, tek bir bilgisayardaki tek bir programın içindeki dört kimliktir. Birbirleriyle ağ üzerinden konuşmuyorlar, çünkü konuşacakları bir ağ yok.

Bu da toleransın dağıtımda değil protokolde olduğu anlamına geliyor

Protokol dörtte bir Bizans katılımcıyı tolere eder. Bu gerçektir ve doğru uygulanmıştır.

Dağıtım ise onun çalışacağı hiçbir şeyi sağlamıyor. O tek süreci durduran her şey dört doğrulayıcının hepsini aynı anda durdurur: bir çökme, bellek yetersizliğiyle sonlandırma, dolan bir disk, bir yeniden başlatma, kötü bir dağıtım. Bu, bir tanesini tolere eden bir tasarıma karşı dörtte dört arızadır.

Bizans hata toleransı bir protokolün özelliğidir. Hata toleransı bir dağıtımın özelliğidir. Bir ifadeyi paylaşıyorlar ve aynı iddia değiller, ve bu sayfa, ifade sanki aynılarmış gibi kullanıldığı için var.

Diğer iki varsayım da karşılanmıyor

Model, bağımsız olarak bozulabilen katılımcılar varsayar. Dördünü de tek bir ekip işletiyor.

Model, tolere edilmeye değer bir düşman varsayar. Yok. Protokol, kimsenin yöneltmediği bir tehdide karşı doğru çalışıyor.

Bunların hiçbiri bir geliştirme ağı için skandal değildir. İkisi de, bu ifadenin bu dağıtım hakkında bir güvenlik iddiası olarak kullanılmaması için sebeptir.

Bu düzenlemenin dürüstçe sağladığı şey

Bu bir geliştirme ağıdır ve yazılım bunu söylüyor. Süreç, adıyla bir geliştirme ağı kipinde başlatılıyor. Tek süreçli çok doğrulayıcılı bir ağ, bir uzlaşma uygulamasını çalıştırmanın tamamen olağan bir yoludur ve bu aşama için doğru araçtır.

Ve haftalardır kesintisiz ayakta, kimsenin bir pazarlama sayfasına koyacağı bir yüzde olarak değil süreç çalışma süresi olarak ölçülmüş hâliyle.

O son okuma, bu estate'in açık olan başka bir konusu için bir aday açıklamayı da ortadan kaldırıyor. Zincir uzun sessizliklerle ayrılmış patlamalar hâlinde blok üretiyor ve bariz bir tahmin, düğümün sürekli yeniden başladığıdır. Başlamıyor. Süreç yeniden başlamadı, dolayısıyla sessizlikleri üreten her ne ise çalışan bir programın içinde oluyor.

İddiayı gerçekte ne değiştirirdi

Ayrı makineler. Ayrı işletmeciler. Ayrı arıza alanları.

O zamana kadar dürüst cümle, bu ağın Bizans hata toleranslı bir protokol çalıştırdığıdır, bu ağın Bizans hata toleranslı olduğu değil. Birincisi kod hakkında bir olgu, ikincisi dünya hakkında bir olgudur.

Kendiniz neyi kontrol edebilirsiniz, neyi edemezsiniz

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

Dört farklı öneren bulacaksınız. Kaç makinede olduklarını, kaç süreçte olduklarını ya da kaç kişinin onları denetlediğini bulamayacaksınız.

Farklı doğrulayıcı sayısı, arıza alanı sayısı değildir ve hiçbir yerdeki hiçbir zincir arayüzü size farkı söylemeyecektir. Bu, yalnızca bunu değil, değerlendirdiğiniz her ağa taşımaya değer.