Bir Özet Ağacı Hiçbir Şeyin Değişmediğini Kanıtlar. Bir Şeyin Doğru Olduğunu Kanıtlamaz.

Yapının satın aldığı

Her öğeyi özetleyin. Özetleri ikişerli özetleyin. Tepede kümenin tamamını temsil eden tek bir değer kalana kadar devam edin.

İki özellik bunu izler ve sahip olmaya değerler. Herhangi bir öğeyi değiştirmek tepedeki değeri değiştirir, dolayısıyla kurcalama, her şeyi yeniden okumadan tespit edilebilir. Ve üyelik, kümenin tamamı yerine kısa bir yolla kanıtlanabilir, dolayısıyla tek bir öğeyi kontrol eden bir doğrulayıcı bir veritabanı yerine bir avuç özet indirir.

Çoğu zincirin, çoğu şeffaflık kaydının ve insanların "kurcalanma belirtir" derken kastettiklerinin çoğunun altındaki yapı budur.

Desteklemediği iddia

Bir kök, neyin yazıldığına bağlanır. Yazılanın doğru olup olmadığı hakkında hiçbir şey söylemez.

Uydurma kayıtlar üzerine kusursuz biçimde kurulmuş bir ağaç, kusursuz geçerli bir kök üretir ve ona karşı her dahil olma ispatı doğrulanır. Matematik tam olarak tasarlandığı gibi çalışırken içerik değersizdir.

Yani "blokzincire demirlenmiş" bütünlük hakkında bir iddiadır, doğruluk hakkında değil ve ikisi sürekli tek bir şeymiş gibi satılır. Dürüst ifade şudur: yapı size kaydın taahhüt edildiğinden beri değişmediğini söyler ve taahhüt edilmeli miydi sorusu tamamen onun dışındadır.

Herhangi bir satıcı görüşmesine taşınacak ayrım budur, bizimki dahil.

Yara gerçekte neyin kanıtı

Kusursuz sistemler yazdığımızın değil. Açıkça yazmadık.

Bir kusurun bulunduktan sonra başına gelenlerin kanıtıdır. Ölçüldü ve düzeltildi, sonra ona dair anlatım, sessizce yamanıp unutulmak yerine, o koda dokunacak bir sonraki kişinin okuyacağı yere, kaynağın içine yazıldı.

Görünür yarası olmayan bir satıcının ya hiç yarası olmamıştır ya da size göstermemiştir ve yeterince sistem gördükten sonra hangisinin daha olası olduğunu öğrenirsiniz. Bizimkini bulmanızdansa size vermeyi tercih ederiz.

Demirleme konusunda bir satıcıya sorulacaklar

"Kökünüz neye bağlanıyor ve neye bağlanmıyor?" Cevap bütünlükten doğruluğa kayıyorsa orada durun. Bizimki neyin yazıldığına bağlanır.

"Bu katmanda bulduğunuz bir kusuru ve ne yaptığınızı gösterin." Cevap, size herhangi bir mimari şemadan daha çok şey söyler. Bizimki yukarıdadır ve açık kaynaktadır.

"Depolama katmanı bağımsız olarak incelendi mi?" Bizde: hayır. Depolama hataları sessizdir ve bu yalnızca disk büyümesi olarak görünür hâle geldi.

"Bir ispatı size sormadan doğrulayabilir miyim?" Doğrulama satıcının iş birliğini gerektiriyorsa, yapı süstür.

Bu karar için ne anlama geliyor

Denetlenmiş durum altyapısına ihtiyacınız varsa, bizimki incelenmedi ve incelenmemiş bir ekibin uyguladığı standart bir yapı, tam olarak bu sayfanın anlattığı riskin kendisidir.

İhtiyacınız olan, sonradan sessizce düzenlenemeyen bir kayıtsa, o özellik gerçektir ve bugün çalışan şeydir, yeter ki bu sayfanın açıldığı ayrımı elde tutun: hiçbir şeyin değişmediğini kanıtlar, herhangi bir şeyin doğru olduğunu değil.