Bir did:solidus Aramasının Ardındaki Güven Demiri: Zincirin Bir Tane Var ve Sizin Aramanız Ona Bağlı Değil

Soru, düzgün biçimde ortaya konmuş

Bir güven demiri, başka bir kanıt olmadan kabul ettiğiniz şeydir, böylece diğer her şey ona zincirlenebilir. Bir tanesini adlandırmak bir güven modelinin bütün özüdür: bir cevaba inandığınızda tam olarak kime dayandığınızı söyler.

Yani soru bu zincirin bir demiri olup olmadığı değil. Soru, bir aramanın sizi ona bağlayıp bağlamadığıdır.

Zincirin gerçek bir demiri var

Her blok başlığı bir durum kökü taşıyor ve onu herhangi bir blokta hesap olmadan okuyabilirsiniz.

Bir yer tutucu değil. Hesaplar, DID'ler, kimlik bilgileri ve doğrulayıcılar için birer tane olmak üzere dört seyrek Merkle ağacı kurularak ve dört kök bir özetle tek bir değerde birleştirilerek hesaplanıyor. Yani bir DID belgesi, kökü bir yetersayının belgelediği bir blokta yayımlanan bir ağacın içinde gerçekten oturuyor.

Ve durumla birlikte hareket ediyor. On sekiz yükseklik önce okunan bir kök farklı bir değerdir. Altı yüksekliğe yayılan üç örneklenmiş blok tek bir kökü paylaşıyor ve o aralıktaki tek işlem başarısız oldu, ücretini karşılayacak bakiye yetersizliğinden. Durum değiştiğinde değişen ve hiçbir şey kesinleşmediğinde duran bir alan, bir süs değil bir okumadır.

Ve sizin aramanız ona bağlı değil

Bir DID çözümlemek tek bir çağrıdır ve arkasındaki işleyici, düğümün kendi deposundan bir anahtar değer okumasıdır.

Yanıt hiçbir kanıt taşımıyor. Dahil olma yolu yok, durum kökü yok, blok yüksekliği yok, cevabın üzerinde imza yok. Bir belge alıyorsunuz ve belge hangi zincir durumundan geldiğini söylemiyor.

Yani cevabı karşısında kontrol edebileceğiniz hiçbir şey yok. Demir her blokta yayımlanıyor ve elinize verilen belgenin ona geri giden hiçbir ipliği yok.

Dürüst cevap

Bugün bir did:solidus tanımlayıcısını çözümlediğinizde güvendiğiniz şey, sorduğunuz uç noktanın işletmecisidir.

Zincir değil, çünkü hiçbir şey cevabı belgelenmiş bir köke bağlamıyor. Belgedeki imza da değil, çünkü öyle bir imza yok.

Ve başkasına sorarak etrafından dolaşamazsınız. Bu ağdaki her doğrulayıcı aynı ekip tarafından işletiliyor, dolayısıyla bağımsız bir işletmeciden ikinci bir görüş istemek mümkün değil.

Bu, bir geliştirme ağı için sıradan bir konumdur. "Demir" sözcüğünün davet ettiğinden tamamen farklı bir güvencedir ve bir çözümlemenin neye değdiğine karar veren bir okurun gerçek olanına ihtiyacı var.

Yanıttaki özet bir öz kontroldür, köken değil

Belge bir içerik özetiyle geri geliyor, o alan önce temizlenerek belgenin kendisi üzerinden hesaplanmış hâlde, böylece bir okur onu yeniden hesaplayıp karşılaştırabiliyor.

Bu, aktarımdaki bozulmayı saptıyor ve başka hiçbir şeyi. Size bir belge veren kim olursa olsun, onun eşleşen özetini de verebilir, çünkü özet, önce taahhüt etmek zorunda oldukları bir şey üzerinden değil size verdikleri şey üzerinden alınıyor.

Kendisine karşı kontrol edebildiğiniz bir değer, zincire karşı kontrol edebildiğiniz bir değer değildir. İkisi kolayca karıştırılır ve birbirine yakın değildir.

Ve kod, onu pahalı yapan takası belirtiyor

Kökü üreten ağaç, her hesaplamada bellekte yeniden kuruluyor ve sonra atılıyor.

Bu kasıtlıydı ve sebebi yanına yazılmış. Depo destekli bir sürüm, ekleme başına yaklaşık iki yüz elli yedi ağaç düğümünü kalıcılaştırıyordu, dolayısıyla her kök hesaplaması ağacın tamamını diske yeniden yazıyordu ve o düğümleri hiçbir şey geri okumuyordu. Yorum, bunu günde kabaca bir gigabaytlık disk büyümesinin ana gövdesi olarak adlandırıyor.

Yani bir kanıt sunmak, onu üretmek için ağacı yeniden kurmak demek. Bu bir ihmal değil düşünülmüş bir mühendislik takasıdır ve bir okura, bir yokluklar listesinden çok takasın kendisi hizmet eder.

Bir yöntem kaynakta var ve telde yok

Bir durum kökünü doğrudan döndürecek çağrı, kaynak ağacındaki ikinci bir çözümleme katmanında kayıtlı. Açık uç nokta onu sunmuyor ve bir yöntem bulunamadı hatası döndürüyor.

çözümleme çağrısı aynı saniyede aynı uç noktada yanıt veriyor, dolayısıyla bu bozuk bir istemci değil bir okumadır.

Göründüğünden az önemli. Herhangi bir blok zaten kendi durum kökünü taşıyor, dolayısıyla demir bugün okunabilir. Eksik olan parça kanıttır, kök değil.

Kendiniz neyi kontrol edebilirsiniz

herhangi bir tanımlayıcıyla solidus_didResolve, sonra mevcut yükseklikte solidus_getBlock

Onları karşılaştırın. Blok size state_root veriyor. Belge size ona ulaşacak hiçbir yol vermiyor ve bunu kendiniz fark etmeniz bu sayfanın amacıdır.