Uzlaşımız Bütün Bir Komitenin Oylarını Tek Bir İmzaya İndiriyor ve O Komite Bizim İşlettiğimiz Dört Makine

Aşağıda anlatılan mekanizma uygulanmıştır ve çalışıyor; uğruna var olduğu komite büyüklüğü ise çalışan değildir.

Toplamanın çözdüğü sorun

Bir blok, yeterli sayıda doğrulayıcı ona oy verdiğinde kesinleşir. Bunu kanıtlamanın saf yolu her oyu taşımaktır: doğrulayıcı başına bir imza, bloğa eklenmiş, sonsuza dek saklanmış.

Bu ölçeklenmez. Yüz kişilik bir komite, her blokta yüz imza demektir; her düğüm tarafından saklanan, her istemci tarafından kontrol edilen, zincirin ömrü boyunca.

Toplama, kanıtı sabit boyutlu yapar. Aynı mesaj üzerindeki birçok imza, tam olarak tek bir imza kadar büyük olan tek bir imzaya iner ve yine tüm imzalayanların anahtarlarına karşı aynı anda doğrulanır. Blok o zaman o tek imzayı ve kimin dahil olduğunu gösteren bir bit haritasını taşır. Beş oy veren ya da beş yüz, sertifika aynı boyuttadır.

Bu, modern Bizans hata toleranslı uzlaşı tasarımlarının çoğunda varsayılandır ve onu seçmek bir özgünlük iddiası değildir.

Gerçekte ne çalıştırıyoruz

Tasarım, doğrulanabilir rastgele fonksiyonla seçilen 21-of-100 doğrulayıcılık bir komiteyi hedefler. Bu bir spec'tir. Çalışan ağ, tek bir tarafça işletilen dört doğrulayıcıdır, o taraf da biziz.

Ama dört imzanın bire dönüşmesi, kod yolunun çalıştığını gösterir, toplamayı sahip olmaya değer kılan özelliği değil, çünkü dört imzayı ayrı ayrı taşımak da sorun olmazdı.

Yani mekanizma inşa edilmiştir ve onu haklı çıkaran koşullar yoktur. Bunlar iki farklı iddiadır ve bizim konumumuzdaki projeler onları sürekli bulandırır.

Tek bir eğriyi paylaşmanın bize maliyeti

Oy toplama ve seçici açıklama çalışmamız aynı eşleme dostu eğri üzerinde durur.

Bu, bir mimari şemada birbiriyle ilgisiz görünen iki özelliğin altındaki tek bir matematiksel varsayımdır. Ciddi bir zayıflaması, uzlaşı verimliliğini ve mahremiyet özelliğini birlikte hareket ettirirdi. Sürekli akademik ilgi gören iyi seçilmiş bir varsayımdır ve dört ilgisiz temeli olan bir sisteme göre ona daha yoğun bağlıyız. Tam hesabı, bu ailenin yayımlanmış tahminlerinin daha önce hareket ettiği kısım dahil, eşleme tabanlı kriptografi sayfasındadır.

Komitesi konusunda bir zincire sorulacaklar

"Tanımlanan değil, çalışan komite hangisi?" İki sayı neredeyse her projede farklı belgelerde görünür ve yalnızca biri bir olgudur. Bizde çalışan sayı 4 doğrulayıcıdır; 21-of-100 spec'tir ve dağıtılmamıştır.

"Doğrulayıcıları kim işletiyor?" Tek bir tarafın denetlediği makineler arasında toplama, aritmetiği kanıtlar ve merkeziyetsizlik hakkında hiçbir şeyi kanıtlamaz. Bizde o taraf biziz.

"Uzlaşı kodu bağımsız olarak denetlendi mi?" Bizde: hayır. Uzlaşı hataları pahalı olan türdendir, çünkü hata mesajı olarak değil çatal olarak ortaya çıkarlar.

"Sisteminizde aynı eğri üzerinde başka ne duruyor?" Çoğu satıcı hiç saymamıştır ve cevap şemada nadiren görünür.

Bu karar için ne anlama geliyor

Satıcı tarafından işletilmeyen bir doğrulayıcı kümesine ihtiyacınız varsa, bugün bizde yok ve tek bir süreci paylaşan dört doğrulayıcımızın içindeki hiçbir doğru kriptografi onun yerine geçmez.

Alttaki mühendisliğin gerçek olup olmadığını değerlendiriyorsanız, toplama uygulanmıştır, üstündeki algoritma model denetimlidir, bir sonuç temiz bir klondan bir yabancı tarafından yeniden üretilmiştir ve bunların herhangi birini önemli kılacak komite bir kurulum değil bir tasarımdır.