Kesinliğin Ardındaki BLS Toplaması: Gerçek Kriptografi, Dışarıdan Kimsenin Göremediği Bir Belge ve Sizi Kabul Edemeyen Bir Teminat Yolu

Toplamanın ne işe yaradığı

Anlaşma, birçok katılımcının aynı şeyi imzalaması demektir. Ayrı tutulduğunda bu, katılımcı başına bir imzadır, komiteyle birlikte büyüyor ve sonucu taşıyan her iletide tekrarlanıyor.

Toplama onları tek bir şeye indiriyor. Aynı blok özeti üzerindeki birçok imza tek bir doksan altı baytlık değerde birleşiyor ve belge, hangi komite üyelerinin onun içinde olduğunu söyleyen bir bit haritası taşıyor.

Bu eğrinin burada kullanılmasının bütün sebebi budur ve bir marka özelliği değil gerçek bir özelliktir.

Kriptografi gerçek ve standart

Kısa açık anahtarlı türevinde, iyi bilinen bir BLS12-381 uygulaması: bir anahtar için kırk sekiz bayt, bir imza için doksan altı.

Toplama gerçek bir toplamadır, bir sarmalayıcı içindeki imza listesi değil, ve doğrulama yordamı imzalayanların anahtarlarını ve iletiyi alıp birleşik değeri tek bir işlemde kontrol ediyor.

Kesinliğin bundan nasıl çıktığı

Bir belge, bir turda bir blok üzerinde bir yetersayının anlaştığını söylüyor.

Bir blok, ondan iki tur ötede bir belge var olduğunda kesinleşmiş sayılıyor. Üç bağlı tur, ki bu protokol ailesinin standart kuralıdır ve buradaki kesinliğin, zamanla büyüyen bir olasılık değil küçük bir tur sayısı olmasının sebebi budur.

Ve doğrulama yordamı iyi biçimlendirilmiş

Önce imzalayanları sayıyor ve yetersayının altını geri çeviriyor, ki pahalı olandan önceki ucuz kontrol odur.

Her ayarlı biti bir komite üyesine eşliyor ve komitenin dışındaki bir indeksi geri çeviriyor, dolayısıyla bir belge var olmayan bir imzalayanı adlandıramıyor.

Sonra toplamı blok özeti üzerinde doğruluyor.

Bu sayfa protokolün tasarımını bildiriyor. Çalışan ağın bir ölçümü değil ve sonraki bölüm neden olamayacağıdır.

Hiçbiri dışarıdan görünmüyor

Hiçbir belge yayımlanmıyor. Bir blok bir önerici ve bir turla geri geliyor, hiç imza olmadan, ki daha önceki bir sayfa bunu doğrudan ölçtü.

önerici ve tur, hiçbir belge taşımayan aynı yanıtta geliyor, dolayısıyla bu başarısız bir istek değil arayüzün döndürdüğü şeydir.

Yani bu ekibin dışında kimse bu sayfadaki hiçbir beyanı kontrol edemiyor, tasarımı övenler dahil. Onları ne iseler o olarak alın: bir kaynak tarifi.

Kullanılan şema temel olanı

Bu türden imza şemalarının çeşitleri var ve çeşit, her imzaya karıştırılan bir etikette adlandırılıyor.

Buradaki etiket temel şemayı adlandırıyor. Temel şema altında toplama, her imzalayan farklı bir ileti imzaladığında güvenlidir. Burada her imzalayan aynı blok özetini imzalıyor, ki diğer çeşitlerin var olma sebebi olan durum budur.

Alışılmış koruma bir sahiplik kanıtıdır: bir anahtar kümeye katılmadan önce, sahibi karşılık gelen sırrı denetlediğini kanıtlıyor, ki bu birinin, bir toplamda diğerlerini iptal etmek üzere tasarlanmış bir anahtar kurmasını engelliyor.

Bu kod tabanının hiçbir yerinde sahiplik kanıtı yok, aramayla kontrol edildi.

Düzgün boyutlandırılmış: küme açıldığında önemli ve küme kapalı

Bir yabancı bu komiteye bir anahtar koyamıyor ve sonraki bölüm bunun mekanik sebebidir.

Yani bu canlı bir maruziyet değil. Bir ön koşuldur: tasarımın işaret ettiği şey, yani daha büyük, açık bir doğrulayıcı kümesi için, ki o belirtilmiş ve dağıtılmamıştır.

Sıra önemli. Önce sahiplik kanıtı, sonra izinsiz kabul; tersi değil.

Ve teminat yolu istese bile sizi kabul edemezdi

Bir teminat işlemi tek bir alan taşıyor: bir tutar.

Oluşturduğu doğrulayıcı kaydı bir adres, bir teminat rakamı, bir çözülme rakamı, bir itibar rakamı ve bir bayrak tutuyor. Hiç anahtar yok.

Ama bir komite üyesi iki anahtarla tanımlanıyor, biri imzalama biri toplama için. Hiçbiri teminatla sağlanamıyor, çünkü işlemin onlar için bir alanı yok ve kaydın koyacak yeri yok.

Dolayısıyla üreten doğrulayıcıların hiç teminat tutmadığına dair daha önceki bulgunun mekanik bir açıklaması var ve "kimse o yolu kullanmadı"dan güçlüdür: yol oraya çıkamıyor. Teminatla kabul kullanılmıyor değil. Veri düzeyinde uygulanmamıştır.

İktisadi kapı yine de gerçektir ve bu sayfa onu geri çekmiyor. Bir kaydı kapılıyor. Komiteyi kapılamıyor.

Kendiniz neyi kontrol edebilirsiniz

herhangi bir yükseklikte solidus_getBlock ve bir imza, bir imzalayan listesi ya da bir belge arayın

Hiç yok, ki bu zincirdeki her doğrulama sorusunun dürüst sonu budur.