我總是卡在這件事的錯誤部分上。
不是封閉區。不是證明(attestation)。也不是證明是否在下面某處存在。
這些事情當然都很重要。
但困擾我的是其後的那個時刻。
也就是人類看着一個面板,看到一行綠色,然後放鬆下來的那一刻。
這種微小的轉變,感覺比它應該更重要。
因爲那行綠色並沒有運行模型。它沒有證明路徑。它也沒有保存更深層的憑據(receipt)。它只是看起來像是你應該去信任的那一部分。
而在一個繁忙的系統裏,這也許就已經足夠了。
人們並不總是沿着證明往下追尋。他們會沿着感覺往上去相信。
這就是我一直在用 OpenGradient 時注意到的不舒服之處。
安全封閉區可以是真誠的。
TEE 的證明可以是真的。
更底層的證明鏈可以存在。
而即便如此,信心也可能聚集在看起來最乾淨的那個框上,而不是最有意義的那個。
也許這就是風險。
並不是證明失敗。
而是界面會悄悄地變得比證明更值得信任。
下方:安全封閉區。
上方:綠色行。
而不知爲何,綠色行會先被人相信。
$OPG
$BEL
$VELVET
$PUNDIX
不是封閉區。不是證明(attestation)。也不是證明是否在下面某處存在。
這些事情當然都很重要。
但困擾我的是其後的那個時刻。
也就是人類看着一個面板,看到一行綠色,然後放鬆下來的那一刻。
這種微小的轉變,感覺比它應該更重要。
因爲那行綠色並沒有運行模型。它沒有證明路徑。它也沒有保存更深層的憑據(receipt)。它只是看起來像是你應該去信任的那一部分。
而在一個繁忙的系統裏,這也許就已經足夠了。
人們並不總是沿着證明往下追尋。他們會沿着感覺往上去相信。
這就是我一直在用 OpenGradient 時注意到的不舒服之處。
安全封閉區可以是真誠的。
TEE 的證明可以是真的。
更底層的證明鏈可以存在。
而即便如此,信心也可能聚集在看起來最乾淨的那個框上,而不是最有意義的那個。
也許這就是風險。
並不是證明失敗。
而是界面會悄悄地變得比證明更值得信任。
下方:安全封閉區。
上方:綠色行。
而不知爲何,綠色行會先被人相信。
$OPG
$BEL
$VELVET
$PUNDIX
Y...
No 🚫🙅
Maybe 🤷
Not sure 😒
15 剩餘小時數
