HotStuff Uzlaşması Nedir ve Bu Depodaki İkisinden Hangisi Gerçekte Çalışıyor
Fikir, tek paragrafta
HotStuff, birbirine güvenmeyen bir katılımcı kümesi için lider tabanlı bir anlaşma protokolüdür. Her turun bir lideri vardır. Lider önerir, diğerleri oy verir ve oylar bir yeter sayının anlaştığını söyleyen bir sertifikada birleşir.
Katkısı, bir lider başarısız olduğunda ne olduğudur. Bu ailenin çıktığı eski protokollerde, sessiz bir lideri değiştirmek her katılımcı çifti arasında bir mesaj patlamasına mal oluyordu. HotStuff değiştirme maliyetini sıradan bir turunkiyle aynı yapar, ki bu tür zincirler için varsayılan biçim hâline gelmesinin sebebi budur.
Burada tam olarak ne çalışıyor
Bir blok, ondan iki tur ötede bir sertifika var olduğunda taahhüt edilir. Üç bağlı tur, ki bu kuralın klasik biçimidir.
Çatal seçimi, bir katılımcının gördüğü en yüksek sertifikadır ve bir güvenlik kilidi onun bir tur gerisinden gelir, böylece bir katılımcı zaten aleyhine taahhüt ettiği çelişkili bir öneriye oy veremez.
Turlar, iki saniyede başlayıp ikiye katlanan ve on altıda sınırlanan bir süre tarafından sürülür, ki bu bir yabancının dolaylı olarak ölçebileceği bekleyiştir.
Yayımlamaya değer tek hata, çünkü düzeltmesi kendi gerekçesini adlandırıyor
Bir öneren, önerisini eşlerine yayınlar ve yayın göndereni atlar. Yani öneren kendi önerisini geri almaz ve özel bir işlem olmadan kendi oyu hiç sayılmazdı.
Sonuç kozmetik değildir. Bir sertifika o zaman her diğer katılımcının oy vermesini gerektirirdi, ki bu tek bir arıza için hiç pay bırakmaz ve dörtten az bir komiteyi hiçbir şeyi sertifikalayamaz hâle getirir.
Kod, önerenin kendi oyunu açıkça kaydeder, böylece bir sertifika diğerleri arasında oybirliği yerine sıradan yeter sayıyı gerektirir. Yanındaki yorum tam olarak o gerekçeyi belirtir.
Bu, bir odadaki oyları sayarken odada olduğunuzu unutmakla aynı sınıftan bir hatadır ve yayımlanmaya değer, çünkü gerekçenin yaşadığı yer düzeltmedir.
Burada iki HotStuff uygulaması var ve ağ eski olanı çalıştırıyor
Bu depoyu inceleyen bir okur, kendi modül belgeleri, kendi şartnamesi ve kendi testleri olan ikinci ve eksiksiz bir uygulama bulacaktır.
İkisi önem taşıyan biçimlerde ayrılır:
çalışan olan üç bağlı turdan sonra taahhüt eder; ikincisi iki turdan sonra çalışan olan iki saniye bekler, on altıya kadar ikiye katlanarak; ikincisi dört yüz milisaniyede başlar, üç bin iki yüz milisaniyede sınırlanır ikincisi bir blok gövdesinde işlemler yerine yığın özetleri taşır ikincisi, kendine ait zamanlayıcıları ya da soketleri olmayan saf olay güdümlü bir çekirdektir
İkinci uygulamanın kendi yorumu birinciyi canlı olan diye tarif eder, ki bu hangisinin hangisi olduğunu öğrenmenin hoş bir yoludur ve kontrol etmenin yerine geçmez.
Bu yüzden makinede kontrol ettik
Canlı süreç, dört doğrulayıcılı bir veri dizinine karşı geliştirme ağı kipinde başlatılmış
solidus-node ikilisidir. O ikili eski uzlaşma kasasına bağlanır, ki bu bağımlılık listesinde
okunabilir.
CONTROL: sunucu tam olarak dört doğrulayıcı dizini tutuyor ve açık uç nokta tam olarak dört farklı öneren döndürüyor. İki bağımsız taraf komite boyutunda anlaşıyor.
Ve ikili bu soru için bayat değil. Uzlaşma kaynağındaki son değişiklikten sonra derlendi, dolayısıyla o kasanın bir kaynak okuması çalışanı tarif eder, bir sonraki derlemenin çalıştıracağını değil. Bu, genel değil kasa başına bir olgudur ve varsayılmak yerine kontrol edildi.
Komite, tam kesinlikle belirtilmiş
Dört doğrulayıcı, geliştirme ağı kipinde, tek bir ekip tarafından işletiliyor.
Protokolün hedef tasarımı, yüze kadar bir havuzdan çekilmiş yirmi bir kişilik bir komitedir. Bu bir şartnamedir ve dağıtılmamıştır ve bu sayfa iki sayıyı da aynı nefeste belirtir, çünkü onları ayırmak ikisinin bulanıklaştığı yoldur.
Bizans hata toleransı burada ne satın alıyor
HotStuff'ın sağladığı özellik, yalan söyleyen, duraklayan ya da çelişen katılımcılara rağmen anlaşmadır.
Bu ağda tolere edilecek bir düşman yok. Dört makine, bir işletmeci, bir yer. Protokol, kimsenin sınamadığı bir tehdit modeline karşı doğru çalışıyor.
Bu, seçimin eleştirisi değildir. Düşmanınız olmadan önce toleranslı protokolü inşa etmek doğru sıradır. Ama bir okurun "Bizans hata toleranslı"yı bu dağıtımın tehdit ortamı hakkında bir ifade olarak okumaması gerektiği anlamına gelir, çünkü ortamda şu anda tek bir katılımcı var.
Ve hiçbiri dışarıdan kontrol edilebilir değil
Hiçbir sertifika yayımlanmıyor, dolayısıyla bir yabancı bir yeter sayıyı göremez, imzalayanları sayamaz ya da herhangi bir turun bu sayfanın tarif ettiği gibi sonuçlandığını doğrulayamaz.
Yukarıdaki her şey bir kaynak ve bir çalışan süreç okumasıdır ve okuma yüzeyi bunu teyit edecek bir yol sunmuyor.