Gizlilik

Mimarinin neden bu biçimde olduğunu açıklayan bölüm burasıdır. Seçmeli açıklama ve taşınabilirlik mekanizmalardır; korelasyon, bağlanabilirlik, sürü gizliliği ve eve telefon etme sorunu ise birinin onları inşa etme zahmetine girmesinin sebepleridir. Aynı zamanda herhangi bir kimlik bilgisi satıcısına sorulmaya değer sorulardır, çünkü bir sistemin kullanıcılarını sessizce izleyip izlemediğine onlar karar verir.

Buradaki her şey, denetlenmemiş bir test ağındaki tasarım niyetini anlatır. Bu özelliklerin dayandığı kriptografi bağımsız olarak gözden geçirilmedi ve gizlilik, "doğru tasarladık" ile "doğrudur" arasını tam olarak yapmadığımız denetimin ayırdığı tek özelliktir.

Bir kimlik bilgisi sisteminin atlatması gereken hata biçimleri

1. Bağlanabilirlik. Aynı kimlik bilgisinin iki farklı doğrulayıcıya iki gösterimi: bunların aynı kişiden geldiğini kimse söyleyebilir mi? Evetse, kimlik bilgisi bir izleme tanımlayıcısına dönüşmüştür ve kullanıcılara taşınabilir bir tane vermek, yerini aldığı sistemden gözetimi daha kolay hâle getirmiştir. Yeniden kullanılabilir kimlik bilgilerini saf biçimde yapıldığında tehlikeli kılan risk budur ve BBS+'ın kolaylık argümanlarından daha önemli olmasının sebebi de budur.
2. Korelasyon. Daha geniş hâli: bağlamlar arasında paylaşılan ve iki gözlemcinin kayıtlarını birleştirmesini sağlayan herhangi bir değer. Yeniden kullanılan bir imza, sabit bir tanımlayıcı, benzersiz olacak kadar hassas bir zaman damgası. Kriptografi bölümündeki korelasyon tutamağı girdisi somut olanları listeler.
3. Eve telefon etme sorunu. İhraççıya "bu kimlik bilgisi hâlâ geçerli mi?" diye sormak zorunda olan bir doğrulayıcı, kullanıcının onu gösterdiği her yeri gerçek zamanlı olarak ihraççıya söyler. Kolay tasarım, ihraççıya eksiksiz bir hareket günlüğü sızdırır. Standartlar bölümündeki durum listesi girdisi cevaptır: birçok kimlik bilgisini kapsayan sıkıştırılmış bir bit dizisi yayımlayın, doğrulayıcı çevrimdışı kontrol etsin ve ihraççı tekil kontroller hakkında hiçbir şey öğrenmesin.
4. Fazla açıklama. Asgari açıklama, yalnızca gereken özniteliği açığa vurmaktır; veri minimizasyonu ise bunu gerektiren hukuki ilkedir. Pratikte bu, 18 yaşından büyük olduğunuzu kanıtlamakla adınızı, uyruğunuzu, belge numaranızı ve fotoğrafınızı içeren bir pasaport taramasını teslim etmek arasındaki farktır. Sahadaki çoğu sistem ikincisini yapar, çünkü daha kolaydır.
5. Sürü gizliliği. İnsanların unuttuğu bir özellik: bir anonimlik tekniği, onu yeterince az kişi kullanıyorsa kimseyi korumaz. Bir sistemde seçmeli açıklamayı tam olarak bir kişi kullanıyorsa, onu kullanıyor olması o kişiyi tanımlar. Gizliliğin bir kalabalığa ihtiyacı vardır; bu yüzden küçük kullanıcı tabanlı bir sistemdeki gizlilik iddiası, matematiğin düşündürdüğünden zayıftır, bizimki dahil.

Solidus bu konuda gerçekte ne yapıyor

İkili DID'ler: her doğrulayıcıyla farklı bir tanımlayıcı kullanılır. BBS+ gösterimleri: her gösterim, ihraççının imzasının bir kopyası değil, tazeden türetilmiş bir ispattır. Durum listeleri: iptal kontrolleri eve telefon etmez. Seçmeli açıklama: alanları hamil seçer.

Bunların her biri kâğıt üzerinde doğru olan ve bizim uygulamamızda doğrulanmamış bir tasarım kararıdır. Denetim, henüz verilmemiş ve çalışması başlamamış bir NLnet NGI Zero hibesine bağlı olarak 2026'nın ikinci yarısı için hedefleniyor. O zamana kadar dürüst iddia "bağlanamaz olacak şekilde tasarlandı" olur, asla "bağlanamaz" değil.

Bu kategorinin bittiği yer

Matematik, yani BBS+'ın bağlanamaz bir ispatı nasıl türettiği, kriptografidir. Minimizasyonu zorunlu kılan hukuki görevler AB ve Türkiye bölümleridir. Kişisel bir veri deposunun ne kattığı Solid bölümüdür.