想过没有，AI技术现在面临一个两难困境。

一方面，不加隐私保护的AI系统，本质上就是全方位的监控。你的数据、行为、偏好，统统被记录和分析。另一方面，没有可验证机制的AI，用户根本无法确认系统是否在作弊或被操纵。

这就是为什么可验证性这个方向这么关键。当AI决策可以被验证、被审计，隐私同时也能得到保护，才能真正实现自由。不是虚无的自由，而是有保障的自由。

ARPA项目正在做的，就是搭建这座桥梁——让AI既能保护隐私，又能做到可验证。这个思路，可能是解开这个僵局的关键。