Matthew Green：可证明 ZK 或让 AI 智能体互信协作

约翰·霍普金斯密码学家 Matthew Green 提出，可证明 ZK 可能让 AI 智能体无需信任第三方即可协调合作。其设想是利用可验证证明展示智能体的目标与状态，并帮助确认彼此目标一致，为多智能体信任基础设施提供方向。