Yeter Sayı Sertifikası Nedir: Tek Bir İmza ve Kimin İmzaladığının Haritası
Çözdüğü problem
Bir yeter sayı anlaştı. Şimdi bunu orada olmayan birine kanıtlayın.
Naif kanıt her oydur: katılımcı başına bir imza, karara atıf veren her mesajda taşınır, komiteyle birlikte büyür ve sonsuza kadar tekrarlanır.
Bir yeter sayı sertifikası, o kanıtın tek bir nesneye sıkıştırılmış hâlidir.
Bizimki ne içerir, alan alan
sertifikaladığı bloğun özeti oluşturulduğu tur bir toplu imza, yani her imzalayanın imzasının birleştirilmiş hâli o birleşimde komitenin hangi üyelerinin olduğunu söyleyen bir bit haritası
İnsanların hafife aldığı kısım bit haritasıdır. "Yeterince kişi anlaştı"yı tam olarak hangileri hâline getirir; kimseye sormadan sayılabilir. Yalnızca bir eşiğin karşılandığını kanıtlayan bir sertifika kesinlikle daha zayıf olurdu, çünkü bir okur sağlıklı bir yeter sayıyı kıl payı olandan ayırt edemezdi.
Boyut, ki argümanın tamamı budur
Alanları toplayın. Özet için otuz iki bayt, tur için sekiz, imza için doksan altı ve her sekiz komite üyesi için bir bayt bit haritası.
dört doğrulayıcı: yaklaşık 137 bayt yirmi bir doğrulayıcı: yaklaşık 139 bayt
Şimdi naif sürüm. İmza başına doksan altı bayt, imzalayan başına bir tane:
dört doğrulayıcı: 384 bayt yirmi bir doğrulayıcı: 2,016 bayt
Sertifika neredeyse büyümüyor. Toplamanın amacı budur ve bu protokol ailesinin yirmi bir kişilik bir komiteyi düşünebilmesinin sebebidir.
Ve kodlama bunun bir kısmını geri veriyor
Hat üzerinde bu nesneler JSON'dur ve bir imza onaltılık metin olarak serileştirilir.
Yani doksan altı baytlık bir imza yüz doksan iki karakter olarak gider ve kırk sekiz baytlık bir anahtar doksan altı olarak. Yapı sabit boyutludur; kodlama, yapının başardığını kabaca ikiye katlar.
Bu, bir geliştirme ağı için adil bir takastır, çünkü orada hata ayıklarken okunabilirlik baytlardan değerlidir. Hangi sayıyı alıntıladığınızı bilmeye değer, çünkü yapısal olan insanların şemalara koyduğu, kodlanmış olan ise ağdan geçen sayıdır.
Başarısız olan turlar için ikinci bir sertifika var
Bir tur blok üretmediğinde katılımcılar onu terk etmek için oy verir ve o oylar bir zaman aşımı sertifikasında toplanır: tur, bir toplu imza ve aynı tarz imzalayan bit haritası.
Fazladan bir alan taşır ve ilginç olan odur: imzalayanlarından herhangi birinin gördüğü en yüksek sıradan sertifika.
Bir sonraki lider nereden devam edeceğini böyle öğrenir. Duraklamış bir tur zincirin yerini kaybetmez, çünkü onu bitiren sertifika bilinen son iyi noktayı ileri taşır.
Ve zaman aşımı mesajı etiketlidir. Bir katılımcının imzaladığı şey, tur numarasına eklenmiş "timeout" sözcüğüdür, böylece bir zaman aşımı imzası bir blok oyuyla karıştırılamaz.
Sertifikaların olmadığı yer
İki tür de yayımlanmıyor. Bir blok bir öneren ve bir tur döndürür; imza yok, imzalayan bit haritası yok, hiçbir türde sertifika yok.
CONTROL: öneren ve tur, onları atlayan aynı yanıtta gelir, dolayısıyla bu, başarısız bir istek değil arayüzün biçimidir.
Yani yukarıdaki her şey bir kaynak okumasıdır. Hiçbiri bu ekibin dışındaki kimse tarafından teyit edilemez ve sertifikaları tarif eden bir sayfa, bir okur aksini varsaymadan önce bunu söylemelidir.
Ve bu boyutta sıkıştırma henüz hiçbir şey kazandırmıyor
Dört doğrulayıcı, geliştirme kipinde, tek bir süreçte. 137 bayt ile 384 arasındaki tasarruf gerçektir ve kimsenin sahip olduğu bir problem değildir.
Tasarım, henüz var olmayan komiteye göre boyutlandırılmıştır: yüze kadarından çekilmiş yirmi bir hedefi, ki bu bir şartnamedir ve dağıtılmamıştır.
Derli toplu biçimi ihtiyacınız olmadan önce inşa etmek doğru sıradır. Bu, bu sayfada tarif edilen faydanın bu dağıtımın bir sonucu değil tasarımın bir özelliği olduğu anlamına gelir.
Kendiniz neyi kontrol edebilirsiniz
herhangi bir yükseklikte
solidus_getBlockve bir imza ya da imzalayan listesi arayın
Yok. Sonra bir düzine yükseklik boyunca farklı önerenleri sayın ve kimin önerdiğini saymanın kimin anlaştığını saymak olmadığına dikkat edin, bir sertifikanın size söyleyeceği yalnızca ikincisidir.
Okumaya devam edin
- Bir Ağın Katılım İçin Doğrulanmış Kimlik İstemesi Ne Anlama Gelirdi?
- HotStuff Uzlaşması Nedir ve Bu Depodaki İkisinden Hangisi Gerçekte Çalışıyor
- Bizans Hata Toleransı ve Tek Bir Süreçteki Dört Doğrulayıcının Neden Hiç Toleransı Yok
- Görüş Değişimi Nedir: Sınırlı Bir Bekleme, İki Kez Düzeltilmiş Aynı Hata ve Yeterince Zorlarsanız Tersine Dönen Bir Geri Çekilme