Güvenlik ve Canlılık: Bu Zincirin Kaybediyor Göründüğü Şey ve Gerçekte Yaptığı Şey

İki özellik, jargonsuz

Güvenlik, hiçbir zaman kötü bir şeyin olmamasıdır. Bir zincir için: çelişen iki geçmiş hiçbir zaman ikisi birden işlenmez. Bir güvenlik arızası kalıcıdır ve beklemekle onarılamaz.

Canlılık, eninde sonunda iyi bir şeyin olmasıdır. Bir zincir için: üretmeye devam eder. Bir canlılık arızası can sıkıcıdır ve ağ toparlandığı anda onarılır.

Neden ikisine birden basitçe sahip olamazsınız

Mesajlar keyfî olarak geciktirilebiliyorsa, bir protokol ikisini aynı anda garanti edemez. Koşullar kötüyken birinden vazgeçmeye razı olmalıdır.

Bu ailedeki protokoller her zaman canlılıktan vazgeçer. Çelişen iki şeyi işleme riskini almaktansa dururlar, çünkü tıkanmış bir zincir yeniden başlatılabilir, çatallanmış bir zincir çatalından kurtarılamaz.

O seçim bir uzlaşma değil. Tasarımın kendisi.

Buradaki güvenlik mekanizması, tam olarak

Her katılımcı bir kilit tutar: aleyhine oy vermeyeceği bir sertifika.

Çağrı yerinde okunan kural klasik olanıdır. Bir blok ancak ebeveyn sertifikası kilitli olan kadar yeniyse ya da kilitli bloğu doğrudan uzatıyorsa oylanabilir.

Ve kilit bir geriden gelir. Daha yüksek bir sertifika geldiğinde, önceki en yüksek olan yeni kilit olur. Yani bir katılımcı her zaman sınırın bir sertifika gerisine demirlenmiştir, ki kendi son oylarının çoktan dışladığı rakip bir dalı onaylamasını durduran şey budur.

Canlılık mekanizması hız ayarlayıcıdır

Tur başına bir süre sınırı, süre dolduğunda turdan vazgeçmek için bir oy, beklemenin sınırlı biçimde iki katına çıkması ve bir başkasının altında taze bir tur.

Bekleme sınırlanmıştır, dolayısıyla sessiz bir lider sınırsız değil sınırlı bir gecikmeye mal olur.

DÜZELTİLDİ 2026-08-02: bu ağın canlılık problemi YOK

Bu bölümün daha eski bir sürümü, blokların yirmi ila otuz dakikalık hiçlikle ayrılmış öbekler hâlinde geldiğini bildiriyor, hiçbir turun kaybedilmediğini söylüyor ve hiçbir şeyin bunu açıklamadığını söylüyordu.

Bunda iki şey yanlıştı ve birbirini büyüttüler.

Birincisi, yanlış dizin. Bu zincirde ardışık üç blok tek bir yükseklik değerini paylaşır, dolayısıyla yükseklikle saymak üç blokta birini görür. "Yirmi ila otuz dakikalık" boşluk, bire çökmüş üç adet on dakikalık aralıktı.

İkincisi ve belirleyici olanı: sessizlik yapılandırılmıştır. Kanonik sırayla yeniden ölçüldüğünde boşluklar altı yüz saniye, her biri ondan birkaç saniye içinde, arka arkaya sekiz tane. Bu, düğümde adı konmuş bir sabittir ve yorumu bütün davranışı açıklıyor: teklif eden olay güdümlüdür ve iş yokken her on dakikada bir boş blok teklif eder, ki bu önceki öbekten kalanları kesinleştirir, katılımcıların ne kadar sürüklenebileceğini sınırlar ve başın görünür biçimde ilerlemesini sağlar.

Sebep disk. Yorum, serbest çalışan teklif edenin günde bir gigabayt mertebesinde yazdığını ve kalp atışının bunu birkaç megabayta indirdiğini kaydediyor.

Yani burada bir canlılık arızası yok. Kalp atışı üreten boştaki bir zincir, tasarlandığı gibi çalışan bir zincirdir ve bu sayfa sıradan sebeple yanılmıştı: yanlış dizinden alınmış bir ölçüm, sonra ondan türetilmiş bir oran.

Düzeltmenin değiştirmedikleri

Yukarıdaki kuram ayakta. Bu ailedeki bir protokol güvenlikten değil canlılıktan vazgeçer ve yaptığı takas hâlâ budur.

Ve ikisini dışarıdan ayırt etmenin yolu hâlâ doğru yöntemdir: turları yüksekliklere, yükseklikleri zaman damgalarına karşı karşılaştırın. Bu estate'in yanlış yaptığı şey yöntem değil, yöntemi uyguladığı dizindi, ki bu tutulmaya değer bir ayrımdır, çünkü yöntem ayakta kaldı, rakamlar kalmadı.

Kendi güvenlik kanıtımızın sınırı, açıkça

Bir çatal görmedik. Bu, kulağa geldiğinden çok daha zayıf bir kanıttır.

Güvenlik iki geçmiş hakkında bir iddiadır ve onu kontrol etmek iki bağımsız gözlemciyi karşılaştırmak demektir. Bu ağda tek bir uç noktanın arkasında tek bir süreç var, dolayısıyla uç noktaya kendisiyle anlaşmazlığa düşüp düşmediğini soran bir okura her zaman hayır denecektir.

Yani: bir çatal gözlenmedi, onu gözlemeye yapısal olarak yeteneksiz bir gözlemci tarafından. Dürüst cümle budur ve bağımsız işletilen bir düğümün bu ağ için yol haritasındaki neredeyse her şeyden değerli olmasının sebebidir.

Hedef ve gözlenen, ikisi de belirtilmiş

Genesis parametreleri blok başına yarım saniyelik bir hedef koyuyor.

İş varken zincir buna ulaşıyor ya da onu aşıyor: bu estate'in ölçtüğü öbekte yaklaşık yedi buçuk saniyede dokuz blok. İş yokken, kasten her on dakikada bir blok üretiyor.

Dolayısıyla ikisinin ortalaması yanlış istatistiktir ve hiçbir kipte var olmayan istikrarlı bir sızıntıyı tarif ederdi. Bu estate bu sayı yüzünden kendini artık iki kez düzeltti ve ders keskinleşti: birinci düzeltme kesintili ile yavaşın farklı olduğuydu; ikincisi, kesintili dediği aralığın yapılandırılmış olduğu ve yanlış dizinden ölçüldüğüydü.

Kendiniz neyi kontrol edebilirsiniz

solidus_canonHead, sonra aşağı doğru solidus_getBlockBySeq, round, height ve timestamp_ms alanlarını birlikte karşılaştırarak

Yüksekliği değil sırayı kullanın, yoksa üç blokta birini görür ve üç kat yavaş bir oran türetirsiniz, ki bu sayfanın yaptığı tam olarak buydu. Sonra bir değil üç alanı da okuyun: yükseklik tek başına size nedenini söylemez, tur protokolün mücadele edip etmediğini söyler ve zaman damgaları aralığın organik mi yoksa bir sabit mi olduğunu söyler.