想過沒有，AI技術現在面臨一個兩難困境。

一方面，不加隱私保護的AI系統，本質上就是全方位的監控。你的數據、行為、偏好，統統被記錄和分析。另一方面，沒有可驗證機制的AI，用戶根本無法確認系統是否在作弊或被操縱。

這就是為什麼可驗證性這個方向這麼關鍵。當AI決策可以被驗證、被審計，隱私同時也能得到保護，才能真正實現自由。不是虛無的自由，而是有保障的自由。

ARPA項目正在做的，就是搭建這座橋樑——讓AI既能保護隱私，又能做到可驗證。這個思路，可能是解開這個僵局的關鍵。