1/ 自主系统不能依赖于“相信我们，它有效。” 它们需要加密证据： • 无人机做出了正确的决定 • 机器人正确读取了传感器 • 代理安全地执行了 这些证据必须快速。