Bir Ceza, Yalnızca Tespit Edebildiği Şeye Karşı Caydırıcıdır

Bugün ağımızda uygulanan herhangi bir ceza, piyasa değeri olmayan içsel bir muhasebe düzeltmesidir, ki geri kalanı okurken akılda tutulacak sınır budur.

Mekanizma ve üzerine kurulan iddia

İşletmeciler teminat yatırır. Kötü davranırlar ve teminat azaltılır. Argüman, dürüstlüğün kârlı seçenek hâline geldiği ve böylece ağın güvenin değil ekonominin güvencesine girdiğidir.

Bu argüman sağlamdır ve kulağa geldiğinden dardır, çünkü bir ceza yalnızca sistemin gözlemleyip kanıtlayabildiği davranışı caydırır.

Geri kalan her şey fiyatlandırılmamıştır.

Gerçekte ne tespit edilebilir

Aynı yuva için çelişen iki şey imzalamak. Kriptografik olarak inkâr edilemez: bağdaşmayan beyanlar üzerinde, ikisi de geçerli, ikisi de aynı anahtardan gelen iki imza. Kimse buna itiraz edemez, ki her yerde kanonik cezalandırılabilir suç olmasının sebebi budur.

Yok olmak. Uzun süreli kesinti herkesçe gözlemlenebilir, dolayısıyla bir anlaşmazlık olmadan cezalandırılabilir.

Liste aşağı yukarı bu kadardır ve ikisi de protokol düzeyinde kötü davranıştır: bir işletmecinin uzlaşı oyununun kurallarını, oyunun kendisinin kaydettiği bir biçimde çiğnemesi.

Ne tespit edilemez ve dolayısıyla caydırılamaz

İçinden geçeni gözlemlemek. Veriyi okuyan, kopyalayan ve asla ona göre hareket etmeyen bir işletmeci protokolün içinde hiçbir iz bırakmamıştır. Kimsenin kanıtlayamadığı bir şey için hiçbir teminat azaltılmaz.

Seçici sansür. Diğer her konuda normal davranırken belirli işlemleri dahil etmemek, sıradan değişkenlikten ayırt edilmesi çok zor bir şeydir.

Sessizce anlaşmak. Bağımsız görünen ve olmayan işletmeciler bir kuralı değil bir varsayımı çiğnemiştir ve varsayımlar cezalandırılabilir değildir.

Yani ekonomik güvenlik, bir protokolün görebildiği çökme biçimlerine karşı güçlü, göremediklerine karşı zayıftır. Bu tasarıma yönelik bir eleştiri değildir; tasarımın var olma sebebi budur. Yalnızca iddia her şeyi kapsıyormuş gibi ifade edildiğinde sorun hâline gelir.

Isırabilmesinden önce neden inşa ettik

Çünkü canlı bir doğrulayıcı kümesinin altına sonradan ceza geçirmek, işe onlarla başlamaktan kötüdür. Bir işletmecinin katıldığı kurallar, kabul ettiği kurallardır ve onları sonradan değiştirmek bir mühendislik değil bir yönetişim sorunudur.

Bu, şimdiki bir fayda değil, sonraki bir gereksinim üzerine bir bahistir ve bir alıcı onu ilki olarak fiyatlandırmalıdır. Bağımsız işletmeciler bunu gerçek kılardı; mekanizmanın var olması kılmaz.

Ekonomik güvenlik iddia eden herhangi bir ağa sorulacaklar

"Tam olarak ne cezalandırılabilir, tek tek adlandırın?" Liste genellikle sunumdan kısadır. Yalnızca çelişkili imza ve kesinti ise, bunu söyleyin, çünkü neredeyse her yerde dürüst cevap budur.

"Cezalandırılan bir birim bugün ne ediyor?" Jeton hiç dağıtılmamışsa cevap hiçbir şeydir ve güvenlik argümanı bir tasarım belgesidir.

"Kaç bağımsız işletmeci?" Doğrulayıcı değil. İşletmeci. Tek bir ekibin çalıştırdığı süreçler arasındaki cezalar hiçbir şey caydırmaz.

"Kesinti cezası neyi kapsamıyor?" Bunu cevaplayabilen bir proje tehdit modelini düşünmüştür. Soruyu düşmanca sayan bir proje düşünmemiştir.

Bu karar için ne anlama geliyor

Güvenliği bugün gerçek ekonomik sonuca dayanan bir ağa ihtiyacınız varsa, bizimki bunu karşılamıyor ve dürüst sebep şudur: kelimenin gerektirdiği anlamda henüz risk altında bir şey yok.

Kurulumu değil tasarımı değerlendiriyorsanız, mekanizma bir protokolün kanıtlayabildiği çökme biçimlerine karşı uygulanmıştır, kör noktaları sizin bulmanıza bırakılmak yerine yukarıda adlandırılmıştır ve kurulum açığı bir ayrıntı değil tartılacak bir olgudur.