Adının Düşündürdüğünden Zayıf Bir Güven Modeli Yayımlıyoruz ve Fark Sayfanın Tamamı

Çalıştırdığımız şey bu terimin anlattığı özellik değildir ve hangisi olduğunu söylemek sayfanın var olma sebebidir.

İfadenin vaat ettiği

Bir modeli başkasının donanımında öyle çalıştırın ki işletmeci girdinizi göremesin ve siz onların modelini göremeyin. İki taraf da ihtiyacı olanı alır ve hiçbiri diğerinin sırrını öğrenmez.

Bu güçlü bir özelliktir. Aynı zamanda belirli bir özelliktir, donanım kapsülleri ya da gerçek ek yükleri olan kriptografik tekniklerle elde edilir ve ya vardır ya yoktur.

İfade, uzak hesaplamada çalışan mahremiyete yakın her şey için gevşek biçimde kullanılır, ki bir alıcının güçlü sürümü satın aldığına inanma biçimi budur.

Bunun neden akademik değil ticari olarak önemli olduğu

Çünkü düzenlenmiş bir girdiyi üçüncü bir tarafın makinesine hiç gönderip gönderemeyeceğinizi belirler.

İşletmeci girdiyi gerçekten gözlemleyemiyorsa, hesaplama sağlayıcısı önemli olan anlamda bir veri işleyen değildir ve bütün bir sözleşmesel ve düzenleyici iş kategorisi küçülür. İşletmeci yalnızca bakmayacağına söz veriyorsa, elinizde sıradan bir risk profili olan sıradan bir satıcı ilişkisi ve onunla gelen her yükümlülük vardır.

Aynı mimari şema, farklı hukuki konum. Dikkatli olmaya değer boşluk budur.

Gerçekte ne çalıştırıyoruz

Düğüm ürünümüz, modelleri işletmeci donanımında GPU hızlandırmalı standart bir çalışma zamanıyla çalıştıran bir yapı yayımlar. Bir işletmeci onu indirir ve çalıştırır.

İşletmeci girdileri görebilir. Bu düzenlemeyi bugün güvenilir kılan şey mühürleme değil hesap verebilirliktir: bir işletmeci tanımlıdır, teminat yatırmıştır ve tespit edilebilen kötü davranışın sonuçlarıyla karşılaşır.

Bu daha zayıf ve daha geleneksel bir güven modelidir ve güçlü olanla karıştırılması kolaydır, çünkü ikisi de başkasının işini başkasının makinesinde çalıştırmayı içerir.

Mühürlü çıkarımın kendisi inşa edilmemiştir. Kapsül tasdiki yok, işletmecinin bir girdiyi gözlemleyemeyeceğine dair kriptografik garanti yok. Yol haritası tarihi yok ve bunu bir sınır olarak adlandırmak, seçmediğimiz bir çeyrekten daha yararlıdır.

Zayıf modeli neden açıkça adlandırıyoruz

Çünkü buradaki çökme biçimi bir yalan değil, bir okuyucunun makul varsayımıdır.

"Gizli hesaplama" duyup "ekonomik olarak hesap verebilir hesaplama" alan bir alıcı, kimse yanlış bir cümle yazmadan yanıltılmıştır. Dürüst düzeltme, kategoriyi değil mekanizmayı adlandırmaktır, biz de öyle yapıyoruz: tanımlı işletmeciler, yatırılmış teminat, tespit edilebilir kötü davranış ve kriptografik mühür yok.

Zaten yapılmış olanlar, o hesap verebilirlik katmanı ve dayandığı kimlik altyapısıdır: doğrulanabilir kimlikleri olan işletmeciler, iptal edilebilen kimlik bilgileri ve bir karşı tarafın kontrol edebileceği bir kayıt.

Hesap verebilirlik modelinin de dürüst sınırı

Ekonomik hesap verebilirlik yalnızca tespit edilebilir kötü davranışa karşı işler.

Bir girdiyi kopyalayan ve ona göre asla hareket etmeyen bir işletmeci, sistemin gözlemleyemeyeceği bir şey yapmıştır ve kimsenin kanıtlayamadığı bir şey için hiçbir teminat kesilmez. Yani model, sonuçlara müdahaleyi sessiz gözlemden çok daha iyi caydırır.

Girdiniz, sessiz gözlemin tehdit olacağı kadar hassassa, bu düzenleme onu ele almaz ve alacak güçlü özellik, inşa etmediğimiz özelliktir.

Herhangi bir gizli hesaplama satıcısına sorulacaklar

"Donanım tasdiki var mı ve kendim doğrulayabilir miyim?" Kontrol edemediğiniz bir mühür, fazladan kelime dağarcığı olan bir vaattir.

"İşletmeci tam olarak neyi gözlemleyebiliyor?" Kategoriyi değil listeyi isteyin. Bizde cevap girdilerdir.

"Müdahaleye karşılık gözlemin cezası nedir?" Çoğu hesap verebilirlik tasarımı ikincisini cezalandırır ve birincisini tespit edemez.

"Ek yük nedir?" Gerçek mühürleme gerçek performansa mal olur. Güçlü özelliği bedelsiz iddia eden bir satıcı sıra dışı bir şey iddia ediyordur ve bunu göstermesi istenmelidir.

Bu karar için ne anlama geliyor

Girdileriniz hiçbir koşulda bir hesaplama işletmecisine açılamıyorsa, o özelliği sunmuyoruz ve hiçbir hesap verebilirlik düzenlemesi onun yerine geçmez.

Kaygınız uzak bir işletmecinin sonuçları kurcalaması ya da ortadan kaybolmasıysa, çalıştırdığımız modelin karşısına kurulduğu şey odur, kendi sınırı konusunda dürüsttür ve güçlü sürüm, yeniden adlandırdığımız bir şey değil inşa etmediğimiz bir şeydir.