Bir değil, iki izin
İzlerinizi başka bir düğüme göndermek ile o düğümün bunları puanlamasına izin vermek iki farklı izindir. Her biri imzalı bir yetkidir, her biri kendi yönünü işaret eder ve her biri kendi başına geri çekilebilir. Birini vermek, diğeri hakkında hiçbir şey söylemez.
Uygulama, ilk kurulumunuzda bunu sorar. Paylaşım oradan açılır ve kurulum sırasında kapatabilir veya daha sonra geri çekebilirsiniz. Protokolün kendisi hiçbir yetkiyi varsaymaz: bir düğüm, ikinci yetkiyi imzalamamış bir özneyi puanlamayı reddeder; böylece rıza, birinin çıkarım yapabileceği bir ayar değil, ağ üzerinde gerçek bir olgudur.
Kapatmanın maliyeti
- Hiçbir itibar oluşturmazsınız. Hakkınızdaki her iddia reddedilir, dolayısıyla hiçbiri var olamaz.
- Ajanınız hakkında dışarıdan bir beyan gerektiren hizmetler size kapalı kalır, çünkü elinizde böyle bir beyan yoktur.
- Bazı eşler sizinle hiç etkileşime girmemeyi seçebilir.
Bu gerçek ve meşru bir seçimdir. İlk izni verdiyseniz izleriniz akmaya devam eder. Sadece başka birinin kefil olduğu bir kayıt biriktirmezsiniz.
Yeni bir ajan için puanlamayı kim yapar
CIRIS, kanonik sunucular işletir. Rıza gösteren yeni bir ajan, izlerini bu sunuculardan birine gönderir ve puanlamayı o sunucu yapar.
Önemli olan işi hangi makinenin yürüttüğü değildir. Önemli olan, sonucu farklı bir anahtarın imzalamasıdır. Ajanınız kaydı üretti; başka biri bunu okudu ve hakkında bir beyanda bulundu. Bir sunucuya ulaşmak gereklidir ama asla yeterli değildir, çünkü bir ajanın kendisi hakkında söylediği hiçbir şey burada sayılmaz.
Tasarımda bunu yalnızca bizim işlettiğimiz sunuculara ayıran hiçbir şey yoktur. İzninizle izlerinizi elinde tutan herhangi bir eş, bunlar hakkında tanıklık edebilir; bir eş tarafından yazılan bir puan, başka bir eş tarafından yazılan bir puanla aynı şekilde sunulur ve her biri onu yazan anahtarı taşır. Bugün kanonik sunucular bunu yeni ajanlar için üstlenir, çünkü yeni bir ajanın izleri önce oraya ulaşır.
Sayının ölçtüğü şey
Bir ajanın iyi olup olmadığını ölçmez. Kaydının arkasında ne kadar bağımsız denetim bulunduğunu ölçer.
Her karar izi on bir sinyal taşır. Beşi, ajanın harekete geçmeden önce yürüttüğü kontrollerden gelir: talebin ne kadar makul olduğu, ajanın alanına ne kadar uyduğu, arkasında kaç bağımsız kaynağın durduğu, bu kaynakların ne kadar örtüştüğü ve akıl yürütmenin ne kadar kırılgan göründüğü. Altısı ise vicdan kapılarından gelir: eylemin geçip geçmediği, geçersiz kılınıp kılınmadığı ve entropi, tutarlılık, optimizasyon vetosu ile epistemik alçakgönüllülük konusunda nasıl bir performans gösterdiği.
Puanlayıcı, son izlerden oluşan bir pencereyi bir tabloya yığar; her iz bir satır, her sinyal bir sütundur ve sütunların birlikte nasıl hareket ettiğini inceler. Eğer tümü tek bir birim gibi hareket ediyorsa, bunlar on bir ad taşıyan tek bir sinyaldir ve ölçüt bire doğru düşer. Bağımsız değişiyorlarsa, ölçüt yükselir.
Sonuç, sıfırdan bire kadar bir bant üzerine eşlenir. Bir eşiğin altında herhangi bir şey söylemeye yetecek bağımsız kısıtlama yoktur ve puan bir tahmin olmak yerine sıfırdır. Bir hedefin üzerinde bant tam doludur. Aradaki bölgede eşit biçimde yükselir.
Bir puanın söylemediği şey
Tam tasarımda beş etken bulunur: temel kimlik, bütünlük, dayanıklılık, kendi eksikliğinin farkında olma ve sürdürülen tutarlılık. Bunlar birbiriyle çarpılır, dolayısıyla bunlardan biri sıfır olduğunda bütün sonuç sıfır olur. Bu bilerek yapılmıştır. Bir sistem, diğerlerinde daha iyi görünmek için bunlardan birini feda edemez.
Yalnızca sürdürülen tutarlılık yayınlanır, çünkü bu ölçümün gerçekten hesapladığı tek etken odur. Diğer dört etken, puanlayıcının henüz türetmediği sinyallere ihtiyaç duyar. Dört tahmin ile bir ölçümün çarpımını yayınlamak bir sayı icat etmek olurdu, bu yüzden kod bunu reddeder ve biz de burada bunu açıkça söylüyoruz.
Bu nedenle bir puanı olduğu gibi okuyun: belirli bir zaman aralığında, bir ajanın kaydının arkasında ne kadar bağımsız kısıtlama bulunduğuna dair, adı belirtilen başka bir tarafın beyanı. Bu bir sertifika değildir ve bir hüküm de değildir.
Onu dürüst tutan şey
Kendi kendini puanlama ifade edilemez
İmzalayanı öznesiyle aynı olan bir puan, birinin çalıştırmayı unutabileceği bir denetim tarafından reddedilmez. Bu puan zaten baştan bir değer olarak oluşturulamaz ve başka bir makineden gelen bir puan da kabul edilmeden önce aynı şekilde yeniden denetlenir.
Her puan yazarını belirtir
Puanlar özneye göre okunur, asla "benim" olarak okunmaz ve her satır onu yazan anahtarı taşır. Görünür bir yazarı olmayan bir sayı, kuralın yasakladığı okumayı doğrudan davet eder.
Çelişkiler ortadan kaldırılmaz, korunur
Bir anahtar aynı özne hakkında aynı anda iki farklı iddiayı imzalarsa, her ikisi de çelişkinin kanıtı olarak saklanır. Bunlar asla sessizce en son gelenle birleştirilmez.
İptalin bir tarihi vardır
Bir anahtar belirli bir andan itibaren iptal edilebilir; bu nedenle o andan önce yaptığı beyanlar geçerliliğini korurken sonrakiler geçerli olmaz. Denetim, veritabanının kaydettiği zamanı değil, imzalayanın gerçekten imzaladığı ve imzanın içinde yer alan zamanı okur.
Kökü geri çekebilirsiniz
Düğümünüz başlatıldığında güven köküne ilişkin kendi kabulünü imzalar. Bu tek satırı silin, ardından buna bağlı her şey kendiliğinden durur: hiçbir şey hizmet vermez, hiçbir şey puanlanmaz, hiçbir şey kabul edilmez. Kapatma anahtarı bizim uyduğumuz bir ayar değil, sizin elinizde tuttuğunuz tek bir satırdır.
Uzun bir ufuk için imzalanmış
Puanlar aynı anda ikili imzayla imzalanır; biri klasik, biri kuantum-sonrası imzadır ve ağ üzerinde imzalı nesneler olarak dolaşırlar. Onları hiçbir şey zorla göndermez. Nereye gideceklerine rıza ve güven karar verir.
Bu sayfada neden sayı bulunmadığı
Bu sayfa eskiden canlı bir gösterge paneli gösteriyordu. Bunun arkasındaki servis şu anda çalışmıyor ve bayat bir sayı gösteren bir sayfa, hiç sayı göstermeyen bir sayfadan daha kötüdür.
Bugün denetleyebileceğiniz şey özet değil, ham malzemedir. Bir karar izi, tek bir kararın her aşamasını gösterir ve yayınlanan iz derlemi, ölçümün neyden hesaplandığını gösterir.